diff options
author | 2020-04-26 18:23:13 -0400 | |
---|---|---|
committer | 2020-04-26 18:23:13 -0400 | |
commit | c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e (patch) | |
tree | 0c2e212e4e95c1d2311629128641d5cd561210f3 /Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java | |
parent | Merge branch 'Attribute-Solver' (diff) | |
download | VIATRA-Generator-c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e.tar.gz VIATRA-Generator-c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e.tar.zst VIATRA-Generator-c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e.zip |
Add PLEDGE case study files
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 | 271 |
1 files changed, 271 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..3e68e1ac --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java | |||
@@ -0,0 +1,271 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package Taxation; | ||
4 | |||
5 | import java.util.Date; | ||
6 | |||
7 | import org.eclipse.emf.common.util.EList; | ||
8 | |||
9 | import org.eclipse.emf.ecore.EObject; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * A representation of the model object '<em><b>Income</b></em>'. | ||
14 | * <!-- end-user-doc --> | ||
15 | * | ||
16 | * <p> | ||
17 | * The following features are supported: | ||
18 | * </p> | ||
19 | * <ul> | ||
20 | * <li>{@link Taxation.Income#getIncome_amount <em>Income amount</em>}</li> | ||
21 | * <li>{@link Taxation.Income#getIncome_type <em>Income type</em>}</li> | ||
22 | * <li>{@link Taxation.Income#getStart_date_within_taxation_year <em>Start date within taxation year</em>}</li> | ||
23 | * <li>{@link Taxation.Income#getStart_date_of_contract <em>Start date of contract</em>}</li> | ||
24 | * <li>{@link Taxation.Income#getEnd_date_within_taxation_year <em>End date within taxation year</em>}</li> | ||
25 | * <li>{@link Taxation.Income#getTax_card <em>Tax card</em>}</li> | ||
26 | * <li>{@link Taxation.Income#getTax_liability <em>Tax liability</em>}</li> | ||
27 | * <li>{@link Taxation.Income#getTaxPayer <em>Tax Payer</em>}</li> | ||
28 | * <li>{@link Taxation.Income#getDetails <em>Details</em>}</li> | ||
29 | * <li>{@link Taxation.Income#getNum <em>Num</em>}</li> | ||
30 | * <li>{@link Taxation.Income#getExpenses <em>Expenses</em>}</li> | ||
31 | * </ul> | ||
32 | * | ||
33 | * @see Taxation.TaxationPackage#getIncome() | ||
34 | * @model abstract="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | public interface Income extends EObject { | ||
38 | /** | ||
39 | * Returns the value of the '<em><b>Income amount</b></em>' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @return the value of the '<em>Income amount</em>' attribute. | ||
43 | * @see #setIncome_amount(double) | ||
44 | * @see Taxation.TaxationPackage#getIncome_Income_amount() | ||
45 | * @model unique="false" required="true" ordered="false" | ||
46 | * 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()'" | ||
47 | * @generated | ||
48 | */ | ||
49 | double getIncome_amount(); | ||
50 | |||
51 | /** | ||
52 | * Sets the value of the '{@link Taxation.Income#getIncome_amount <em>Income amount</em>}' attribute. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @param value the new value of the '<em>Income amount</em>' attribute. | ||
56 | * @see #getIncome_amount() | ||
57 | * @generated | ||
58 | */ | ||
59 | void setIncome_amount(double value); | ||
60 | |||
61 | /** | ||
62 | * Returns the value of the '<em><b>Income type</b></em>' containment reference. | ||
63 | * It is bidirectional and its opposite is '{@link Taxation.Income_Type#getIncome <em>Income</em>}'. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @return the value of the '<em>Income type</em>' containment reference. | ||
67 | * @see #setIncome_type(Income_Type) | ||
68 | * @see Taxation.TaxationPackage#getIncome_Income_type() | ||
69 | * @see Taxation.Income_Type#getIncome | ||
70 | * @model opposite="income" containment="true" required="true" | ||
71 | * @generated | ||
72 | */ | ||
73 | Income_Type getIncome_type(); | ||
74 | |||
75 | /** | ||
76 | * Sets the value of the '{@link Taxation.Income#getIncome_type <em>Income type</em>}' containment reference. | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @param value the new value of the '<em>Income type</em>' containment reference. | ||
80 | * @see #getIncome_type() | ||
81 | * @generated | ||
82 | */ | ||
83 | void setIncome_type(Income_Type value); | ||
84 | |||
85 | /** | ||
86 | * Returns the value of the '<em><b>Start date within taxation year</b></em>' attribute. | ||
87 | * <!-- begin-user-doc --> | ||
88 | * <!-- end-user-doc --> | ||
89 | * @return the value of the '<em>Start date within taxation year</em>' attribute. | ||
90 | * @see #setStart_date_within_taxation_year(Date) | ||
91 | * @see Taxation.TaxationPackage#getIncome_Start_date_within_taxation_year() | ||
92 | * @model unique="false" required="true" ordered="false" | ||
93 | * @generated | ||
94 | */ | ||
95 | Date getStart_date_within_taxation_year(); | ||
96 | |||
97 | /** | ||
98 | * Sets the value of the '{@link Taxation.Income#getStart_date_within_taxation_year <em>Start date within taxation year</em>}' attribute. | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @param value the new value of the '<em>Start date within taxation year</em>' attribute. | ||
102 | * @see #getStart_date_within_taxation_year() | ||
103 | * @generated | ||
104 | */ | ||
105 | void setStart_date_within_taxation_year(Date value); | ||
106 | |||
107 | /** | ||
108 | * Returns the value of the '<em><b>Start date of contract</b></em>' attribute. | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @return the value of the '<em>Start date of contract</em>' attribute. | ||
112 | * @see #setStart_date_of_contract(Date) | ||
113 | * @see Taxation.TaxationPackage#getIncome_Start_date_of_contract() | ||
114 | * @model unique="false" required="true" ordered="false" | ||
115 | * @generated | ||
116 | */ | ||
117 | Date getStart_date_of_contract(); | ||
118 | |||
119 | /** | ||
120 | * Sets the value of the '{@link Taxation.Income#getStart_date_of_contract <em>Start date of contract</em>}' attribute. | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @param value the new value of the '<em>Start date of contract</em>' attribute. | ||
124 | * @see #getStart_date_of_contract() | ||
125 | * @generated | ||
126 | */ | ||
127 | void setStart_date_of_contract(Date value); | ||
128 | |||
129 | /** | ||
130 | * Returns the value of the '<em><b>End date within taxation year</b></em>' attribute. | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @return the value of the '<em>End date within taxation year</em>' attribute. | ||
134 | * @see #setEnd_date_within_taxation_year(Date) | ||
135 | * @see Taxation.TaxationPackage#getIncome_End_date_within_taxation_year() | ||
136 | * @model unique="false" required="true" ordered="false" | ||
137 | * @generated | ||
138 | */ | ||
139 | Date getEnd_date_within_taxation_year(); | ||
140 | |||
141 | /** | ||
142 | * Sets the value of the '{@link Taxation.Income#getEnd_date_within_taxation_year <em>End date within taxation year</em>}' attribute. | ||
143 | * <!-- begin-user-doc --> | ||
144 | * <!-- end-user-doc --> | ||
145 | * @param value the new value of the '<em>End date within taxation year</em>' attribute. | ||
146 | * @see #getEnd_date_within_taxation_year() | ||
147 | * @generated | ||
148 | */ | ||
149 | void setEnd_date_within_taxation_year(Date value); | ||
150 | |||
151 | /** | ||
152 | * Returns the value of the '<em><b>Tax card</b></em>' containment reference. | ||
153 | * It is bidirectional and its opposite is '{@link Taxation.Tax_Card#getIncome <em>Income</em>}'. | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @return the value of the '<em>Tax card</em>' containment reference. | ||
157 | * @see #setTax_card(Tax_Card) | ||
158 | * @see Taxation.TaxationPackage#getIncome_Tax_card() | ||
159 | * @see Taxation.Tax_Card#getIncome | ||
160 | * @model opposite="income" containment="true" | ||
161 | * @generated | ||
162 | */ | ||
163 | Tax_Card getTax_card(); | ||
164 | |||
165 | /** | ||
166 | * Sets the value of the '{@link Taxation.Income#getTax_card <em>Tax card</em>}' containment reference. | ||
167 | * <!-- begin-user-doc --> | ||
168 | * <!-- end-user-doc --> | ||
169 | * @param value the new value of the '<em>Tax card</em>' containment reference. | ||
170 | * @see #getTax_card() | ||
171 | * @generated | ||
172 | */ | ||
173 | void setTax_card(Tax_Card value); | ||
174 | |||
175 | /** | ||
176 | * Returns the value of the '<em><b>Tax liability</b></em>' attribute. | ||
177 | * <!-- begin-user-doc --> | ||
178 | * <!-- end-user-doc --> | ||
179 | * @return the value of the '<em>Tax liability</em>' attribute. | ||
180 | * @see #setTax_liability(double) | ||
181 | * @see Taxation.TaxationPackage#getIncome_Tax_liability() | ||
182 | * @model required="true" | ||
183 | * @generated | ||
184 | */ | ||
185 | double getTax_liability(); | ||
186 | |||
187 | /** | ||
188 | * Sets the value of the '{@link Taxation.Income#getTax_liability <em>Tax liability</em>}' attribute. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @param value the new value of the '<em>Tax liability</em>' attribute. | ||
192 | * @see #getTax_liability() | ||
193 | * @generated | ||
194 | */ | ||
195 | void setTax_liability(double value); | ||
196 | |||
197 | /** | ||
198 | * Returns the value of the '<em><b>Tax Payer</b></em>' container reference. | ||
199 | * It is bidirectional and its opposite is '{@link Taxation.Tax_Payer#getIncomes <em>Incomes</em>}'. | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @return the value of the '<em>Tax Payer</em>' container reference. | ||
203 | * @see #setTaxPayer(Tax_Payer) | ||
204 | * @see Taxation.TaxationPackage#getIncome_TaxPayer() | ||
205 | * @see Taxation.Tax_Payer#getIncomes | ||
206 | * @model opposite="incomes" required="true" transient="false" ordered="false" | ||
207 | * @generated | ||
208 | */ | ||
209 | Tax_Payer getTaxPayer(); | ||
210 | |||
211 | /** | ||
212 | * Sets the value of the '{@link Taxation.Income#getTaxPayer <em>Tax Payer</em>}' container reference. | ||
213 | * <!-- begin-user-doc --> | ||
214 | * <!-- end-user-doc --> | ||
215 | * @param value the new value of the '<em>Tax Payer</em>' container reference. | ||
216 | * @see #getTaxPayer() | ||
217 | * @generated | ||
218 | */ | ||
219 | void setTaxPayer(Tax_Payer value); | ||
220 | |||
221 | /** | ||
222 | * Returns the value of the '<em><b>Details</b></em>' containment reference list. | ||
223 | * The list contents are of type {@link Taxation.Income_Detail}. | ||
224 | * It is bidirectional and its opposite is '{@link Taxation.Income_Detail#getIncome <em>Income</em>}'. | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @return the value of the '<em>Details</em>' containment reference list. | ||
228 | * @see Taxation.TaxationPackage#getIncome_Details() | ||
229 | * @see Taxation.Income_Detail#getIncome | ||
230 | * @model opposite="income" containment="true" lower="12" upper="12" | ||
231 | * @generated | ||
232 | */ | ||
233 | EList<Income_Detail> getDetails(); | ||
234 | |||
235 | /** | ||
236 | * Returns the value of the '<em><b>Num</b></em>' attribute. | ||
237 | * <!-- begin-user-doc --> | ||
238 | * <!-- end-user-doc --> | ||
239 | * @return the value of the '<em>Num</em>' attribute. | ||
240 | * @see #setNum(int) | ||
241 | * @see Taxation.TaxationPackage#getIncome_Num() | ||
242 | * @model id="true" required="true" ordered="false" | ||
243 | * @generated | ||
244 | */ | ||
245 | int getNum(); | ||
246 | |||
247 | /** | ||
248 | * Sets the value of the '{@link Taxation.Income#getNum <em>Num</em>}' attribute. | ||
249 | * <!-- begin-user-doc --> | ||
250 | * <!-- end-user-doc --> | ||
251 | * @param value the new value of the '<em>Num</em>' attribute. | ||
252 | * @see #getNum() | ||
253 | * @generated | ||
254 | */ | ||
255 | void setNum(int value); | ||
256 | |||
257 | /** | ||
258 | * Returns the value of the '<em><b>Expenses</b></em>' containment reference list. | ||
259 | * The list contents are of type {@link Taxation.Expense}. | ||
260 | * It is bidirectional and its opposite is '{@link Taxation.Expense#getIncome <em>Income</em>}'. | ||
261 | * <!-- begin-user-doc --> | ||
262 | * <!-- end-user-doc --> | ||
263 | * @return the value of the '<em>Expenses</em>' containment reference list. | ||
264 | * @see Taxation.TaxationPackage#getIncome_Expenses() | ||
265 | * @see Taxation.Expense#getIncome | ||
266 | * @model opposite="income" containment="true" ordered="false" | ||
267 | * @generated | ||
268 | */ | ||
269 | EList<Expense> getExpenses(); | ||
270 | |||
271 | } // Income | ||