1 files changed, 200 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/src/TaxationWithRoot/Income.java b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/src/TaxationWithRoot/Income.java
new file mode 100644
index 00000000..b3720e37
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/src/TaxationWithRoot/Income.java
@@ -0,0 +1,200 @@
+/**
+ */
+package TaxationWithRoot;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Income</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link TaxationWithRoot.Income#getIncome_amount <em>Income amount</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getIncome_type <em>Income type</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getTax_card <em>Tax card</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getTax_liability <em>Tax liability</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getTaxPayer <em>Tax Payer</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getDetails <em>Details</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getNum <em>Num</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income#getExpenses <em>Expenses</em>}</li>
+ * </ul>
+ *
+ * @see TaxationWithRoot.TaxationWithRootPackage#getIncome()
+ * @model abstract="true"
+ * @generated
+ */
+public interface Income extends EObject {
+        /**
+         * Returns the value of the '<em><b>Income amount</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Income amount</em>' attribute.
+         * @see #setIncome_amount(double)
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Income_amount()
+         * @model unique="false" required="true" ordered="false"
+         *        annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='let non_null_amounts:OrderedSet(Income_Detail)=self.details-&gt;select(det:Income_Detail|det.amount&gt;0)-&gt;asOrderedSet() in\nnon_null_amounts-&gt;collect(amount)-&gt;min()'"
+         * @generated
+         */
+        double getIncome_amount();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income#getIncome_amount <em>Income amount</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Income amount</em>' attribute.
+         * @see #getIncome_amount()
+         * @generated
+         */
+        void setIncome_amount(double value);
+        /**
+         * Returns the value of the '<em><b>Income type</b></em>' containment reference.
+         * It is bidirectional and its opposite is '{@link TaxationWithRoot.Income_Type#getIncome <em>Income</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Income type</em>' containment reference.
+         * @see #setIncome_type(Income_Type)
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Income_type()
+         * @see TaxationWithRoot.Income_Type#getIncome
+         * @model opposite="income" containment="true" required="true"
+         * @generated
+         */
+        Income_Type getIncome_type();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income#getIncome_type <em>Income type</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Income type</em>' containment reference.
+         * @see #getIncome_type()
+         * @generated
+         */
+        void setIncome_type(Income_Type value);
+        /**
+         * Returns the value of the '<em><b>Tax card</b></em>' containment reference.
+         * It is bidirectional and its opposite is '{@link TaxationWithRoot.Tax_Card#getIncome <em>Income</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Tax card</em>' containment reference.
+         * @see #setTax_card(Tax_Card)
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Tax_card()
+         * @see TaxationWithRoot.Tax_Card#getIncome
+         * @model opposite="income" containment="true"
+         * @generated
+         */
+        Tax_Card getTax_card();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income#getTax_card <em>Tax card</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Tax card</em>' containment reference.
+         * @see #getTax_card()
+         * @generated
+         */
+        void setTax_card(Tax_Card value);
+        /**
+         * Returns the value of the '<em><b>Tax liability</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Tax liability</em>' attribute.
+         * @see #setTax_liability(double)
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Tax_liability()
+         * @model required="true"
+         * @generated
+         */
+        double getTax_liability();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income#getTax_liability <em>Tax liability</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Tax liability</em>' attribute.
+         * @see #getTax_liability()
+         * @generated
+         */
+        void setTax_liability(double value);
+        /**
+         * Returns the value of the '<em><b>Tax Payer</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link TaxationWithRoot.Tax_Payer#getIncomes <em>Incomes</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Tax Payer</em>' container reference.
+         * @see #setTaxPayer(Tax_Payer)
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_TaxPayer()
+         * @see TaxationWithRoot.Tax_Payer#getIncomes
+         * @model opposite="incomes" required="true" transient="false" ordered="false"
+         * @generated
+         */
+        Tax_Payer getTaxPayer();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income#getTaxPayer <em>Tax Payer</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Tax Payer</em>' container reference.
+         * @see #getTaxPayer()
+         * @generated
+         */
+        void setTaxPayer(Tax_Payer value);
+        /**
+         * Returns the value of the '<em><b>Details</b></em>' containment reference list.
+         * The list contents are of type {@link TaxationWithRoot.Income_Detail}.
+         * It is bidirectional and its opposite is '{@link TaxationWithRoot.Income_Detail#getIncome <em>Income</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Details</em>' containment reference list.
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Details()
+         * @see TaxationWithRoot.Income_Detail#getIncome
+         * @model opposite="income" containment="true" lower="12" upper="12"
+         * @generated
+         */
+        EList<Income_Detail> getDetails();
+        /**
+         * Returns the value of the '<em><b>Num</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Num</em>' attribute.
+         * @see #setNum(int)
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Num()
+         * @model id="true" required="true" ordered="false"
+         * @generated
+         */
+        int getNum();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income#getNum <em>Num</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Num</em>' attribute.
+         * @see #getNum()
+         * @generated
+         */
+        void setNum(int value);
+        /**
+         * Returns the value of the '<em><b>Expenses</b></em>' containment reference list.
+         * The list contents are of type {@link TaxationWithRoot.Expense}.
+         * It is bidirectional and its opposite is '{@link TaxationWithRoot.Expense#getIncome <em>Income</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Expenses</em>' containment reference list.
+         * @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Expenses()
+         * @see TaxationWithRoot.Expense#getIncome
+         * @model opposite="income" containment="true" ordered="false"
+         * @generated
+         */
+        EList<Expense> getExpenses();
+} // Income

diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/src/TaxationWithRoot/Income.java b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/src/TaxationWithRoot/Income.java new file mode 100644 index 00000000..b3720e37 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/src/TaxationWithRoot/Income.java
@@ -0,0 +1,200 @@
	1	/**
	2	*/
	3	package TaxationWithRoot;
	4
	5	import org.eclipse.emf.common.util.EList;
	6
	7	import org.eclipse.emf.ecore.EObject;
	8
	9	/**
	10	* <!-- begin-user-doc -->
	11	* A representation of the model object '<em><b>Income</b></em>'.
	12	* <!-- end-user-doc -->
	13	*
	14	* <p>
	15	* The following features are supported:
	16	* </p>
	17	* <ul>
	18	* <li>{@link TaxationWithRoot.Income#getIncome_amount <em>Income amount</em>}</li>
	19	* <li>{@link TaxationWithRoot.Income#getIncome_type <em>Income type</em>}</li>
	20	* <li>{@link TaxationWithRoot.Income#getTax_card <em>Tax card</em>}</li>
	21	* <li>{@link TaxationWithRoot.Income#getTax_liability <em>Tax liability</em>}</li>
	22	* <li>{@link TaxationWithRoot.Income#getTaxPayer <em>Tax Payer</em>}</li>
	23	* <li>{@link TaxationWithRoot.Income#getDetails <em>Details</em>}</li>
	24	* <li>{@link TaxationWithRoot.Income#getNum <em>Num</em>}</li>
	25	* <li>{@link TaxationWithRoot.Income#getExpenses <em>Expenses</em>}</li>
	26	* </ul>
	27	*
	28	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome()
	29	* @model abstract="true"
	30	* @generated
	31	*/
	32	public interface Income extends EObject {
	33	/**
	34	* Returns the value of the '<em><b>Income amount</b></em>' attribute.
	35	* <!-- begin-user-doc -->
	36	* <!-- end-user-doc -->
	37	* @return the value of the '<em>Income amount</em>' attribute.
	38	* @see #setIncome_amount(double)
	39	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Income_amount()
	40	* @model unique="false" required="true" ordered="false"
	41	* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='let non_null_amounts:OrderedSet(Income_Detail)=self.details->select(det:Income_Detail\|det.amount>0)->asOrderedSet() in\nnon_null_amounts->collect(amount)->min()'"
	42	* @generated
	43	*/
	44	double getIncome_amount();
	45
	46	/**
	47	* Sets the value of the '{@link TaxationWithRoot.Income#getIncome_amount <em>Income amount</em>}' attribute.
	48	* <!-- begin-user-doc -->
	49	* <!-- end-user-doc -->
	50	* @param value the new value of the '<em>Income amount</em>' attribute.
	51	* @see #getIncome_amount()
	52	* @generated
	53	*/
	54	void setIncome_amount(double value);
	55
	56	/**
	57	* Returns the value of the '<em><b>Income type</b></em>' containment reference.
	58	* It is bidirectional and its opposite is '{@link TaxationWithRoot.Income_Type#getIncome <em>Income</em>}'.
	59	* <!-- begin-user-doc -->
	60	* <!-- end-user-doc -->
	61	* @return the value of the '<em>Income type</em>' containment reference.
	62	* @see #setIncome_type(Income_Type)
	63	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Income_type()
	64	* @see TaxationWithRoot.Income_Type#getIncome
	65	* @model opposite="income" containment="true" required="true"
	66	* @generated
	67	*/
	68	Income_Type getIncome_type();
	69
	70	/**
	71	* Sets the value of the '{@link TaxationWithRoot.Income#getIncome_type <em>Income type</em>}' containment reference.
	72	* <!-- begin-user-doc -->
	73	* <!-- end-user-doc -->
	74	* @param value the new value of the '<em>Income type</em>' containment reference.
	75	* @see #getIncome_type()
	76	* @generated
	77	*/
	78	void setIncome_type(Income_Type value);
	79
	80	/**
	81	* Returns the value of the '<em><b>Tax card</b></em>' containment reference.
	82	* It is bidirectional and its opposite is '{@link TaxationWithRoot.Tax_Card#getIncome <em>Income</em>}'.
	83	* <!-- begin-user-doc -->
	84	* <!-- end-user-doc -->
	85	* @return the value of the '<em>Tax card</em>' containment reference.
	86	* @see #setTax_card(Tax_Card)
	87	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Tax_card()
	88	* @see TaxationWithRoot.Tax_Card#getIncome
	89	* @model opposite="income" containment="true"
	90	* @generated
	91	*/
	92	Tax_Card getTax_card();
	93
	94	/**
	95	* Sets the value of the '{@link TaxationWithRoot.Income#getTax_card <em>Tax card</em>}' containment reference.
	96	* <!-- begin-user-doc -->
	97	* <!-- end-user-doc -->
	98	* @param value the new value of the '<em>Tax card</em>' containment reference.
	99	* @see #getTax_card()
	100	* @generated
	101	*/
	102	void setTax_card(Tax_Card value);
	103
	104	/**
	105	* Returns the value of the '<em><b>Tax liability</b></em>' attribute.
	106	* <!-- begin-user-doc -->
	107	* <!-- end-user-doc -->
	108	* @return the value of the '<em>Tax liability</em>' attribute.
	109	* @see #setTax_liability(double)
	110	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Tax_liability()
	111	* @model required="true"
	112	* @generated
	113	*/
	114	double getTax_liability();
	115
	116	/**
	117	* Sets the value of the '{@link TaxationWithRoot.Income#getTax_liability <em>Tax liability</em>}' attribute.
	118	* <!-- begin-user-doc -->
	119	* <!-- end-user-doc -->
	120	* @param value the new value of the '<em>Tax liability</em>' attribute.
	121	* @see #getTax_liability()
	122	* @generated
	123	*/
	124	void setTax_liability(double value);
	125
	126	/**
	127	* Returns the value of the '<em><b>Tax Payer</b></em>' container reference.
	128	* It is bidirectional and its opposite is '{@link TaxationWithRoot.Tax_Payer#getIncomes <em>Incomes</em>}'.
	129	* <!-- begin-user-doc -->
	130	* <!-- end-user-doc -->
	131	* @return the value of the '<em>Tax Payer</em>' container reference.
	132	* @see #setTaxPayer(Tax_Payer)
	133	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_TaxPayer()
	134	* @see TaxationWithRoot.Tax_Payer#getIncomes
	135	* @model opposite="incomes" required="true" transient="false" ordered="false"
	136	* @generated
	137	*/
	138	Tax_Payer getTaxPayer();
	139
	140	/**
	141	* Sets the value of the '{@link TaxationWithRoot.Income#getTaxPayer <em>Tax Payer</em>}' container reference.
	142	* <!-- begin-user-doc -->
	143	* <!-- end-user-doc -->
	144	* @param value the new value of the '<em>Tax Payer</em>' container reference.
	145	* @see #getTaxPayer()
	146	* @generated
	147	*/
	148	void setTaxPayer(Tax_Payer value);
	149
	150	/**
	151	* Returns the value of the '<em><b>Details</b></em>' containment reference list.
	152	* The list contents are of type {@link TaxationWithRoot.Income_Detail}.
	153	* It is bidirectional and its opposite is '{@link TaxationWithRoot.Income_Detail#getIncome <em>Income</em>}'.
	154	* <!-- begin-user-doc -->
	155	* <!-- end-user-doc -->
	156	* @return the value of the '<em>Details</em>' containment reference list.
	157	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Details()
	158	* @see TaxationWithRoot.Income_Detail#getIncome
	159	* @model opposite="income" containment="true" lower="12" upper="12"
	160	* @generated
	161	*/
	162	EList<Income_Detail> getDetails();
	163
	164	/**
	165	* Returns the value of the '<em><b>Num</b></em>' attribute.
	166	* <!-- begin-user-doc -->
	167	* <!-- end-user-doc -->
	168	* @return the value of the '<em>Num</em>' attribute.
	169	* @see #setNum(int)
	170	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Num()
	171	* @model id="true" required="true" ordered="false"
	172	* @generated
	173	*/
	174	int getNum();
	175
	176	/**
	177	* Sets the value of the '{@link TaxationWithRoot.Income#getNum <em>Num</em>}' attribute.
	178	* <!-- begin-user-doc -->
	179	* <!-- end-user-doc -->
	180	* @param value the new value of the '<em>Num</em>' attribute.
	181	* @see #getNum()
	182	* @generated
	183	*/
	184	void setNum(int value);
	185
	186	/**
	187	* Returns the value of the '<em><b>Expenses</b></em>' containment reference list.
	188	* The list contents are of type {@link TaxationWithRoot.Expense}.
	189	* It is bidirectional and its opposite is '{@link TaxationWithRoot.Expense#getIncome <em>Income</em>}'.
	190	* <!-- begin-user-doc -->
	191	* <!-- end-user-doc -->
	192	* @return the value of the '<em>Expenses</em>' containment reference list.
	193	* @see TaxationWithRoot.TaxationWithRootPackage#getIncome_Expenses()
	194	* @see TaxationWithRoot.Expense#getIncome
	195	* @model opposite="income" containment="true" ordered="false"
	196	* @generated
	197	*/
	198	EList<Expense> getExpenses();
	199
	200	} // Income