1 files changed, 45 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/NewOCLFileX.ocl b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/NewOCLFileX.ocl
new file mode 100644
index 00000000..66ae728e
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/NewOCLFileX.ocl
@@ -0,0 +1,45 @@
+import 'file:/Users/Aren Babikian/git/VIATRA-Attributes/case.study.a.model/model/Taxation.ecore'

+

+package Taxation

+

+--context Income inv inv8:  

+--if(not self.income_type.oclIsTypeOf(Employment_Income)) then

+--self.details->forAll(d| d.distance = 0)

+--else 

+--self.details->forAll(d| d.distance >= 0.0 and d.distance <= 100)

+--endif

+--

+--context Legal_Union_Record inv inv490:

+--self.individual_A.oclIsKindOf(Tax_Payer) 

+--

+--context Legal_Union_Record inv inv491:

+--self.individual_B->forAll(i | i.oclIsKindOf(Physical_Person) )

+--

+--context Legal_Union_Record inv inv492:

+--self.individual_B->forAll(i | not i.oclIsTypeOf(Dependent) )

+--

+--context Legal_Union_Record inv inv493:

+--self.individual_A <> self.individual_B

+--

+--context Tax_Payer inv inv13:

+-- self.addresses->exists( hab_add:Address | hab_add.oclIsTypeOf(Habitual_Address) = true and hab_add.country=Country::ZZ) 

+--implies

+-- self.oclIsTypeOf(Resident_Tax_Payer) 

+ 

+ context Income inv inv7: 

+let val:Real =self.details->asOrderedSet()->first().distance in 

+self.details->forAll(d: Income_Detail|d.distance = val)

+

+--context External_Allowance inv inv15: 

+--let child:Dependent = self.person in

+--let h:Household = Household.allInstances()->select(children->includes(child))->asOrderedSet()->first() in

+--let t1:Set(Physical_Person) = Set{h.parents.individual_A}->union(h.parents.individual_B)->select(oclIsKindOf(Tax_Payer)) in

+--if(t1->size()=1) then

+--self.reciver = t1->asOrderedSet()->first() 

+--else 

+--self.reciver = t1->asOrderedSet()->at(2) or self.reciver = t1->asOrderedSet()->at(1) 

+--endif 

+

+

+

+endpackage
\ No newline at end of file