1 files changed, 213 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/TaxationWithRoot/Income_Tax_Credit.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/TaxationWithRoot/Income_Tax_Credit.java
new file mode 100644
index 00000000..48365794
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/TaxationWithRoot/Income_Tax_Credit.java
@@ -0,0 +1,213 @@
+/**
+ */
+package TaxationWithRoot;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Income Tax Credit</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getGrantedBy <em>Granted By</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getTaxPayer <em>Tax Payer</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getTax_year <em>Tax year</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getYearly <em>Yearly</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getMonthly <em>Monthly</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getDaily <em>Daily</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getId7 <em>Id7</em>}</li>
+ *   <li>{@link TaxationWithRoot.Income_Tax_Credit#getTaxation_Frame <em>Taxation Frame</em>}</li>
+ * </ul>
+ *
+ * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit()
+ * @model
+ * @generated
+ */
+public interface Income_Tax_Credit extends Root {
+        /**
+         * Returns the value of the '<em><b>Granted By</b></em>' attribute.
+         * The literals are from the enumeration {@link TaxationWithRoot.Grantor}.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Granted By</em>' attribute.
+         * @see TaxationWithRoot.Grantor
+         * @see #setGrantedBy(Grantor)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_GrantedBy()
+         * @model required="true"
+         * @generated
+         */
+        Grantor getGrantedBy();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getGrantedBy <em>Granted By</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Granted By</em>' attribute.
+         * @see TaxationWithRoot.Grantor
+         * @see #getGrantedBy()
+         * @generated
+         */
+        void setGrantedBy(Grantor value);
+        /**
+         * Returns the value of the '<em><b>Tax Payer</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Tax Payer</em>' reference.
+         * @see #setTaxPayer(Tax_Payer)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_TaxPayer()
+         * @model
+         * @generated
+         */
+        Tax_Payer getTaxPayer();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getTaxPayer <em>Tax Payer</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Tax Payer</em>' reference.
+         * @see #getTaxPayer()
+         * @generated
+         */
+        void setTaxPayer(Tax_Payer value);
+        /**
+         * Returns the value of the '<em><b>Tax year</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Tax year</em>' attribute.
+         * @see #setTax_year(int)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Tax_year()
+         * @model required="true"
+         * @generated
+         */
+        int getTax_year();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getTax_year <em>Tax year</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Tax year</em>' attribute.
+         * @see #getTax_year()
+         * @generated
+         */
+        void setTax_year(int value);
+        /**
+         * Returns the value of the '<em><b>Yearly</b></em>' attribute.
+         * The default value is <code>"300.0"</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Yearly</em>' attribute.
+         * @see #setYearly(double)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Yearly()
+         * @model default="300.0" required="true"
+         * @generated
+         */
+        double getYearly();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getYearly <em>Yearly</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Yearly</em>' attribute.
+         * @see #getYearly()
+         * @generated
+         */
+        void setYearly(double value);
+        /**
+         * Returns the value of the '<em><b>Monthly</b></em>' attribute.
+         * The default value is <code>"25.0"</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Monthly</em>' attribute.
+         * @see #setMonthly(double)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Monthly()
+         * @model default="25.0" required="true"
+         * @generated
+         */
+        double getMonthly();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getMonthly <em>Monthly</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Monthly</em>' attribute.
+         * @see #getMonthly()
+         * @generated
+         */
+        void setMonthly(double value);
+        /**
+         * Returns the value of the '<em><b>Daily</b></em>' attribute.
+         * The default value is <code>"1.0"</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Daily</em>' attribute.
+         * @see #setDaily(double)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Daily()
+         * @model default="1.0" required="true"
+         * @generated
+         */
+        double getDaily();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getDaily <em>Daily</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Daily</em>' attribute.
+         * @see #getDaily()
+         * @generated
+         */
+        void setDaily(double value);
+        /**
+         * Returns the value of the '<em><b>Id7</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Id7</em>' attribute.
+         * @see #setId7(String)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Id7()
+         * @model id="true" required="true" ordered="false"
+         * @generated
+         */
+        String getId7();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getId7 <em>Id7</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Id7</em>' attribute.
+         * @see #getId7()
+         * @generated
+         */
+        void setId7(String value);
+        /**
+         * Returns the value of the '<em><b>Taxation Frame</b></em>' reference.
+         * It is bidirectional and its opposite is '{@link TaxationWithRoot.Tax_Card#getIncome_Tax_Credit <em>Income Tax Credit</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Taxation Frame</em>' reference.
+         * @see #setTaxation_Frame(Tax_Card)
+         * @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Taxation_Frame()
+         * @see TaxationWithRoot.Tax_Card#getIncome_Tax_Credit
+         * @model opposite="income_Tax_Credit"
+         * @generated
+         */
+        Tax_Card getTaxation_Frame();
+        /**
+         * Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getTaxation_Frame <em>Taxation Frame</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Taxation Frame</em>' reference.
+         * @see #getTaxation_Frame()
+         * @generated
+         */
+        void setTaxation_Frame(Tax_Card value);
+} // Income_Tax_Credit

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/TaxationWithRoot/Income_Tax_Credit.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/TaxationWithRoot/Income_Tax_Credit.java new file mode 100644 index 00000000..48365794 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/TaxationWithRoot/Income_Tax_Credit.java
@@ -0,0 +1,213 @@
	1	/**
	2	*/
	3	package TaxationWithRoot;
	4
	5	/**
	6	* <!-- begin-user-doc -->
	7	* A representation of the model object '<em><b>Income Tax Credit</b></em>'.
	8	* <!-- end-user-doc -->
	9	*
	10	* <p>
	11	* The following features are supported:
	12	* </p>
	13	* <ul>
	14	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getGrantedBy <em>Granted By</em>}</li>
	15	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getTaxPayer <em>Tax Payer</em>}</li>
	16	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getTax_year <em>Tax year</em>}</li>
	17	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getYearly <em>Yearly</em>}</li>
	18	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getMonthly <em>Monthly</em>}</li>
	19	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getDaily <em>Daily</em>}</li>
	20	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getId7 <em>Id7</em>}</li>
	21	* <li>{@link TaxationWithRoot.Income_Tax_Credit#getTaxation_Frame <em>Taxation Frame</em>}</li>
	22	* </ul>
	23	*
	24	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit()
	25	* @model
	26	* @generated
	27	*/
	28	public interface Income_Tax_Credit extends Root {
	29	/**
	30	* Returns the value of the '<em><b>Granted By</b></em>' attribute.
	31	* The literals are from the enumeration {@link TaxationWithRoot.Grantor}.
	32	* <!-- begin-user-doc -->
	33	* <!-- end-user-doc -->
	34	* @return the value of the '<em>Granted By</em>' attribute.
	35	* @see TaxationWithRoot.Grantor
	36	* @see #setGrantedBy(Grantor)
	37	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_GrantedBy()
	38	* @model required="true"
	39	* @generated
	40	*/
	41	Grantor getGrantedBy();
	42
	43	/**
	44	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getGrantedBy <em>Granted By</em>}' attribute.
	45	* <!-- begin-user-doc -->
	46	* <!-- end-user-doc -->
	47	* @param value the new value of the '<em>Granted By</em>' attribute.
	48	* @see TaxationWithRoot.Grantor
	49	* @see #getGrantedBy()
	50	* @generated
	51	*/
	52	void setGrantedBy(Grantor value);
	53
	54	/**
	55	* Returns the value of the '<em><b>Tax Payer</b></em>' reference.
	56	* <!-- begin-user-doc -->
	57	* <!-- end-user-doc -->
	58	* @return the value of the '<em>Tax Payer</em>' reference.
	59	* @see #setTaxPayer(Tax_Payer)
	60	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_TaxPayer()
	61	* @model
	62	* @generated
	63	*/
	64	Tax_Payer getTaxPayer();
	65
	66	/**
	67	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getTaxPayer <em>Tax Payer</em>}' reference.
	68	* <!-- begin-user-doc -->
	69	* <!-- end-user-doc -->
	70	* @param value the new value of the '<em>Tax Payer</em>' reference.
	71	* @see #getTaxPayer()
	72	* @generated
	73	*/
	74	void setTaxPayer(Tax_Payer value);
	75
	76	/**
	77	* Returns the value of the '<em><b>Tax year</b></em>' attribute.
	78	* <!-- begin-user-doc -->
	79	* <!-- end-user-doc -->
	80	* @return the value of the '<em>Tax year</em>' attribute.
	81	* @see #setTax_year(int)
	82	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Tax_year()
	83	* @model required="true"
	84	* @generated
	85	*/
	86	int getTax_year();
	87
	88	/**
	89	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getTax_year <em>Tax year</em>}' attribute.
	90	* <!-- begin-user-doc -->
	91	* <!-- end-user-doc -->
	92	* @param value the new value of the '<em>Tax year</em>' attribute.
	93	* @see #getTax_year()
	94	* @generated
	95	*/
	96	void setTax_year(int value);
	97
	98	/**
	99	* Returns the value of the '<em><b>Yearly</b></em>' attribute.
	100	* The default value is <code>"300.0"</code>.
	101	* <!-- begin-user-doc -->
	102	* <!-- end-user-doc -->
	103	* @return the value of the '<em>Yearly</em>' attribute.
	104	* @see #setYearly(double)
	105	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Yearly()
	106	* @model default="300.0" required="true"
	107	* @generated
	108	*/
	109	double getYearly();
	110
	111	/**
	112	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getYearly <em>Yearly</em>}' attribute.
	113	* <!-- begin-user-doc -->
	114	* <!-- end-user-doc -->
	115	* @param value the new value of the '<em>Yearly</em>' attribute.
	116	* @see #getYearly()
	117	* @generated
	118	*/
	119	void setYearly(double value);
	120
	121	/**
	122	* Returns the value of the '<em><b>Monthly</b></em>' attribute.
	123	* The default value is <code>"25.0"</code>.
	124	* <!-- begin-user-doc -->
	125	* <!-- end-user-doc -->
	126	* @return the value of the '<em>Monthly</em>' attribute.
	127	* @see #setMonthly(double)
	128	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Monthly()
	129	* @model default="25.0" required="true"
	130	* @generated
	131	*/
	132	double getMonthly();
	133
	134	/**
	135	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getMonthly <em>Monthly</em>}' attribute.
	136	* <!-- begin-user-doc -->
	137	* <!-- end-user-doc -->
	138	* @param value the new value of the '<em>Monthly</em>' attribute.
	139	* @see #getMonthly()
	140	* @generated
	141	*/
	142	void setMonthly(double value);
	143
	144	/**
	145	* Returns the value of the '<em><b>Daily</b></em>' attribute.
	146	* The default value is <code>"1.0"</code>.
	147	* <!-- begin-user-doc -->
	148	* <!-- end-user-doc -->
	149	* @return the value of the '<em>Daily</em>' attribute.
	150	* @see #setDaily(double)
	151	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Daily()
	152	* @model default="1.0" required="true"
	153	* @generated
	154	*/
	155	double getDaily();
	156
	157	/**
	158	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getDaily <em>Daily</em>}' attribute.
	159	* <!-- begin-user-doc -->
	160	* <!-- end-user-doc -->
	161	* @param value the new value of the '<em>Daily</em>' attribute.
	162	* @see #getDaily()
	163	* @generated
	164	*/
	165	void setDaily(double value);
	166
	167	/**
	168	* Returns the value of the '<em><b>Id7</b></em>' attribute.
	169	* <!-- begin-user-doc -->
	170	* <!-- end-user-doc -->
	171	* @return the value of the '<em>Id7</em>' attribute.
	172	* @see #setId7(String)
	173	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Id7()
	174	* @model id="true" required="true" ordered="false"
	175	* @generated
	176	*/
	177	String getId7();
	178
	179	/**
	180	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getId7 <em>Id7</em>}' attribute.
	181	* <!-- begin-user-doc -->
	182	* <!-- end-user-doc -->
	183	* @param value the new value of the '<em>Id7</em>' attribute.
	184	* @see #getId7()
	185	* @generated
	186	*/
	187	void setId7(String value);
	188
	189	/**
	190	* Returns the value of the '<em><b>Taxation Frame</b></em>' reference.
	191	* It is bidirectional and its opposite is '{@link TaxationWithRoot.Tax_Card#getIncome_Tax_Credit <em>Income Tax Credit</em>}'.
	192	* <!-- begin-user-doc -->
	193	* <!-- end-user-doc -->
	194	* @return the value of the '<em>Taxation Frame</em>' reference.
	195	* @see #setTaxation_Frame(Tax_Card)
	196	* @see TaxationWithRoot.TaxationPackage#getIncome_Tax_Credit_Taxation_Frame()
	197	* @see TaxationWithRoot.Tax_Card#getIncome_Tax_Credit
	198	* @model opposite="income_Tax_Credit"
	199	* @generated
	200	*/
	201	Tax_Card getTaxation_Frame();
	202
	203	/**
	204	* Sets the value of the '{@link TaxationWithRoot.Income_Tax_Credit#getTaxation_Frame <em>Taxation Frame</em>}' reference.
	205	* <!-- begin-user-doc -->
	206	* <!-- end-user-doc -->
	207	* @param value the new value of the '<em>Taxation Frame</em>' reference.
	208	* @see #getTaxation_Frame()
	209	* @generated
	210	*/
	211	void setTaxation_Frame(Tax_Card value);
	212
	213	} // Income_Tax_Credit