aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Income.java
diff options
context:
space:
mode:
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.java271
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 */
3package Taxation;
4
5import java.util.Date;
6
7import org.eclipse.emf.common.util.EList;
8
9import 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 */
37public 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-&gt;select(det:Income_Detail|det.amount&gt;0)-&gt;asOrderedSet() in\nnon_null_amounts-&gt;collect(amount)-&gt;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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-07 20:27:28 +0000