aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.ecore
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.ecore
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.ecore')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.ecore70
1 files changed, 2 insertions, 68 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.ecore b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.ecore
index cfed4729..12571827 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.ecore
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/model/Taxation.ecore
@@ -96,10 +96,6 @@
96 <eLiterals name="NN" value="4" literal="NN"/> 96 <eLiterals name="NN" value="4" literal="NN"/>
97 <eLiterals name="OTHER" value="5" literal="OTHER"/> 97 <eLiterals name="OTHER" value="5" literal="OTHER"/>
98 </eClassifiers> 98 </eClassifiers>
99 <eClassifiers xsi:type="ecore:EEnum" name="Tax_Card_Type">
100 <eLiterals name="Principal" literal="Principal"/>
101 <eLiterals name="Additional" value="1" literal="Additional"/>
102 </eClassifiers>
103 <eClassifiers xsi:type="ecore:EEnum" name="Tax_Office"> 99 <eClassifiers xsi:type="ecore:EEnum" name="Tax_Office">
104 <eLiterals name="RTS_2" literal="RTS_2"/> 100 <eLiterals name="RTS_2" literal="RTS_2"/>
105 <eLiterals name="RTS_3" value="1" literal="RTS_3"/> 101 <eLiterals name="RTS_3" value="1" literal="RTS_3"/>
@@ -123,10 +119,6 @@
123 <eLiterals name="TT" value="3" literal="TT"/> 119 <eLiterals name="TT" value="3" literal="TT"/>
124 <eLiterals name="Other" value="4" literal="Other"/> 120 <eLiterals name="Other" value="4" literal="Other"/>
125 </eClassifiers> 121 </eClassifiers>
126 <eClassifiers xsi:type="ecore:EEnum" name="Type_of_Rate">
127 <eLiterals name="REGULAR" literal="REGULAR"/>
128 <eLiterals name="REAL_COST" value="1" literal="REAL_COST"/>
129 </eClassifiers>
130 <eClassifiers xsi:type="ecore:EEnum" name="CE_Type"> 122 <eClassifiers xsi:type="ecore:EEnum" name="CE_Type">
131 <eLiterals name="INALIDITY_AND_INFIRMITY" literal="INALIDITY_AND_INFIRMITY"/> 123 <eLiterals name="INALIDITY_AND_INFIRMITY" literal="INALIDITY_AND_INFIRMITY"/>
132 <eLiterals name="DEPENDENCE_AND_CARE_EXCLUDING_CHLIDREN_NOT_PART_OF_HOUSEHOLD" 124 <eLiterals name="DEPENDENCE_AND_CARE_EXCLUDING_CHLIDREN_NOT_PART_OF_HOUSEHOLD"
@@ -173,12 +165,8 @@
173 lowerBound="1" upperBound="-1" eType="#//Income" containment="true" eOpposite="#//Income/taxPayer"/> 165 lowerBound="1" upperBound="-1" eType="#//Income" containment="true" eOpposite="#//Income/taxPayer"/>
174 <eStructuralFeatures xsi:type="ecore:EReference" name="from_law" lowerBound="1" 166 <eStructuralFeatures xsi:type="ecore:EReference" name="from_law" lowerBound="1"
175 eType="#//FromLaw" containment="true" eOpposite="#//FromLaw/taxPayer"/> 167 eType="#//FromLaw" containment="true" eOpposite="#//FromLaw/taxPayer"/>
176 <eStructuralFeatures xsi:type="ecore:EAttribute" name="taxesDue" ordered="false"
177 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
178 </eClassifiers> 168 </eClassifiers>
179 <eClassifiers xsi:type="ecore:EClass" name="Physical_Person"> 169 <eClassifiers xsi:type="ecore:EClass" name="Physical_Person">
180 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_assisting_spouse" lowerBound="1"
181 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" derived="true"/>
182 <eStructuralFeatures xsi:type="ecore:EAttribute" name="SSNo" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" 170 <eStructuralFeatures xsi:type="ecore:EAttribute" name="SSNo" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
183 iD="true"/> 171 iD="true"/>
184 <eStructuralFeatures xsi:type="ecore:EReference" name="addresses" ordered="false" 172 <eStructuralFeatures xsi:type="ecore:EReference" name="addresses" ordered="false"
@@ -189,9 +177,6 @@
189 ordered="false" unique="false" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/> 177 ordered="false" unique="false" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
190 <eStructuralFeatures xsi:type="ecore:EAttribute" name="disability_type" ordered="false" 178 <eStructuralFeatures xsi:type="ecore:EAttribute" name="disability_type" ordered="false"
191 unique="false" lowerBound="1" eType="#//Disability_Types"/> 179 unique="false" lowerBound="1" eType="#//Disability_Types"/>
192 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_affiliated_personnaly_to_social_security"
193 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
194 derived="true"/>
195 <eStructuralFeatures xsi:type="ecore:EAttribute" name="birth_month" ordered="false" 180 <eStructuralFeatures xsi:type="ecore:EAttribute" name="birth_month" ordered="false"
196 unique="false" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> 181 unique="false" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
197 <eStructuralFeatures xsi:type="ecore:EAttribute" name="birth_day" ordered="false" 182 <eStructuralFeatures xsi:type="ecore:EAttribute" name="birth_day" ordered="false"
@@ -247,8 +232,6 @@
247 upperBound="-1" eType="#//Expense" eOpposite="#//Expense/dependent"/> 232 upperBound="-1" eType="#//Expense" eOpposite="#//Expense/dependent"/>
248 </eClassifiers> 233 </eClassifiers>
249 <eClassifiers xsi:type="ecore:EClass" name="External_Allowance"> 234 <eClassifiers xsi:type="ecore:EClass" name="External_Allowance">
250 <eStructuralFeatures xsi:type="ecore:EAttribute" name="amount" lowerBound="1"
251 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
252 <eStructuralFeatures xsi:type="ecore:EAttribute" name="grantor" lowerBound="1" 235 <eStructuralFeatures xsi:type="ecore:EAttribute" name="grantor" lowerBound="1"
253 eType="#//Grantor"/> 236 eType="#//Grantor"/>
254 <eStructuralFeatures xsi:type="ecore:EAttribute" name="starting_year" ordered="false" 237 <eStructuralFeatures xsi:type="ecore:EAttribute" name="starting_year" ordered="false"
@@ -349,13 +332,6 @@
349 upperBound="-1" eType="#//Expense" containment="true" eOpposite="#//Expense/income"/> 332 upperBound="-1" eType="#//Expense" containment="true" eOpposite="#//Expense/income"/>
350 </eClassifiers> 333 </eClassifiers>
351 <eClassifiers xsi:type="ecore:EClass" name="Income_Type" abstract="true"> 334 <eClassifiers xsi:type="ecore:EClass" name="Income_Type" abstract="true">
352 <eStructuralFeatures xsi:type="ecore:EAttribute" name="subjectToWithholdingTax"
353 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
354 derived="true">
355 <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
356 <details key="derivation" value="&#xA;&#x9;&#x9;&#x9;&#x9;self.income.tax_card->notEmpty()&#xA;&#x9;&#x9;&#x9;&#x9;"/>
357 </eAnnotations>
358 </eStructuralFeatures>
359 <eStructuralFeatures xsi:type="ecore:EAttribute" name="id8" ordered="false" lowerBound="1" 335 <eStructuralFeatures xsi:type="ecore:EAttribute" name="id8" ordered="false" lowerBound="1"
360 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" iD="true"/> 336 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" iD="true"/>
361 <eStructuralFeatures xsi:type="ecore:EReference" name="income" lowerBound="1" 337 <eStructuralFeatures xsi:type="ecore:EReference" name="income" lowerBound="1"
@@ -364,12 +340,6 @@
364 <eClassifiers xsi:type="ecore:EClass" name="Tax_Card"> 340 <eClassifiers xsi:type="ecore:EClass" name="Tax_Card">
365 <eStructuralFeatures xsi:type="ecore:EAttribute" name="card_identifier" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" 341 <eStructuralFeatures xsi:type="ecore:EAttribute" name="card_identifier" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
366 iD="true"/> 342 iD="true"/>
367 <eStructuralFeatures xsi:type="ecore:EAttribute" name="tax_card_type" lowerBound="1"
368 eType="#//Tax_Card_Type" derived="true">
369 <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
370 <details key="derivation" value="if(self.income.taxPayer.incomes->size()=1) then &#xA;Tax_Card_Type::Principal&#xA;&#x9;else&#xA;&#x9;&#x9;let all_incomes:OrderedSet(Income)=self.income.taxPayer.incomes->select(inc:Income| inc.income_amount= self.income.taxPayer.incomes.income_amount->max())->asOrderedSet() in&#xA;&#x9;&#x9;let bigest_income:Income= all_incomes->first() in&#xA;&#x9;&#x9;&#x9; if(bigest_income=self.income) then&#xA;&#x9;&#x9;&#x9; &#x9; Tax_Card_Type::Principal&#xA;&#x9;&#x9;&#x9; else&#xA;&#x9;&#x9;&#x9;&#x9;&#x9;Tax_Card_Type::Additional&#xA;&#x9;&#x9;&#x9;&#x9;endif&#xA;endif&#xA;&#x9;&#x9;&#x9;&#x9;"/>
371 </eAnnotations>
372 </eStructuralFeatures>
373 <eStructuralFeatures xsi:type="ecore:EAttribute" name="tax_office" lowerBound="1" 343 <eStructuralFeatures xsi:type="ecore:EAttribute" name="tax_office" lowerBound="1"
374 eType="#//Tax_Office"/> 344 eType="#//Tax_Office"/>
375 <eStructuralFeatures xsi:type="ecore:EAttribute" name="percentage_of_witholding" 345 <eStructuralFeatures xsi:type="ecore:EAttribute" name="percentage_of_witholding"
@@ -520,14 +490,9 @@
520 <eClassifiers xsi:type="ecore:EClass" name="FD" eSuperTypes="#//Professional_Expenses_Deduction"> 490 <eClassifiers xsi:type="ecore:EClass" name="FD" eSuperTypes="#//Professional_Expenses_Deduction">
521 <eStructuralFeatures xsi:type="ecore:EAttribute" name="distance_declared_in_january" 491 <eStructuralFeatures xsi:type="ecore:EAttribute" name="distance_declared_in_january"
522 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/> 492 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
523 <eStructuralFeatures xsi:type="ecore:EAttribute" name="calculated_distance" lowerBound="1"
524 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" derived="true"/>
525 </eClassifiers> 493 </eClassifiers>
526 <eClassifiers xsi:type="ecore:EClass" name="Professional_Expenses_Deduction"/> 494 <eClassifiers xsi:type="ecore:EClass" name="Professional_Expenses_Deduction"/>
527 <eClassifiers xsi:type="ecore:EClass" name="FO" eSuperTypes="#//Professional_Expenses_Deduction"> 495 <eClassifiers xsi:type="ecore:EClass" name="FO" eSuperTypes="#//Professional_Expenses_Deduction"/>
528 <eStructuralFeatures xsi:type="ecore:EAttribute" name="rate_type_for_FO" lowerBound="1"
529 eType="#//Type_of_Rate" derived="true"/>
530 </eClassifiers>
531 <eClassifiers xsi:type="ecore:EClass" name="DS_for_Permanent_Expense" eSuperTypes="#//DS"> 496 <eClassifiers xsi:type="ecore:EClass" name="DS_for_Permanent_Expense" eSuperTypes="#//DS">
532 <eStructuralFeatures xsi:type="ecore:EAttribute" name="permanent_expense_category" 497 <eStructuralFeatures xsi:type="ecore:EAttribute" name="permanent_expense_category"
533 lowerBound="1" eType="#//Category_of_Permanent_Expense"/> 498 lowerBound="1" eType="#//Category_of_Permanent_Expense"/>
@@ -556,15 +521,6 @@
556 <eClassifiers xsi:type="ecore:EClass" name="DS_for_Private_Insurance_and_Plan" eSuperTypes="#//DS"> 521 <eClassifiers xsi:type="ecore:EClass" name="DS_for_Private_Insurance_and_Plan" eSuperTypes="#//DS">
557 <eStructuralFeatures xsi:type="ecore:EAttribute" name="private_insurance_and_plan_category" 522 <eStructuralFeatures xsi:type="ecore:EAttribute" name="private_insurance_and_plan_category"
558 lowerBound="1" eType="#//Category_of_Private_Insurance_and_Plan"/> 523 lowerBound="1" eType="#//Category_of_Private_Insurance_and_Plan"/>
559 <eStructuralFeatures xsi:type="ecore:EAttribute" name="increase_for_life_insurance"
560 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
561 derived="true"/>
562 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maximum_deductible_amount_for_private_insurance"
563 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
564 derived="true"/>
565 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maximum_deductible_amount_for_old_age_pension_plan"
566 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
567 derived="true"/>
568 </eClassifiers> 524 </eClassifiers>
569 <eClassifiers xsi:type="ecore:EEnum" name="Category_of_Private_Insurance_and_Plan"> 525 <eClassifiers xsi:type="ecore:EEnum" name="Category_of_Private_Insurance_and_Plan">
570 <eLiterals name="PRIVATE_INSURANCE" literal="PRIVATE_INSURANCE"/> 526 <eLiterals name="PRIVATE_INSURANCE" literal="PRIVATE_INSURANCE"/>
@@ -578,9 +534,6 @@
578 <eClassifiers xsi:type="ecore:EClass" name="Permanent_Expense" eSuperTypes="#//Special_Expense_DS"> 534 <eClassifiers xsi:type="ecore:EClass" name="Permanent_Expense" eSuperTypes="#//Special_Expense_DS">
579 <eStructuralFeatures xsi:type="ecore:EAttribute" name="category" lowerBound="1" 535 <eStructuralFeatures xsi:type="ecore:EAttribute" name="category" lowerBound="1"
580 eType="#//Category_of_Permanent_Expense"/> 536 eType="#//Category_of_Permanent_Expense"/>
581 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_eligible_for_deduction"
582 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
583 defaultValueLiteral="false" derived="true"/>
584 </eClassifiers> 537 </eClassifiers>
585 <eClassifiers xsi:type="ecore:EClass" name="Special_Expense_DS" eSuperTypes="#//Expense"/> 538 <eClassifiers xsi:type="ecore:EClass" name="Special_Expense_DS" eSuperTypes="#//Expense"/>
586 <eClassifiers xsi:type="ecore:EClass" name="Interest_Expense" eSuperTypes="#//Special_Expense_DS"/> 539 <eClassifiers xsi:type="ecore:EClass" name="Interest_Expense" eSuperTypes="#//Special_Expense_DS"/>
@@ -589,9 +542,6 @@
589 eType="#//Category_of_Private_Insurance_and_Plan"/> 542 eType="#//Category_of_Private_Insurance_and_Plan"/>
590 <eStructuralFeatures xsi:type="ecore:EAttribute" name="duration_of_contract" lowerBound="1" 543 <eStructuralFeatures xsi:type="ecore:EAttribute" name="duration_of_contract" lowerBound="1"
591 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> 544 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
592 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_private_insurance_and_plan_eligible_for_deduction"
593 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
594 defaultValueLiteral="false" derived="true"/>
595 </eClassifiers> 545 </eClassifiers>
596 <eClassifiers xsi:type="ecore:EClass" name="Health_and_Pension_Insurance" eSuperTypes="#//Special_Expense_DS"> 546 <eClassifiers xsi:type="ecore:EClass" name="Health_and_Pension_Insurance" eSuperTypes="#//Special_Expense_DS">
597 <eStructuralFeatures xsi:type="ecore:EAttribute" name="category" lowerBound="1" 547 <eStructuralFeatures xsi:type="ecore:EAttribute" name="category" lowerBound="1"
@@ -603,26 +553,10 @@
603 <eClassifiers xsi:type="ecore:EClass" name="Donation" eSuperTypes="#//Special_Expense_DS"> 553 <eClassifiers xsi:type="ecore:EClass" name="Donation" eSuperTypes="#//Special_Expense_DS">
604 <eStructuralFeatures xsi:type="ecore:EAttribute" name="beneficiary1" lowerBound="1" 554 <eStructuralFeatures xsi:type="ecore:EAttribute" name="beneficiary1" lowerBound="1"
605 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> 555 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
606 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_beneficiary_eligible"
607 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
608 defaultValueLiteral="false" derived="true"/>
609 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_donation_reported" lowerBound="1" 556 <eStructuralFeatures xsi:type="ecore:EAttribute" name="is_donation_reported" lowerBound="1"
610 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> 557 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
611 </eClassifiers> 558 </eClassifiers>
612 <eClassifiers xsi:type="ecore:EClass" name="Loss_Carryforward" eSuperTypes="#//Special_Expense_DS"> 559 <eClassifiers xsi:type="ecore:EClass" name="Loss_Carryforward" eSuperTypes="#//Special_Expense_DS"/>
613 <eStructuralFeatures xsi:type="ecore:EAttribute" name="regular_accountability"
614 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
615 derived="true"/>
616 <eStructuralFeatures xsi:type="ecore:EAttribute" name="compensation_by_other_means"
617 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
618 derived="true"/>
619 <eStructuralFeatures xsi:type="ecore:EAttribute" name="tax_payer_has_inherited_business_ownership"
620 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
621 defaultValueLiteral="false" derived="true"/>
622 <eStructuralFeatures xsi:type="ecore:EAttribute" name="tax_payer_has_been_partner_in_business"
623 lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
624 defaultValueLiteral="true" derived="true"/>
625 </eClassifiers>
626 <eClassifiers xsi:type="ecore:EClass" name="Spousal_Expense_AC" eSuperTypes="#//Expense"/> 560 <eClassifiers xsi:type="ecore:EClass" name="Spousal_Expense_AC" eSuperTypes="#//Expense"/>
627 <eClassifiers xsi:type="ecore:EClass" name="Extraordinary_Expense_CE" eSuperTypes="#//Expense"> 561 <eClassifiers xsi:type="ecore:EClass" name="Extraordinary_Expense_CE" eSuperTypes="#//Expense">
628 <eStructuralFeatures xsi:type="ecore:EAttribute" name="thresholded_deduction_percentage" 562 <eStructuralFeatures xsi:type="ecore:EAttribute" name="thresholded_deduction_percentage"
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-28 23:53:14 +0000