1 files changed, 95 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Type.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Type.java
new file mode 100644
index 00000000..3d7d03b1
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Type.java
@@ -0,0 +1,95 @@
+/**
+ */
+package Taxation;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Income Type</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link Taxation.Income_Type#isSubjectToWithholdingTax <em>Subject To Withholding Tax</em>}</li>
+ *   <li>{@link Taxation.Income_Type#getId8 <em>Id8</em>}</li>
+ *   <li>{@link Taxation.Income_Type#getIncome <em>Income</em>}</li>
+ * </ul>
+ *
+ * @see Taxation.TaxationPackage#getIncome_Type()
+ * @model abstract="true"
+ * @generated
+ */
+public interface Income_Type extends EObject {
+        /**
+         * Returns the value of the '<em><b>Subject To Withholding Tax</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Subject To Withholding Tax</em>' attribute.
+         * @see #setSubjectToWithholdingTax(boolean)
+         * @see Taxation.TaxationPackage#getIncome_Type_SubjectToWithholdingTax()
+         * @model required="true" derived="true"
+         *        annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='\n\t\t\t\tself.income.tax_card-&gt;notEmpty()\n\t\t\t\t'"
+         * @generated
+         */
+        boolean isSubjectToWithholdingTax();
+        /**
+         * Sets the value of the '{@link Taxation.Income_Type#isSubjectToWithholdingTax <em>Subject To Withholding Tax</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Subject To Withholding Tax</em>' attribute.
+         * @see #isSubjectToWithholdingTax()
+         * @generated
+         */
+        void setSubjectToWithholdingTax(boolean value);
+        /**
+         * Returns the value of the '<em><b>Id8</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Id8</em>' attribute.
+         * @see #setId8(String)
+         * @see Taxation.TaxationPackage#getIncome_Type_Id8()
+         * @model id="true" required="true" ordered="false"
+         * @generated
+         */
+        String getId8();
+        /**
+         * Sets the value of the '{@link Taxation.Income_Type#getId8 <em>Id8</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Id8</em>' attribute.
+         * @see #getId8()
+         * @generated
+         */
+        void setId8(String value);
+        /**
+         * Returns the value of the '<em><b>Income</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link Taxation.Income#getIncome_type <em>Income type</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Income</em>' container reference.
+         * @see #setIncome(Income)
+         * @see Taxation.TaxationPackage#getIncome_Type_Income()
+         * @see Taxation.Income#getIncome_type
+         * @model opposite="income_type" required="true" transient="false"
+         * @generated
+         */
+        Income getIncome();
+        /**
+         * Sets the value of the '{@link Taxation.Income_Type#getIncome <em>Income</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Income</em>' container reference.
+         * @see #getIncome()
+         * @generated
+         */
+        void setIncome(Income value);
+} // Income_Type

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Type.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Type.java new file mode 100644 index 00000000..3d7d03b1 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Type.java
@@ -0,0 +1,95 @@
	1	/**
	2	*/
	3	package Taxation;
	4
	5	import org.eclipse.emf.ecore.EObject;
	6
	7	/**
	8	* <!-- begin-user-doc -->
	9	* A representation of the model object '<em><b>Income Type</b></em>'.
	10	* <!-- end-user-doc -->
	11	*
	12	* <p>
	13	* The following features are supported:
	14	* </p>
	15	* <ul>
	16	* <li>{@link Taxation.Income_Type#isSubjectToWithholdingTax <em>Subject To Withholding Tax</em>}</li>
	17	* <li>{@link Taxation.Income_Type#getId8 <em>Id8</em>}</li>
	18	* <li>{@link Taxation.Income_Type#getIncome <em>Income</em>}</li>
	19	* </ul>
	20	*
	21	* @see Taxation.TaxationPackage#getIncome_Type()
	22	* @model abstract="true"
	23	* @generated
	24	*/
	25	public interface Income_Type extends EObject {
	26	/**
	27	* Returns the value of the '<em><b>Subject To Withholding Tax</b></em>' attribute.
	28	* <!-- begin-user-doc -->
	29	* <!-- end-user-doc -->
	30	* @return the value of the '<em>Subject To Withholding Tax</em>' attribute.
	31	* @see #setSubjectToWithholdingTax(boolean)
	32	* @see Taxation.TaxationPackage#getIncome_Type_SubjectToWithholdingTax()
	33	* @model required="true" derived="true"
	34	* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='\n\t\t\t\tself.income.tax_card->notEmpty()\n\t\t\t\t'"
	35	* @generated
	36	*/
	37	boolean isSubjectToWithholdingTax();
	38
	39	/**
	40	* Sets the value of the '{@link Taxation.Income_Type#isSubjectToWithholdingTax <em>Subject To Withholding Tax</em>}' attribute.
	41	* <!-- begin-user-doc -->
	42	* <!-- end-user-doc -->
	43	* @param value the new value of the '<em>Subject To Withholding Tax</em>' attribute.
	44	* @see #isSubjectToWithholdingTax()
	45	* @generated
	46	*/
	47	void setSubjectToWithholdingTax(boolean value);
	48
	49	/**
	50	* Returns the value of the '<em><b>Id8</b></em>' attribute.
	51	* <!-- begin-user-doc -->
	52	* <!-- end-user-doc -->
	53	* @return the value of the '<em>Id8</em>' attribute.
	54	* @see #setId8(String)
	55	* @see Taxation.TaxationPackage#getIncome_Type_Id8()
	56	* @model id="true" required="true" ordered="false"
	57	* @generated
	58	*/
	59	String getId8();
	60
	61	/**
	62	* Sets the value of the '{@link Taxation.Income_Type#getId8 <em>Id8</em>}' attribute.
	63	* <!-- begin-user-doc -->
	64	* <!-- end-user-doc -->
	65	* @param value the new value of the '<em>Id8</em>' attribute.
	66	* @see #getId8()
	67	* @generated
	68	*/
	69	void setId8(String value);
	70
	71	/**
	72	* Returns the value of the '<em><b>Income</b></em>' container reference.
	73	* It is bidirectional and its opposite is '{@link Taxation.Income#getIncome_type <em>Income type</em>}'.
	74	* <!-- begin-user-doc -->
	75	* <!-- end-user-doc -->
	76	* @return the value of the '<em>Income</em>' container reference.
	77	* @see #setIncome(Income)
	78	* @see Taxation.TaxationPackage#getIncome_Type_Income()
	79	* @see Taxation.Income#getIncome_type
	80	* @model opposite="income_type" required="true" transient="false"
	81	* @generated
	82	*/
	83	Income getIncome();
	84
	85	/**
	86	* Sets the value of the '{@link Taxation.Income_Type#getIncome <em>Income</em>}' container reference.
	87	* <!-- begin-user-doc -->
	88	* <!-- end-user-doc -->
	89	* @param value the new value of the '<em>Income</em>' container reference.
	90	* @see #getIncome()
	91	* @generated
	92	*/
	93	void setIncome(Income value);
	94
	95	} // Income_Type