1 files changed, 117 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/DS_for_Private_Insurance_and_Plan.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/DS_for_Private_Insurance_and_Plan.java
new file mode 100644
index 00000000..c72def81
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/DS_for_Private_Insurance_and_Plan.java
@@ -0,0 +1,117 @@
+/**
+ */
+package Taxation;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>DS for Private Insurance and Plan</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getPrivate_insurance_and_plan_category <em>Private insurance and plan category</em>}</li>
+ *   <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getIncrease_for_life_insurance <em>Increase for life insurance</em>}</li>
+ *   <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_private_insurance <em>Maximum deductible amount for private insurance</em>}</li>
+ *   <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_old_age_pension_plan <em>Maximum deductible amount for old age pension plan</em>}</li>
+ * </ul>
+ *
+ * @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan()
+ * @model
+ * @generated
+ */
+public interface DS_for_Private_Insurance_and_Plan extends DS {
+        /**
+         * Returns the value of the '<em><b>Private insurance and plan category</b></em>' attribute.
+         * The literals are from the enumeration {@link Taxation.Category_of_Private_Insurance_and_Plan}.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Private insurance and plan category</em>' attribute.
+         * @see Taxation.Category_of_Private_Insurance_and_Plan
+         * @see #setPrivate_insurance_and_plan_category(Category_of_Private_Insurance_and_Plan)
+         * @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Private_insurance_and_plan_category()
+         * @model required="true"
+         * @generated
+         */
+        Category_of_Private_Insurance_and_Plan getPrivate_insurance_and_plan_category();
+        /**
+         * Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getPrivate_insurance_and_plan_category <em>Private insurance and plan category</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Private insurance and plan category</em>' attribute.
+         * @see Taxation.Category_of_Private_Insurance_and_Plan
+         * @see #getPrivate_insurance_and_plan_category()
+         * @generated
+         */
+        void setPrivate_insurance_and_plan_category(Category_of_Private_Insurance_and_Plan value);
+        /**
+         * Returns the value of the '<em><b>Increase for life insurance</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Increase for life insurance</em>' attribute.
+         * @see #setIncrease_for_life_insurance(double)
+         * @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Increase_for_life_insurance()
+         * @model required="true" derived="true"
+         * @generated
+         */
+        double getIncrease_for_life_insurance();
+        /**
+         * Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getIncrease_for_life_insurance <em>Increase for life insurance</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Increase for life insurance</em>' attribute.
+         * @see #getIncrease_for_life_insurance()
+         * @generated
+         */
+        void setIncrease_for_life_insurance(double value);
+        /**
+         * Returns the value of the '<em><b>Maximum deductible amount for private insurance</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Maximum deductible amount for private insurance</em>' attribute.
+         * @see #setMaximum_deductible_amount_for_private_insurance(double)
+         * @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Maximum_deductible_amount_for_private_insurance()
+         * @model required="true" derived="true"
+         * @generated
+         */
+        double getMaximum_deductible_amount_for_private_insurance();
+        /**
+         * Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_private_insurance <em>Maximum deductible amount for private insurance</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Maximum deductible amount for private insurance</em>' attribute.
+         * @see #getMaximum_deductible_amount_for_private_insurance()
+         * @generated
+         */
+        void setMaximum_deductible_amount_for_private_insurance(double value);
+        /**
+         * Returns the value of the '<em><b>Maximum deductible amount for old age pension plan</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Maximum deductible amount for old age pension plan</em>' attribute.
+         * @see #setMaximum_deductible_amount_for_old_age_pension_plan(double)
+         * @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Maximum_deductible_amount_for_old_age_pension_plan()
+         * @model required="true" derived="true"
+         * @generated
+         */
+        double getMaximum_deductible_amount_for_old_age_pension_plan();
+        /**
+         * Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_old_age_pension_plan <em>Maximum deductible amount for old age pension plan</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Maximum deductible amount for old age pension plan</em>' attribute.
+         * @see #getMaximum_deductible_amount_for_old_age_pension_plan()
+         * @generated
+         */
+        void setMaximum_deductible_amount_for_old_age_pension_plan(double value);
+} // DS_for_Private_Insurance_and_Plan

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/DS_for_Private_Insurance_and_Plan.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/DS_for_Private_Insurance_and_Plan.java new file mode 100644 index 00000000..c72def81 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/DS_for_Private_Insurance_and_Plan.java
@@ -0,0 +1,117 @@
	1	/**
	2	*/
	3	package Taxation;
	4
	5
	6	/**
	7	* <!-- begin-user-doc -->
	8	* A representation of the model object '<em><b>DS for Private Insurance and Plan</b></em>'.
	9	* <!-- end-user-doc -->
	10	*
	11	* <p>
	12	* The following features are supported:
	13	* </p>
	14	* <ul>
	15	* <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getPrivate_insurance_and_plan_category <em>Private insurance and plan category</em>}</li>
	16	* <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getIncrease_for_life_insurance <em>Increase for life insurance</em>}</li>
	17	* <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_private_insurance <em>Maximum deductible amount for private insurance</em>}</li>
	18	* <li>{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_old_age_pension_plan <em>Maximum deductible amount for old age pension plan</em>}</li>
	19	* </ul>
	20	*
	21	* @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan()
	22	* @model
	23	* @generated
	24	*/
	25	public interface DS_for_Private_Insurance_and_Plan extends DS {
	26	/**
	27	* Returns the value of the '<em><b>Private insurance and plan category</b></em>' attribute.
	28	* The literals are from the enumeration {@link Taxation.Category_of_Private_Insurance_and_Plan}.
	29	* <!-- begin-user-doc -->
	30	* <!-- end-user-doc -->
	31	* @return the value of the '<em>Private insurance and plan category</em>' attribute.
	32	* @see Taxation.Category_of_Private_Insurance_and_Plan
	33	* @see #setPrivate_insurance_and_plan_category(Category_of_Private_Insurance_and_Plan)
	34	* @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Private_insurance_and_plan_category()
	35	* @model required="true"
	36	* @generated
	37	*/
	38	Category_of_Private_Insurance_and_Plan getPrivate_insurance_and_plan_category();
	39
	40	/**
	41	* Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getPrivate_insurance_and_plan_category <em>Private insurance and plan category</em>}' attribute.
	42	* <!-- begin-user-doc -->
	43	* <!-- end-user-doc -->
	44	* @param value the new value of the '<em>Private insurance and plan category</em>' attribute.
	45	* @see Taxation.Category_of_Private_Insurance_and_Plan
	46	* @see #getPrivate_insurance_and_plan_category()
	47	* @generated
	48	*/
	49	void setPrivate_insurance_and_plan_category(Category_of_Private_Insurance_and_Plan value);
	50
	51	/**
	52	* Returns the value of the '<em><b>Increase for life insurance</b></em>' attribute.
	53	* <!-- begin-user-doc -->
	54	* <!-- end-user-doc -->
	55	* @return the value of the '<em>Increase for life insurance</em>' attribute.
	56	* @see #setIncrease_for_life_insurance(double)
	57	* @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Increase_for_life_insurance()
	58	* @model required="true" derived="true"
	59	* @generated
	60	*/
	61	double getIncrease_for_life_insurance();
	62
	63	/**
	64	* Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getIncrease_for_life_insurance <em>Increase for life insurance</em>}' attribute.
	65	* <!-- begin-user-doc -->
	66	* <!-- end-user-doc -->
	67	* @param value the new value of the '<em>Increase for life insurance</em>' attribute.
	68	* @see #getIncrease_for_life_insurance()
	69	* @generated
	70	*/
	71	void setIncrease_for_life_insurance(double value);
	72
	73	/**
	74	* Returns the value of the '<em><b>Maximum deductible amount for private insurance</b></em>' attribute.
	75	* <!-- begin-user-doc -->
	76	* <!-- end-user-doc -->
	77	* @return the value of the '<em>Maximum deductible amount for private insurance</em>' attribute.
	78	* @see #setMaximum_deductible_amount_for_private_insurance(double)
	79	* @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Maximum_deductible_amount_for_private_insurance()
	80	* @model required="true" derived="true"
	81	* @generated
	82	*/
	83	double getMaximum_deductible_amount_for_private_insurance();
	84
	85	/**
	86	* Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_private_insurance <em>Maximum deductible amount for private insurance</em>}' attribute.
	87	* <!-- begin-user-doc -->
	88	* <!-- end-user-doc -->
	89	* @param value the new value of the '<em>Maximum deductible amount for private insurance</em>' attribute.
	90	* @see #getMaximum_deductible_amount_for_private_insurance()
	91	* @generated
	92	*/
	93	void setMaximum_deductible_amount_for_private_insurance(double value);
	94
	95	/**
	96	* Returns the value of the '<em><b>Maximum deductible amount for old age pension plan</b></em>' attribute.
	97	* <!-- begin-user-doc -->
	98	* <!-- end-user-doc -->
	99	* @return the value of the '<em>Maximum deductible amount for old age pension plan</em>' attribute.
	100	* @see #setMaximum_deductible_amount_for_old_age_pension_plan(double)
	101	* @see Taxation.TaxationPackage#getDS_for_Private_Insurance_and_Plan_Maximum_deductible_amount_for_old_age_pension_plan()
	102	* @model required="true" derived="true"
	103	* @generated
	104	*/
	105	double getMaximum_deductible_amount_for_old_age_pension_plan();
	106
	107	/**
	108	* Sets the value of the '{@link Taxation.DS_for_Private_Insurance_and_Plan#getMaximum_deductible_amount_for_old_age_pension_plan <em>Maximum deductible amount for old age pension plan</em>}' attribute.
	109	* <!-- begin-user-doc -->
	110	* <!-- end-user-doc -->
	111	* @param value the new value of the '<em>Maximum deductible amount for old age pension plan</em>' attribute.
	112	* @see #getMaximum_deductible_amount_for_old_age_pension_plan()
	113	* @generated
	114	*/
	115	void setMaximum_deductible_amount_for_old_age_pension_plan(double value);
	116
	117	} // DS_for_Private_Insurance_and_Plan