diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java | 200 |
1 files changed, 200 insertions, 0 deletions
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..2f3dcfd4 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java | |||
@@ -0,0 +1,200 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package Taxation; | ||
4 | |||
5 | import org.eclipse.emf.common.util.EList; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * A representation of the model object '<em><b>Income</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * <p> | ||
15 | * The following features are supported: | ||
16 | * </p> | ||
17 | * <ul> | ||
18 | * <li>{@link Taxation.Income#getIncome_amount <em>Income amount</em>}</li> | ||
19 | * <li>{@link Taxation.Income#getIncome_type <em>Income type</em>}</li> | ||
20 | * <li>{@link Taxation.Income#getTax_card <em>Tax card</em>}</li> | ||
21 | * <li>{@link Taxation.Income#getTax_liability <em>Tax liability</em>}</li> | ||
22 | * <li>{@link Taxation.Income#getTaxPayer <em>Tax Payer</em>}</li> | ||
23 | * <li>{@link Taxation.Income#getDetails <em>Details</em>}</li> | ||
24 | * <li>{@link Taxation.Income#getNum <em>Num</em>}</li> | ||
25 | * <li>{@link Taxation.Income#getExpenses <em>Expenses</em>}</li> | ||
26 | * </ul> | ||
27 | * | ||
28 | * @see Taxation.TaxationPackage#getIncome() | ||
29 | * @model abstract="true" | ||
30 | * @generated | ||
31 | */ | ||
32 | public interface Income extends EObject { | ||
33 | /** | ||
34 | * Returns the value of the '<em><b>Income amount</b></em>' attribute. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @return the value of the '<em>Income amount</em>' attribute. | ||
38 | * @see #setIncome_amount(double) | ||
39 | * @see Taxation.TaxationPackage#getIncome_Income_amount() | ||
40 | * @model unique="false" required="true" ordered="false" | ||
41 | * 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()'" | ||
42 | * @generated | ||
43 | */ | ||
44 | double getIncome_amount(); | ||
45 | |||
46 | /** | ||
47 | * Sets the value of the '{@link Taxation.Income#getIncome_amount <em>Income amount</em>}' attribute. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @param value the new value of the '<em>Income amount</em>' attribute. | ||
51 | * @see #getIncome_amount() | ||
52 | * @generated | ||
53 | */ | ||
54 | void setIncome_amount(double value); | ||
55 | |||
56 | /** | ||
57 | * Returns the value of the '<em><b>Income type</b></em>' containment reference. | ||
58 | * It is bidirectional and its opposite is '{@link Taxation.Income_Type#getIncome <em>Income</em>}'. | ||
59 | * <!-- begin-user-doc --> | ||
60 | * <!-- end-user-doc --> | ||
61 | * @return the value of the '<em>Income type</em>' containment reference. | ||
62 | * @see #setIncome_type(Income_Type) | ||
63 | * @see Taxation.TaxationPackage#getIncome_Income_type() | ||
64 | * @see Taxation.Income_Type#getIncome | ||
65 | * @model opposite="income" containment="true" required="true" | ||
66 | * @generated | ||
67 | */ | ||
68 | Income_Type getIncome_type(); | ||
69 | |||
70 | /** | ||
71 | * Sets the value of the '{@link Taxation.Income#getIncome_type <em>Income type</em>}' containment reference. | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @param value the new value of the '<em>Income type</em>' containment reference. | ||
75 | * @see #getIncome_type() | ||
76 | * @generated | ||
77 | */ | ||
78 | void setIncome_type(Income_Type value); | ||
79 | |||
80 | /** | ||
81 | * Returns the value of the '<em><b>Tax card</b></em>' containment reference. | ||
82 | * It is bidirectional and its opposite is '{@link Taxation.Tax_Card#getIncome <em>Income</em>}'. | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @return the value of the '<em>Tax card</em>' containment reference. | ||
86 | * @see #setTax_card(Tax_Card) | ||
87 | * @see Taxation.TaxationPackage#getIncome_Tax_card() | ||
88 | * @see Taxation.Tax_Card#getIncome | ||
89 | * @model opposite="income" containment="true" | ||
90 | * @generated | ||
91 | */ | ||
92 | Tax_Card getTax_card(); | ||
93 | |||
94 | /** | ||
95 | * Sets the value of the '{@link Taxation.Income#getTax_card <em>Tax card</em>}' containment reference. | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @param value the new value of the '<em>Tax card</em>' containment reference. | ||
99 | * @see #getTax_card() | ||
100 | * @generated | ||
101 | */ | ||
102 | void setTax_card(Tax_Card value); | ||
103 | |||
104 | /** | ||
105 | * Returns the value of the '<em><b>Tax liability</b></em>' attribute. | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @return the value of the '<em>Tax liability</em>' attribute. | ||
109 | * @see #setTax_liability(double) | ||
110 | * @see Taxation.TaxationPackage#getIncome_Tax_liability() | ||
111 | * @model required="true" | ||
112 | * @generated | ||
113 | */ | ||
114 | double getTax_liability(); | ||
115 | |||
116 | /** | ||
117 | * Sets the value of the '{@link Taxation.Income#getTax_liability <em>Tax liability</em>}' attribute. | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @param value the new value of the '<em>Tax liability</em>' attribute. | ||
121 | * @see #getTax_liability() | ||
122 | * @generated | ||
123 | */ | ||
124 | void setTax_liability(double value); | ||
125 | |||
126 | /** | ||
127 | * Returns the value of the '<em><b>Tax Payer</b></em>' container reference. | ||
128 | * It is bidirectional and its opposite is '{@link Taxation.Tax_Payer#getIncomes <em>Incomes</em>}'. | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @return the value of the '<em>Tax Payer</em>' container reference. | ||
132 | * @see #setTaxPayer(Tax_Payer) | ||
133 | * @see Taxation.TaxationPackage#getIncome_TaxPayer() | ||
134 | * @see Taxation.Tax_Payer#getIncomes | ||
135 | * @model opposite="incomes" required="true" transient="false" ordered="false" | ||
136 | * @generated | ||
137 | */ | ||
138 | Tax_Payer getTaxPayer(); | ||
139 | |||
140 | /** | ||
141 | * Sets the value of the '{@link Taxation.Income#getTaxPayer <em>Tax Payer</em>}' container reference. | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @param value the new value of the '<em>Tax Payer</em>' container reference. | ||
145 | * @see #getTaxPayer() | ||
146 | * @generated | ||
147 | */ | ||
148 | void setTaxPayer(Tax_Payer value); | ||
149 | |||
150 | /** | ||
151 | * Returns the value of the '<em><b>Details</b></em>' containment reference list. | ||
152 | * The list contents are of type {@link Taxation.Income_Detail}. | ||
153 | * It is bidirectional and its opposite is '{@link Taxation.Income_Detail#getIncome <em>Income</em>}'. | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @return the value of the '<em>Details</em>' containment reference list. | ||
157 | * @see Taxation.TaxationPackage#getIncome_Details() | ||
158 | * @see Taxation.Income_Detail#getIncome | ||
159 | * @model opposite="income" containment="true" lower="12" upper="12" | ||
160 | * @generated | ||
161 | */ | ||
162 | EList<Income_Detail> getDetails(); | ||
163 | |||
164 | /** | ||
165 | * Returns the value of the '<em><b>Num</b></em>' attribute. | ||
166 | * <!-- begin-user-doc --> | ||
167 | * <!-- end-user-doc --> | ||
168 | * @return the value of the '<em>Num</em>' attribute. | ||
169 | * @see #setNum(int) | ||
170 | * @see Taxation.TaxationPackage#getIncome_Num() | ||
171 | * @model id="true" required="true" ordered="false" | ||
172 | * @generated | ||
173 | */ | ||
174 | int getNum(); | ||
175 | |||
176 | /** | ||
177 | * Sets the value of the '{@link Taxation.Income#getNum <em>Num</em>}' attribute. | ||
178 | * <!-- begin-user-doc --> | ||
179 | * <!-- end-user-doc --> | ||
180 | * @param value the new value of the '<em>Num</em>' attribute. | ||
181 | * @see #getNum() | ||
182 | * @generated | ||
183 | */ | ||
184 | void setNum(int value); | ||
185 | |||
186 | /** | ||
187 | * Returns the value of the '<em><b>Expenses</b></em>' containment reference list. | ||
188 | * The list contents are of type {@link Taxation.Expense}. | ||
189 | * It is bidirectional and its opposite is '{@link Taxation.Expense#getIncome <em>Income</em>}'. | ||
190 | * <!-- begin-user-doc --> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @return the value of the '<em>Expenses</em>' containment reference list. | ||
193 | * @see Taxation.TaxationPackage#getIncome_Expenses() | ||
194 | * @see Taxation.Expense#getIncome | ||
195 | * @model opposite="income" containment="true" ordered="false" | ||
196 | * @generated | ||
197 | */ | ||
198 | EList<Expense> getExpenses(); | ||
199 | |||
200 | } // Income | ||