From 68a0667e862f0714410aafbb499a95a03f5bee23 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 28 Apr 2020 00:29:00 -0400 Subject: Able to run Pledge Case Study --- .../src/queries/NewOCLFileX.ocl | 45 ---------------------- 1 file changed, 45 deletions(-) delete mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src/queries/NewOCLFileX.ocl (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src/queries/NewOCLFileX.ocl') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src/queries/NewOCLFileX.ocl b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src/queries/NewOCLFileX.ocl deleted file mode 100644 index 66ae728e..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src/queries/NewOCLFileX.ocl +++ /dev/null @@ -1,45 +0,0 @@ -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 -- cgit v1.2.3-70-g09d2