aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-11 10:06:57 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-11 10:06:57 -0400
commit750b37401bc3eb3e9deb7126d90f871973ba477b (patch)
treeabe90e700f79ae1e126586039bf15d2a51dbb60c /Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel
parentAllow real numbers to be in the solution (diff)
downloadVIATRA-Generator-750b37401bc3eb3e9deb7126d90f871973ba477b.tar.gz
VIATRA-Generator-750b37401bc3eb3e9deb7126d90f871973ba477b.tar.zst
VIATRA-Generator-750b37401bc3eb3e9deb7126d90f871973ba477b.zip
Remove derived features from the PLEDGE MM
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel32
1 files changed, 2 insertions, 30 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel
index 1a18d8b6..6d7ad0d6 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.genmodel
@@ -32,10 +32,6 @@
32 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Country/NN"/> 32 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Country/NN"/>
33 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Country/OTHER"/> 33 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Country/OTHER"/>
34 </genEnums> 34 </genEnums>
35 <genEnums typeSafeEnumCompatible="false" ecoreEnum="Taxation.ecore#//Tax_Card_Type">
36 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Tax_Card_Type/Principal"/>
37 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Tax_Card_Type/Additional"/>
38 </genEnums>
39 <genEnums typeSafeEnumCompatible="false" ecoreEnum="Taxation.ecore#//Tax_Office"> 35 <genEnums typeSafeEnumCompatible="false" ecoreEnum="Taxation.ecore#//Tax_Office">
40 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Tax_Office/RTS_2"/> 36 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Tax_Office/RTS_2"/>
41 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Tax_Office/RTS_3"/> 37 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Tax_Office/RTS_3"/>
@@ -59,10 +55,6 @@
59 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Town/TT"/> 55 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Town/TT"/>
60 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Town/Other"/> 56 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Town/Other"/>
61 </genEnums> 57 </genEnums>
62 <genEnums typeSafeEnumCompatible="false" ecoreEnum="Taxation.ecore#//Type_of_Rate">
63 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Type_of_Rate/REGULAR"/>
64 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//Type_of_Rate/REAL_COST"/>
65 </genEnums>
66 <genEnums typeSafeEnumCompatible="false" ecoreEnum="Taxation.ecore#//CE_Type"> 58 <genEnums typeSafeEnumCompatible="false" ecoreEnum="Taxation.ecore#//CE_Type">
67 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//CE_Type/INALIDITY_AND_INFIRMITY"/> 59 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//CE_Type/INALIDITY_AND_INFIRMITY"/>
68 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//CE_Type/DEPENDENCE_AND_CARE_EXCLUDING_CHLIDREN_NOT_PART_OF_HOUSEHOLD"/> 60 <genEnumLiterals ecoreEnumLiteral="Taxation.ecore#//CE_Type/DEPENDENCE_AND_CARE_EXCLUDING_CHLIDREN_NOT_PART_OF_HOUSEHOLD"/>
@@ -148,16 +140,13 @@
148 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Tax_Payer/from_agent"/> 140 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Tax_Payer/from_agent"/>
149 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Tax_Payer/incomes"/> 141 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Tax_Payer/incomes"/>
150 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Tax_Payer/from_law"/> 142 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Tax_Payer/from_law"/>
151 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Payer/taxesDue"/>
152 </genClasses> 143 </genClasses>
153 <genClasses ecoreClass="Taxation.ecore#//Physical_Person"> 144 <genClasses ecoreClass="Taxation.ecore#//Physical_Person">
154 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/is_assisting_spouse"/>
155 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/SSNo"/> 145 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/SSNo"/>
156 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Taxation.ecore#//Physical_Person/addresses"/> 146 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Taxation.ecore#//Physical_Person/addresses"/>
157 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/birth_year"/> 147 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/birth_year"/>
158 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/disability_percentage"/> 148 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/disability_percentage"/>
159 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/disability_type"/> 149 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/disability_type"/>
160 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/is_affiliated_personnaly_to_social_security"/>
161 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/birth_month"/> 150 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/birth_month"/>
162 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/birth_day"/> 151 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Physical_Person/birth_day"/>
163 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Taxation.ecore#//Physical_Person/expenses"/> 152 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Taxation.ecore#//Physical_Person/expenses"/>
@@ -190,7 +179,6 @@
190 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Taxation.ecore#//Dependent/expense"/> 179 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Taxation.ecore#//Dependent/expense"/>
191 </genClasses> 180 </genClasses>
192 <genClasses ecoreClass="Taxation.ecore#//External_Allowance"> 181 <genClasses ecoreClass="Taxation.ecore#//External_Allowance">
193 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/amount"/>
194 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/grantor"/> 182 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/grantor"/>
195 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/starting_year"/> 183 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/starting_year"/>
196 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/ending_year"/> 184 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//External_Allowance/ending_year"/>
@@ -238,13 +226,11 @@
238 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Income/expenses"/> 226 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Taxation.ecore#//Income/expenses"/>
239 </genClasses> 227 </genClasses>
240 <genClasses image="false" ecoreClass="Taxation.ecore#//Income_Type"> 228 <genClasses image="false" ecoreClass="Taxation.ecore#//Income_Type">
241 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Income_Type/subjectToWithholdingTax"/>
242 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Income_Type/id8"/> 229 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Income_Type/id8"/>
243 <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference Taxation.ecore#//Income_Type/income"/> 230 <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference Taxation.ecore#//Income_Type/income"/>
244 </genClasses> 231 </genClasses>
245 <genClasses ecoreClass="Taxation.ecore#//Tax_Card"> 232 <genClasses ecoreClass="Taxation.ecore#//Tax_Card">
246 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/card_identifier"/> 233 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/card_identifier"/>
247 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/tax_card_type"/>
248 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/tax_office"/> 234 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/tax_office"/>
249 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/percentage_of_witholding"/> 235 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/percentage_of_witholding"/>
250 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/tax_payers_name_surname"/> 236 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Tax_Card/tax_payers_name_surname"/>
@@ -327,12 +313,9 @@
327 <genClasses ecoreClass="Taxation.ecore#//CIS"/> 313 <genClasses ecoreClass="Taxation.ecore#//CIS"/>
328 <genClasses ecoreClass="Taxation.ecore#//FD"> 314 <genClasses ecoreClass="Taxation.ecore#//FD">
329 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//FD/distance_declared_in_january"/> 315 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//FD/distance_declared_in_january"/>
330 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//FD/calculated_distance"/>
331 </genClasses> 316 </genClasses>
332 <genClasses ecoreClass="Taxation.ecore#//Professional_Expenses_Deduction"/> 317 <genClasses ecoreClass="Taxation.ecore#//Professional_Expenses_Deduction"/>
333 <genClasses ecoreClass="Taxation.ecore#//FO"> 318 <genClasses ecoreClass="Taxation.ecore#//FO"/>
334 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//FO/rate_type_for_FO"/>
335 </genClasses>
336 <genClasses ecoreClass="Taxation.ecore#//DS_for_Permanent_Expense"> 319 <genClasses ecoreClass="Taxation.ecore#//DS_for_Permanent_Expense">
337 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Permanent_Expense/permanent_expense_category"/> 320 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Permanent_Expense/permanent_expense_category"/>
338 </genClasses> 321 </genClasses>
@@ -346,22 +329,17 @@
346 </genClasses> 329 </genClasses>
347 <genClasses ecoreClass="Taxation.ecore#//DS_for_Private_Insurance_and_Plan"> 330 <genClasses ecoreClass="Taxation.ecore#//DS_for_Private_Insurance_and_Plan">
348 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Private_Insurance_and_Plan/private_insurance_and_plan_category"/> 331 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Private_Insurance_and_Plan/private_insurance_and_plan_category"/>
349 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Private_Insurance_and_Plan/increase_for_life_insurance"/>
350 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Private_Insurance_and_Plan/maximum_deductible_amount_for_private_insurance"/>
351 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//DS_for_Private_Insurance_and_Plan/maximum_deductible_amount_for_old_age_pension_plan"/>
352 </genClasses> 332 </genClasses>
353 <genClasses ecoreClass="Taxation.ecore#//DS_for_Loss_Carryforward"/> 333 <genClasses ecoreClass="Taxation.ecore#//DS_for_Loss_Carryforward"/>
354 <genClasses ecoreClass="Taxation.ecore#//DS_for_Donation"/> 334 <genClasses ecoreClass="Taxation.ecore#//DS_for_Donation"/>
355 <genClasses ecoreClass="Taxation.ecore#//Permanent_Expense"> 335 <genClasses ecoreClass="Taxation.ecore#//Permanent_Expense">
356 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Permanent_Expense/category"/> 336 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Permanent_Expense/category"/>
357 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Permanent_Expense/is_eligible_for_deduction"/>
358 </genClasses> 337 </genClasses>
359 <genClasses ecoreClass="Taxation.ecore#//Special_Expense_DS"/> 338 <genClasses ecoreClass="Taxation.ecore#//Special_Expense_DS"/>
360 <genClasses ecoreClass="Taxation.ecore#//Interest_Expense"/> 339 <genClasses ecoreClass="Taxation.ecore#//Interest_Expense"/>
361 <genClasses ecoreClass="Taxation.ecore#//Private_Insurance_and_Plan"> 340 <genClasses ecoreClass="Taxation.ecore#//Private_Insurance_and_Plan">
362 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Private_Insurance_and_Plan/category"/> 341 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Private_Insurance_and_Plan/category"/>
363 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Private_Insurance_and_Plan/duration_of_contract"/> 342 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Private_Insurance_and_Plan/duration_of_contract"/>
364 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Private_Insurance_and_Plan/is_private_insurance_and_plan_eligible_for_deduction"/>
365 </genClasses> 343 </genClasses>
366 <genClasses ecoreClass="Taxation.ecore#//Health_and_Pension_Insurance"> 344 <genClasses ecoreClass="Taxation.ecore#//Health_and_Pension_Insurance">
367 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Health_and_Pension_Insurance/category"/> 345 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Health_and_Pension_Insurance/category"/>
@@ -369,15 +347,9 @@
369 </genClasses> 347 </genClasses>
370 <genClasses ecoreClass="Taxation.ecore#//Donation"> 348 <genClasses ecoreClass="Taxation.ecore#//Donation">
371 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Donation/beneficiary1"/> 349 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Donation/beneficiary1"/>
372 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Donation/is_beneficiary_eligible"/>
373 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Donation/is_donation_reported"/> 350 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Donation/is_donation_reported"/>
374 </genClasses> 351 </genClasses>
375 <genClasses ecoreClass="Taxation.ecore#//Loss_Carryforward"> 352 <genClasses ecoreClass="Taxation.ecore#//Loss_Carryforward"/>
376 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Loss_Carryforward/regular_accountability"/>
377 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Loss_Carryforward/compensation_by_other_means"/>
378 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Loss_Carryforward/tax_payer_has_inherited_business_ownership"/>
379 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Loss_Carryforward/tax_payer_has_been_partner_in_business"/>
380 </genClasses>
381 <genClasses ecoreClass="Taxation.ecore#//Spousal_Expense_AC"/> 353 <genClasses ecoreClass="Taxation.ecore#//Spousal_Expense_AC"/>
382 <genClasses ecoreClass="Taxation.ecore#//Extraordinary_Expense_CE"> 354 <genClasses ecoreClass="Taxation.ecore#//Extraordinary_Expense_CE">
383 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Extraordinary_Expense_CE/thresholded_deduction_percentage"/> 355 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Taxation.ecore#//Extraordinary_Expense_CE/thresholded_deduction_percentage"/>