From c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 26 Apr 2020 18:23:13 -0400 Subject: Add PLEDGE case study files --- .../src/Taxation/Income.java | 271 +++++++++++++++++++++ 1 file changed, 271 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java new file mode 100644 index 00000000..3e68e1ac --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java @@ -0,0 +1,271 @@ +/** + */ +package Taxation; + +import java.util.Date; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Income'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see Taxation.TaxationPackage#getIncome() + * @model abstract="true" + * @generated + */ +public interface Income extends EObject { + /** + * Returns the value of the 'Income amount' attribute. + * + * + * @return the value of the 'Income amount' attribute. + * @see #setIncome_amount(double) + * @see Taxation.TaxationPackage#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->select(det:Income_Detail|det.amount>0)->asOrderedSet() in\nnon_null_amounts->collect(amount)->min()'" + * @generated + */ + double getIncome_amount(); + + /** + * Sets the value of the '{@link Taxation.Income#getIncome_amount Income amount}' attribute. + * + * + * @param value the new value of the 'Income amount' attribute. + * @see #getIncome_amount() + * @generated + */ + void setIncome_amount(double value); + + /** + * Returns the value of the 'Income type' containment reference. + * It is bidirectional and its opposite is '{@link Taxation.Income_Type#getIncome Income}'. + * + * + * @return the value of the 'Income type' containment reference. + * @see #setIncome_type(Income_Type) + * @see Taxation.TaxationPackage#getIncome_Income_type() + * @see Taxation.Income_Type#getIncome + * @model opposite="income" containment="true" required="true" + * @generated + */ + Income_Type getIncome_type(); + + /** + * Sets the value of the '{@link Taxation.Income#getIncome_type Income type}' containment reference. + * + * + * @param value the new value of the 'Income type' containment reference. + * @see #getIncome_type() + * @generated + */ + void setIncome_type(Income_Type value); + + /** + * Returns the value of the 'Start date within taxation year' attribute. + * + * + * @return the value of the 'Start date within taxation year' attribute. + * @see #setStart_date_within_taxation_year(Date) + * @see Taxation.TaxationPackage#getIncome_Start_date_within_taxation_year() + * @model unique="false" required="true" ordered="false" + * @generated + */ + Date getStart_date_within_taxation_year(); + + /** + * Sets the value of the '{@link Taxation.Income#getStart_date_within_taxation_year Start date within taxation year}' attribute. + * + * + * @param value the new value of the 'Start date within taxation year' attribute. + * @see #getStart_date_within_taxation_year() + * @generated + */ + void setStart_date_within_taxation_year(Date value); + + /** + * Returns the value of the 'Start date of contract' attribute. + * + * + * @return the value of the 'Start date of contract' attribute. + * @see #setStart_date_of_contract(Date) + * @see Taxation.TaxationPackage#getIncome_Start_date_of_contract() + * @model unique="false" required="true" ordered="false" + * @generated + */ + Date getStart_date_of_contract(); + + /** + * Sets the value of the '{@link Taxation.Income#getStart_date_of_contract Start date of contract}' attribute. + * + * + * @param value the new value of the 'Start date of contract' attribute. + * @see #getStart_date_of_contract() + * @generated + */ + void setStart_date_of_contract(Date value); + + /** + * Returns the value of the 'End date within taxation year' attribute. + * + * + * @return the value of the 'End date within taxation year' attribute. + * @see #setEnd_date_within_taxation_year(Date) + * @see Taxation.TaxationPackage#getIncome_End_date_within_taxation_year() + * @model unique="false" required="true" ordered="false" + * @generated + */ + Date getEnd_date_within_taxation_year(); + + /** + * Sets the value of the '{@link Taxation.Income#getEnd_date_within_taxation_year End date within taxation year}' attribute. + * + * + * @param value the new value of the 'End date within taxation year' attribute. + * @see #getEnd_date_within_taxation_year() + * @generated + */ + void setEnd_date_within_taxation_year(Date value); + + /** + * Returns the value of the 'Tax card' containment reference. + * It is bidirectional and its opposite is '{@link Taxation.Tax_Card#getIncome Income}'. + * + * + * @return the value of the 'Tax card' containment reference. + * @see #setTax_card(Tax_Card) + * @see Taxation.TaxationPackage#getIncome_Tax_card() + * @see Taxation.Tax_Card#getIncome + * @model opposite="income" containment="true" + * @generated + */ + Tax_Card getTax_card(); + + /** + * Sets the value of the '{@link Taxation.Income#getTax_card Tax card}' containment reference. + * + * + * @param value the new value of the 'Tax card' containment reference. + * @see #getTax_card() + * @generated + */ + void setTax_card(Tax_Card value); + + /** + * Returns the value of the 'Tax liability' attribute. + * + * + * @return the value of the 'Tax liability' attribute. + * @see #setTax_liability(double) + * @see Taxation.TaxationPackage#getIncome_Tax_liability() + * @model required="true" + * @generated + */ + double getTax_liability(); + + /** + * Sets the value of the '{@link Taxation.Income#getTax_liability Tax liability}' attribute. + * + * + * @param value the new value of the 'Tax liability' attribute. + * @see #getTax_liability() + * @generated + */ + void setTax_liability(double value); + + /** + * Returns the value of the 'Tax Payer' container reference. + * It is bidirectional and its opposite is '{@link Taxation.Tax_Payer#getIncomes Incomes}'. + * + * + * @return the value of the 'Tax Payer' container reference. + * @see #setTaxPayer(Tax_Payer) + * @see Taxation.TaxationPackage#getIncome_TaxPayer() + * @see Taxation.Tax_Payer#getIncomes + * @model opposite="incomes" required="true" transient="false" ordered="false" + * @generated + */ + Tax_Payer getTaxPayer(); + + /** + * Sets the value of the '{@link Taxation.Income#getTaxPayer Tax Payer}' container reference. + * + * + * @param value the new value of the 'Tax Payer' container reference. + * @see #getTaxPayer() + * @generated + */ + void setTaxPayer(Tax_Payer value); + + /** + * Returns the value of the 'Details' containment reference list. + * The list contents are of type {@link Taxation.Income_Detail}. + * It is bidirectional and its opposite is '{@link Taxation.Income_Detail#getIncome Income}'. + * + * + * @return the value of the 'Details' containment reference list. + * @see Taxation.TaxationPackage#getIncome_Details() + * @see Taxation.Income_Detail#getIncome + * @model opposite="income" containment="true" lower="12" upper="12" + * @generated + */ + EList getDetails(); + + /** + * Returns the value of the 'Num' attribute. + * + * + * @return the value of the 'Num' attribute. + * @see #setNum(int) + * @see Taxation.TaxationPackage#getIncome_Num() + * @model id="true" required="true" ordered="false" + * @generated + */ + int getNum(); + + /** + * Sets the value of the '{@link Taxation.Income#getNum Num}' attribute. + * + * + * @param value the new value of the 'Num' attribute. + * @see #getNum() + * @generated + */ + void setNum(int value); + + /** + * Returns the value of the 'Expenses' containment reference list. + * The list contents are of type {@link Taxation.Expense}. + * It is bidirectional and its opposite is '{@link Taxation.Expense#getIncome Income}'. + * + * + * @return the value of the 'Expenses' containment reference list. + * @see Taxation.TaxationPackage#getIncome_Expenses() + * @see Taxation.Expense#getIncome + * @model opposite="income" containment="true" ordered="false" + * @generated + */ + EList getExpenses(); + +} // Income -- cgit v1.2.3-70-g09d2