Add PLEDGE case study files

1 files changed, 127 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Payer.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Payer.java
new file mode 100644
index 00000000..56de04a4
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Payer.java
@@ -0,0 +1,127 @@
+/**

+ */

+package Taxation;

+

+import org.eclipse.emf.common.util.EList;

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Tax Payer</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link Taxation.Tax_Payer#getDependents <em>Dependents</em>}</li>

+ *   <li>{@link Taxation.Tax_Payer#getFrom_agent <em>From agent</em>}</li>

+ *   <li>{@link Taxation.Tax_Payer#getIncomes <em>Incomes</em>}</li>

+ *   <li>{@link Taxation.Tax_Payer#getFrom_law <em>From law</em>}</li>

+ *   <li>{@link Taxation.Tax_Payer#getTaxesDue <em>Taxes Due</em>}</li>

+ * </ul>

+ *

+ * @see Taxation.TaxationPackage#getTax_Payer()

+ * @model abstract="true"

+ *        annotation="duplicates"

+ * @generated

+ */

+public interface Tax_Payer extends Physical_Person, Tax_Case {

+        /**

+         * Returns the value of the '<em><b>Dependents</b></em>' containment reference list.

+         * The list contents are of type {@link Taxation.Dependent}.

+         * It is bidirectional and its opposite is '{@link Taxation.Dependent#getResponsible_person <em>Responsible person</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Dependents</em>' containment reference list.

+         * @see Taxation.TaxationPackage#getTax_Payer_Dependents()

+         * @see Taxation.Dependent#getResponsible_person

+         * @model opposite="responsible_person" containment="true" upper="6" ordered="false"

+         * @generated

+         */

+        EList<Dependent> getDependents();

+

+        /**

+         * Returns the value of the '<em><b>From agent</b></em>' containment reference.

+         * It is bidirectional and its opposite is '{@link Taxation.FromAgent#getTaxPayer <em>Tax Payer</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>From agent</em>' containment reference.

+         * @see #setFrom_agent(FromAgent)

+         * @see Taxation.TaxationPackage#getTax_Payer_From_agent()

+         * @see Taxation.FromAgent#getTaxPayer

+         * @model opposite="taxPayer" containment="true" required="true"

+         * @generated

+         */

+        FromAgent getFrom_agent();

+

+        /**

+         * Sets the value of the '{@link Taxation.Tax_Payer#getFrom_agent <em>From agent</em>}' containment reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>From agent</em>' containment reference.

+         * @see #getFrom_agent()

+         * @generated

+         */

+        void setFrom_agent(FromAgent value);

+

+        /**

+         * Returns the value of the '<em><b>Incomes</b></em>' containment reference list.

+         * The list contents are of type {@link Taxation.Income}.

+         * It is bidirectional and its opposite is '{@link Taxation.Income#getTaxPayer <em>Tax Payer</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Incomes</em>' containment reference list.

+         * @see Taxation.TaxationPackage#getTax_Payer_Incomes()

+         * @see Taxation.Income#getTaxPayer

+         * @model opposite="taxPayer" containment="true" required="true" ordered="false"

+         * @generated

+         */

+        EList<Income> getIncomes();

+

+        /**

+         * Returns the value of the '<em><b>From law</b></em>' containment reference.

+         * It is bidirectional and its opposite is '{@link Taxation.FromLaw#getTaxPayer <em>Tax Payer</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>From law</em>' containment reference.

+         * @see #setFrom_law(FromLaw)

+         * @see Taxation.TaxationPackage#getTax_Payer_From_law()

+         * @see Taxation.FromLaw#getTaxPayer

+         * @model opposite="taxPayer" containment="true" required="true"

+         * @generated

+         */

+        FromLaw getFrom_law();

+

+        /**

+         * Sets the value of the '{@link Taxation.Tax_Payer#getFrom_law <em>From law</em>}' containment reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>From law</em>' containment reference.

+         * @see #getFrom_law()

+         * @generated

+         */

+        void setFrom_law(FromLaw value);

+

+        /**

+         * Returns the value of the '<em><b>Taxes Due</b></em>' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Taxes Due</em>' attribute.

+         * @see #setTaxesDue(double)

+         * @see Taxation.TaxationPackage#getTax_Payer_TaxesDue()

+         * @model required="true" ordered="false"

+         * @generated

+         */

+        double getTaxesDue();

+

+        /**

+         * Sets the value of the '{@link Taxation.Tax_Payer#getTaxesDue <em>Taxes Due</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Taxes Due</em>' attribute.

+         * @see #getTaxesDue()

+         * @generated

+         */

+        void setTaxesDue(double value);

+

+} // Tax_Payer