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_Tax_Credit.java | 215 +++++++++++++++++++++ 1 file changed, 215 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Tax_Credit.java (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Tax_Credit.java') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Tax_Credit.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Tax_Credit.java new file mode 100644 index 00000000..69ee9ed2 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income_Tax_Credit.java @@ -0,0 +1,215 @@ +/** + */ +package Taxation; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Income Tax Credit'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see Taxation.TaxationPackage#getIncome_Tax_Credit() + * @model + * @generated + */ +public interface Income_Tax_Credit extends EObject { + /** + * Returns the value of the 'Granted By' attribute. + * The literals are from the enumeration {@link Taxation.Grantor}. + * + * + * @return the value of the 'Granted By' attribute. + * @see Taxation.Grantor + * @see #setGrantedBy(Grantor) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_GrantedBy() + * @model required="true" + * @generated + */ + Grantor getGrantedBy(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getGrantedBy Granted By}' attribute. + * + * + * @param value the new value of the 'Granted By' attribute. + * @see Taxation.Grantor + * @see #getGrantedBy() + * @generated + */ + void setGrantedBy(Grantor value); + + /** + * Returns the value of the 'Tax Payer' reference. + * + * + * @return the value of the 'Tax Payer' reference. + * @see #setTaxPayer(Tax_Payer) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_TaxPayer() + * @model + * @generated + */ + Tax_Payer getTaxPayer(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getTaxPayer Tax Payer}' reference. + * + * + * @param value the new value of the 'Tax Payer' reference. + * @see #getTaxPayer() + * @generated + */ + void setTaxPayer(Tax_Payer value); + + /** + * Returns the value of the 'Tax year' attribute. + * + * + * @return the value of the 'Tax year' attribute. + * @see #setTax_year(int) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_Tax_year() + * @model required="true" + * @generated + */ + int getTax_year(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getTax_year Tax year}' attribute. + * + * + * @param value the new value of the 'Tax year' attribute. + * @see #getTax_year() + * @generated + */ + void setTax_year(int value); + + /** + * Returns the value of the 'Yearly' attribute. + * The default value is "300.0". + * + * + * @return the value of the 'Yearly' attribute. + * @see #setYearly(double) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_Yearly() + * @model default="300.0" required="true" + * @generated + */ + double getYearly(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getYearly Yearly}' attribute. + * + * + * @param value the new value of the 'Yearly' attribute. + * @see #getYearly() + * @generated + */ + void setYearly(double value); + + /** + * Returns the value of the 'Monthly' attribute. + * The default value is "25.0". + * + * + * @return the value of the 'Monthly' attribute. + * @see #setMonthly(double) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_Monthly() + * @model default="25.0" required="true" + * @generated + */ + double getMonthly(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getMonthly Monthly}' attribute. + * + * + * @param value the new value of the 'Monthly' attribute. + * @see #getMonthly() + * @generated + */ + void setMonthly(double value); + + /** + * Returns the value of the 'Daily' attribute. + * The default value is "1.0". + * + * + * @return the value of the 'Daily' attribute. + * @see #setDaily(double) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_Daily() + * @model default="1.0" required="true" + * @generated + */ + double getDaily(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getDaily Daily}' attribute. + * + * + * @param value the new value of the 'Daily' attribute. + * @see #getDaily() + * @generated + */ + void setDaily(double value); + + /** + * Returns the value of the 'Id7' attribute. + * + * + * @return the value of the 'Id7' attribute. + * @see #setId7(String) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_Id7() + * @model id="true" required="true" ordered="false" + * @generated + */ + String getId7(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getId7 Id7}' attribute. + * + * + * @param value the new value of the 'Id7' attribute. + * @see #getId7() + * @generated + */ + void setId7(String value); + + /** + * Returns the value of the 'Taxation Frame' reference. + * It is bidirectional and its opposite is '{@link Taxation.Tax_Card#getIncome_Tax_Credit Income Tax Credit}'. + * + * + * @return the value of the 'Taxation Frame' reference. + * @see #setTaxation_Frame(Tax_Card) + * @see Taxation.TaxationPackage#getIncome_Tax_Credit_Taxation_Frame() + * @see Taxation.Tax_Card#getIncome_Tax_Credit + * @model opposite="income_Tax_Credit" + * @generated + */ + Tax_Card getTaxation_Frame(); + + /** + * Sets the value of the '{@link Taxation.Income_Tax_Credit#getTaxation_Frame Taxation Frame}' reference. + * + * + * @param value the new value of the 'Taxation Frame' reference. + * @see #getTaxation_Frame() + * @generated + */ + void setTaxation_Frame(Tax_Card value); + +} // Income_Tax_Credit -- cgit v1.2.3-70-g09d2