3 files changed, 1054 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseA_1.ocl b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseA_1.ocl
new file mode 100644
index 00000000..0dd083b5
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseA_1.ocl
@@ -0,0 +1,281 @@
+import 'file:/Users/Aren Babikian/git/VIATRA-Attributes/original.PLEDGE.case.studies/model/CD_Case_A.uml' 
+--e.g., import 'file:/Users/User_X/CD_Case_A.uml'
+
+package Taxation 
+
+
+context External_Allowance inv inv1: 
+let currentYear: Integer = 2018 in
+let origin: Physical_Person = self.reciver in
+let union:Legal_Union_Record=origin.getLegalUnionRecord(currentYear) in 
+let house: Household = if(not union.oclIsUndefined()) then union.household else invalid endif in
+let children:Set(Dependent)= house.children->select(d:Dependent| d.allowances->select(ext| ext.reciver=origin)->size()>0) in 
+let eligible_children:Set(Dependent) = children->select( birth_year >=currentYear - 6) in
+let is_disabled:Boolean = self.person.disability_type<>Disability_Types::NONE and self.person.disability_percentage>0.5 in
+let age5:Integer = currentYear - self.person.birth_year in
+let base:Real = if(age5>6 and eligible_children->size()<=1) then 185.60 else if(age5>6 and eligible_children->size()=2) then 220.36 else if(age5>6 and eligible_children->size()=2) then 267.59 else 361.83 endif endif endif in 
+
+if(age5<=6) then self.amount = 580
+else 
+if(age5>=6 and age5<=11)then
+self.amount = ((base.toString().toReal() + 16.17).round())
+ else 
+ self.amount = base.round()
+ endif endif 
+
+context Tax_Card inv inv2:
+let classe: Tax_Class_Category = self.income.taxPayer.getTaxClass(2018) in
+let amount:Real = self.income.income_per_year() in
+
+if(income.income_type.oclIsTypeOf(Employment_Income)) then
+let a:Real = if(classe=Tax_Class_Category::One_A) then self.income.taxPayer.from_law.get_A_for_salary_class_1A(amount) else if(classe=Tax_Class_Category::Two) then self.income.taxPayer.from_law.get_A_for_salary_class_2(amount) else self.income.taxPayer.from_law.get_A_for_salary_class_1(amount) endif endif in
+let b:Real = if(classe=Tax_Class_Category::One_A) then self.income.taxPayer.from_law.get_B_for_salary_class_1A(amount) else if(classe=Tax_Class_Category::Two) then self.income.taxPayer.from_law.get_B_for_salary_class_2(amount) else self.income.taxPayer.from_law.get_B_for_salary_class_1(amount) endif endif in
+ let res:Real = self.income.taxPayer.from_law.round_ten_cent(a * amount - b) in
+ let max:Real = if(classe=Tax_Class_Category::Two) then 25085 else 12585 endif in
+ 
+ if(amount<max) then
+ let final_res:Real= self.income.taxPayer.from_law.round_ten_cent(res*1.07) in
+ self.income.taxPayer.taxesDue = final_res.max(100000) 
+ else 
+ let adjustement:Real= if(classe=Tax_Class_Category::One_A) then 81.906 else if(classe=Tax_Class_Category::Two) then 165.74 else 82.87 endif endif in
+ let final_res:Real= self.income.taxPayer.from_law.round_ten_cent(res + (res*0.09-adjustement)) in
+ self.income.taxPayer.taxesDue = final_res.max(100000) 
+ endif
+
+else
+if(income.income_type.oclIsTypeOf(Pensions_and_Annuities_Income)) then
+let a:Real = if(classe=Tax_Class_Category::One_A) then self.income.taxPayer.from_law.get_A_for_pension_class_1A(amount) else if(classe=Tax_Class_Category::Two) then self.income.taxPayer.from_law.get_A_for_pension_class_2(amount) else self.income.taxPayer.from_law.get_A_for_pension_class_1(amount) endif endif in
+let b:Real = if(classe=Tax_Class_Category::One_A) then self.income.taxPayer.from_law.get_B_for_pension_class_1A(amount) else if(classe=Tax_Class_Category::Two) then self.income.taxPayer.from_law.get_B_for_pension_class_2(amount) else self.income.taxPayer.from_law.get_B_for_pension_class_1(amount) endif endif in
+ let res:Real = self.income.taxPayer.from_law.round_ten_cent(a * amount - b) in
+ let max:Real = if(classe=Tax_Class_Category::Two) then 25065 else 12565 endif in
+ 
+ if(amount<max) then
+ let final_res:Real= self.income.taxPayer.from_law.round_ten_cent(res*1.07) in
+ self.income.taxPayer.taxesDue = final_res.max(100000) 
+ else 
+ let adjustement:Real= if(classe=Tax_Class_Category::One_A) then 81.906 else if(classe=Tax_Class_Category::Two) then 165.74 else 82.87 endif endif in
+ let final_res:Real= self.income.taxPayer.from_law.round_ten_cent(res + (res*0.09-adjustement)) in
+ self.income.taxPayer.taxesDue = final_res.max(100000) 
+ endif
+else
+self.income.taxPayer.taxesDue = -1
+endif
+endif 
+
+
+context Dependent inv inv3: 
+if((self.getAge(2018) <=21) or (self.continued_studies = true)) then 
+self.allowances->size()=1
+else 
+self.allowances->size()=0
+endif 
+
+context Income inv inv5: 
+if(not self.income_type.oclIsTypeOf(Employment_Income)) then 
+self.details->forAll(d|d.worked_days = 0)
+else 
+self.details->forAll(d|d.worked_days >= 1 and d.worked_days<=25)
+endif 
+
+context Tax_Payer inv inv6:
+let val:Integer = self.getAge(2018) - 16 in 
+self.dependents->forAll( d:Dependent| d.getAge(2018) > val)
+
+context Income inv inv7: 
+let val:Real =self.details->asOrderedSet()->first().distance in 
+self.details->forAll(d: Income_Detail|d.distance = val)
+
+--context Income inv user_complete_details: 
+--self.details->forAll(d: Income_Detail|d.month = self.details->asOrderedSet()->indexOf(d))
+
+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 Income inv inv9:
+--if(self.income_type.oclIsTypeOf(Pensions_and_Annuities_Income)) then
+--self.details->forAll(d| not d.is_contributing_pension)
+--else 
+--self.details->forAll(d| d.is_contributing_pension)
+--endif 
+
+context Income inv inv10: 
+let val:Real =self.details->asOrderedSet()->first().amount in 
+self.details->forAll(d: Income_Detail|d.amount = val) 
+
+
+
+context Expense inv inv11:  
+let max:Real = if((self.income.income_amount / 2)>50) then self.income.income_amount / 2 else 50 endif in
+self.declared_amount >= 50 and self.declared_amount <= max
+
+context Tax_Payer inv inv12:   
+ self.addresses->exists( hab_add:Address | hab_add.oclIsTypeOf(Habitual_Address) = true and hab_add.country<>Country::ZZ) and
+ self.incomes->exists(inc | inc.oclIsTypeOf(Local_Income) = true)
+ implies
+ self.oclIsTypeOf(Non_Resident_Tax_Payer) 
+ 
+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 Tax_Payer inv inv14:
+--self.dependents->size() >= 0 and self.dependents->size()<= 6
+
+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,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 
+
+context Tax_Card inv inv16: 
+if(self.income.taxPayer.incomes->size()=1) then 
+self.tax_card_type=Tax_Card_Type::Principal
+else
+let all_incomes:OrderedSet(Income)=self.income.taxPayer.incomes->select(inc:Income| inc.income_amount= self.income.taxPayer.incomes.income_amount->max())->asOrderedSet() in
+let bigest_income:Income= all_incomes->first() in
+if(bigest_income=self.income) then
+self.tax_card_type=Tax_Card_Type::Principal
+else
+self.tax_card_type=Tax_Card_Type::Additional
+endif
+endif
+
+
+context Legal_Union_Record inv inv17: 
+self.start_year <=2018 and self.start_year >=1950
+
+
+--context Household inv inv18:
+--not self.parents.oclIsUndefined()
+
+--context Legal_Union_Record inv inv19:
+--not self.household.oclIsUndefined()
+
+context Legal_Union_Record inv inv20:
+self.individual_B <> self.individual_A
+and 
+not self.individual_A.oclIsUndefined()
+and
+not self.individual_B.oclIsUndefined() 
+
+--context Legal_Union_Record inv inv21:
+--self.properties->size() >= 1
+
+--context Tax_Payer inv inv22:
+--self.incomes->size() >= 1
+
+--context Tax_Payer inv inv23:
+--not self.from_law.oclIsUndefined()
+
+--context Tax_Payer inv inv24:
+--not self.from_agent.oclIsUndefined()
+
+--context Income inv inv25: 
+--not self.income_type.oclIsUndefined()
+
+--context Income inv inv26:
+--self.details->size() = 12
+
+
+--context Tax_Payer inv inv27:
+--not self.from_agent.oclIsUndefined()
+
+
+--context Tax_Payer inv inv28:
+--not self.from_law.oclIsUndefined() 
+
+--context Legal_Union_Record inv inv29:
+--self.properties->size()=1
+
+--context Tax_Payer inv inv30:
+--self.AEP_deduction = 0
+
+--context Physical_Person inv inv31:
+--self.last_start_year_widower = -1
+
+--context Physical_Person inv inv32:
+--self.name = 'Not important'
+
+context Physical_Person inv inv33:
+self.getAge(2018) >= 0 and self.getAge(2018) <= 100
+
+context Physical_Person inv inv34: 
+self.birth_month >= 1 and self.birth_month <= 12
+
+context Physical_Person inv inv35: 
+self.birth_day >= 1 and self.birth_day <= 28
+
+--context FromAgent inv inv36: 
+--self.taxation_year = 2018
+
+--context Income inv inv37: 
+--self.year = 2018
+
+--context Income inv inv38: 
+--self.start_year = 2018
+
+--context Tax_Card inv inv39: 
+--self.deduction_FD_yearly = 0
+
+--context Tax_Card inv inv40: 
+--self.credit_CIS_yearly = 0
+
+--context Tax_Card inv inv40: 
+--self.credit_CIS_monthly = 0
+
+--context Tax_Card inv inv41: 
+--self.credit_CIP_yearly = 0
+
+--context Tax_Card inv inv42: 
+--self.credit_CIP_monthly = 0
+
+--context Tax_Card inv inv43: 
+--self.deduction_CE_invalidity_yearly = 0
+
+--context Tax_Card inv inv44: 
+--self.deduction_DS_Debt_yearly = 0
+
+
+--context Expense inv inv45: 
+--self.year_expense_was_incurred_in = 2018
+
+--context Tax_Property inv inv46: 
+--self.taxed_jointly = true 
+
+context Legal_Union_Record inv inv47:  
+(self.separation_cause=Separation_Causes::NONE and self.end_year = -1)
+or(self.end_year>self.start_year)
+
+
+context Physical_Person inv inv48: 
+(self.disability_type = Disability_Types::NONE and self.disability_percentage = 0) or
+(self.disability_type <> Disability_Types::NONE and self.disability_percentage > 0 and self.disability_percentage <= 1)
+
+context Legal_Union_Record inv inv49:
+self.individual_A.oclIsKindOf(Tax_Payer) and 
+self.individual_B.oclIsKindOf(Physical_Person) and 
+not self.individual_B.oclIsTypeOf(Dependent) and 
+self.individual_A <> self.individual_B
+
+--context Income inv inv50:
+--not self.income_type.oclIsUndefined() 
+
+--context Income inv inv51:
+--not self.taxPayer.oclIsUndefined() 
+
+--context Tax_Card inv inv52: 
+--not self.income.oclIsUndefined() 
+
+--context Legal_Union_Record inv inv53: 
+--not self.household.oclIsUndefined() 
+
+endpackage
\ No newline at end of file
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseB_1.ocl b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseB_1.ocl
new file mode 100644
index 00000000..e81c675f
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseB_1.ocl
@@ -0,0 +1,144 @@
+import 'file:/Users/Aren Babikian/git/VIATRA-Attributes/original.PLEDGE.case.studies/model/CD_Case_B.uml'
+--e.g., import 'file:/Users/User_X/CD_Case_B.uml'
+
+package DomainModel
+
+ context BodySenseSystem inv: Set{self.itsTimer}->size()>=1 
+
+ context BodySenseSystem inv: Set{self.itsNVM}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsWatchdog}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsTemperatureSensor}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsPreviousOccupancyStatus}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsALU}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsOccupancyStatus}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsBodySenseElectronics}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsROM}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsMeasurementValue}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsRAM}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsIgnitionResetButton}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsSFR}->size()>=1
+ 
+ context BodySenseSystem inv: Set{self.itsBodySenseSensor}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsVoltageSensor}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsDefaultCalibrationData}->size()>=1
+
+ context BodySenseSystem inv: Set{self.itsAirbagControlUnit}->size()>=1
+ 
+ context BodySenseSystem inv: BodySenseSystem.allInstances()->forAll(b|b.itsOccupancyStatus.OccupantClassForAirbagControl = OccupantClassAirbag::Init)
+
+ context BodySenseSystem inv: BodySenseSystem.allInstances()->forAll(b|b.itsOccupancyStatus.OccupantClassForSeatBeltReminder = OccupantClassSbr::Init)
+
+ context BodySenseSystem inv: BodySenseSystem.allInstances()->forAll(b|b.discardFlag = true)
+
+ context NVM inv: Set{self.itsCalibrationData}->size()>=1
+
+ context Thermistor inv: Set{self.itsTemperatureSensor}->size()>=1
+
+ context OccupancyStatus inv: Set{self.itsAirbagControlUnit}->size()>=1
+
+ context AirbagControlUnit inv: Set{self.itsOccupancyStatus}->size()>=1 
+  
+ context TemperatureSensor inv: self.itsThermistor->size() = 2
+
+ context RAM inv RAMIsValid: RAM.allInstances()->forAll(r|r.isValid = true)
+
+ context SFR inv SFRIsValid: SFR.allInstances()->forAll(s|s.isValid = true)
+
+ context ALU inv ALUIsValid: ALU.allInstances()->forAll(a|a.isValid = true)
+
+ context ROM inv ROMIsValid: ROM.allInstances()->forAll(r|r.isValid = true)
+ 
+ context Error inv e1: Error.allInstances()->select(e|e.oclIsTypeOf(SeatHeaterCircuitIntegrityError))->forAll(e| e.qualificationCounter = 0)
+
+ context Error inv e2: Error.allInstances()->select(e|(not e.oclIsKindOf(CommunicationError)) and (not e.oclIsKindOf(VoltageError)))->forAll(r| r.isQualified = false) 
+
+ context Error inv e6: Error.allInstances()->select(e|e.oclIsKindOf(VoltageError))->forAll(v|v.isQualified = true)
+
+ context Error inv e7: Error.allInstances()->select(e|e.oclIsKindOf(VoltageError))->forAll(v|v.isDetected =  false)
+
+ context Error inv e8: Error.allInstances()->select(e|e.oclIsTypeOf(TemperatureRangeLimitError))->forAll(e|e.isDetected = true)
+
+ context Error inv e9: Error.allInstances()->select(e|e.oclIsTypeOf(NVMAccessError))->forAll(e|e.isDetected = true)
+
+ context Error inv e10: Error.allInstances()->select(e|e.oclIsTypeOf(VoltageHighError))->forAll(e|e.isDetected = true)
+
+ context Error inv e11: Error.allInstances()->select(e|e.oclIsTypeOf(DiscardError))->forAll(e|e.isDetected = true)
+
+ context Error inv e12: Error.allInstances()->select(e|e.oclIsTypeOf(MeasurementRangeError))->forAll(e|e.isDetected = true)
+
+ context Error inv e13: Error.allInstances()->select(e|e.oclIsTypeOf(CableShieldIntegrityError))->forAll(e|e.isDetected = true)
+
+ context Error inv e14: Error.allInstances()->select(e|e.oclIsTypeOf(CalibrationNotLearnedError))->forAll(e|e.isDetected = true)
+
+ context Error inv e15: Error.allInstances()->select(e|e.oclIsTypeOf(BuildCheckFailedError))->forAll(e|e.isDetected = true)
+
+ context Error inv e16: Error.allInstances()->select(e|e.oclIsTypeOf(SFRError))->forAll(e|e.isDetected = true)
+
+ context Error inv e17: Error.allInstances()->select(e|e.oclIsTypeOf(MeasurementSensePathError))->forAll(e|e.isDetected = true)
+
+ context Error inv e18: Error.allInstances()->select(e|e.oclIsTypeOf(ROMError))->forAll(e|e.isDetected = true)
+
+ context Error inv e19: Error.allInstances()->select(e|e.oclIsTypeOf(BuildCheckNotRunError))->forAll(e|e.isDetected = true)
+
+ context Error inv e20: Error.allInstances()->select(e|e.oclIsTypeOf(SeatFrameConnectionError))->forAll(e|e.isDetected = true)
+
+ context Error inv e21: Error.allInstances()->select(e|e.oclIsTypeOf(TemperatureSensorError))->forAll(e|e.isDetected = true)
+
+ context Error inv e22: Error.allInstances()->select(e|e.oclIsTypeOf(TemperatureRangeError))->forAll(e|e.isDetected = true)
+
+ context Error inv e23: Error.allInstances()->select(e|e.oclIsTypeOf(NVMCRCError))->forAll(e|e.isDetected = true)
+
+ context Error inv e24: Error.allInstances()->select(e|e.oclIsTypeOf(WatchdogError))->forAll(e|e.isDetected = true)
+
+ context Error inv e25: Error.allInstances()->select(e|e.oclIsTypeOf(VoltageLowError))->forAll(e|e.isDetected = true)
+
+ context Error inv e26: Error.allInstances()->select(e|e.oclIsTypeOf(SeatHeaterCircuitIntegrityError))->forAll(e|e.isDetected = true)
+
+ context Error inv e27: Error.allInstances()->select(e|e.oclIsTypeOf(ShortSenseUbatGndError))->forAll(e|e.isDetected = true)
+
+ context Error inv e28: Error.allInstances()->select(e|e.oclIsTypeOf(InternalMeasurementPathError))->forAll(e|e.isDetected = true)
+
+ context Error inv e29: Error.allInstances()->select(e|e.oclIsTypeOf(RAMError))->forAll(e|e.isDetected = true)
+
+ context Error inv e30: Error.allInstances()->select(e|e.oclIsTypeOf(ALUError))->forAll(e|e.isDetected = true)
+
+ context Error inv e31: Error.allInstances()->select(e|e.oclIsTypeOf(CalibrationDataError))->forAll(e|e.isDetected = true)
+
+ context Error inv e32: Error.allInstances()->select(e|e.oclIsTypeOf(MeasurementRangeError))->forAll(e|e.isDetected = true)
+
+ context Error inv e33: Error.allInstances()->select(e|e.oclIsTypeOf(VoltageHighError))->forAll(e|e.isDetected = false)
+
+ context Error inv e34: Error.allInstances()->select(e|e.oclIsTypeOf(VoltageLowError))->forAll(e|e.isDetected = false)
+
+ context Error inv e35: Error.allInstances()->select(e|e.oclIsKindOf(InternalMeasurementDeviceError))->forAll(e|e.isDetected = false)
+
+ context Error inv e36: Error.allInstances()->select(e|e.oclIsKindOf(ExternalMeasurementDeviceError))->forAll(e|e.isDetected = false)
+
+ context Error inv e37: Error.allInstances()->select(e|e.oclIsKindOf(TemperatureError))->forAll(e|e.isDetected = false)
+
+ context Error inv e38: Error.allInstances()->select(e|e.oclIsTypeOf(RAMError) or e.oclIsTypeOf(SFRError) or e.oclIsTypeOf(ALUError) or e.oclIsTypeOf(ROMError))->forAll(e|e.isDetected = false)
+
+ context Error inv e39: Error.allInstances()->select(e|e.oclIsTypeOf(SeatHeaterCircuitIntegrityError))->forAll(e|e.isQualified = true)
+
+ context Error inv e40: Error.allInstances()->select(e|e.oclIsTypeOf(DiscardError))->forAll(e|e.isQualified = true)
+
+ context Error inv e41: Error.allInstances()->select(e|e.oclIsTypeOf(VoltageLowError))->forAll(e|e.isQualified = true)
+
+ context Error inv e43: Error.allInstances()->select(e|e.oclIsTypeOf(VoltageHighError))->forAll(e|e.isQualified = true)
+
+
+    
+endpackage
\ No newline at end of file
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseC_1.ocl_ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseC_1.ocl_
new file mode 100644
index 00000000..1bfe720b
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseC_1.ocl_
@@ -0,0 +1,629 @@
+import 'file:/Users/Aren Babikian/git/VIATRA-Attributes/original.PLEDGE.case.studies/model/CD_Case_C.uml'
+--e.g., import 'file:/Users/User_X/CD_Case_C.uml'
+
+package inputData 
+
+
+ context Vcdu inv invextracted108:
+let transmissionData : TransmissionData = self.cadu.channelData.transmissionData in 
+let rtStpsConfig : XsveRtStps = transmissionData.configuration.rtStpsConfig.xsveRtStps 
+in self.vcduHeader.virtualChannelId.value.intValue = rtStpsConfig.idleVcid.value.intValue 
+
+ context Vcdu inv invGenMult1:
+not self.mpduPacketZone.oclIsUndefined()
+
+ context Vcdu inv invGenMult2:
+not self.vcduHeader.oclIsUndefined()
+
+ context Vcdu inv invGenMult3:
+not self.cadu.oclIsUndefined()
+
+ context Vcdu inv invGenMult4:
+not self.mpduHeader.oclIsUndefined()
+
+
+ context MpduIdlePacketZone inv invGenMult6:
+not self.value.oclIsUndefined()
+
+ context MpduActivePacketZone inv invGenMult7:
+self.isp->size() >= 1
+
+ context MpduActivePacketZone inv invGenMult8:
+not self.value.oclIsUndefined()
+
+ context Isp inv invGenMult9:
+not self.packetDataField.oclIsUndefined()
+
+ context Isp inv invGenMult10:
+self.mpduActivePacketZone->size() >= 1
+
+ context Isp inv invGenMult11:
+not self.channelDataPerVcid.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult12:
+not self.versionNumber.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult13:
+not self.type.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult14:
+not self.shf.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult15:
+not self.apidPid.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult16:
+not self.apidPcat.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult17:
+not self.sequenceFlags.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult18:
+not self.sequenceCount.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult19:
+not self.dataLength.oclIsUndefined()
+
+ context PacketPrimaryHeader inv invGenMult20:
+not self.isp.oclIsUndefined()
+
+ context PacketDataField inv invGenMult21:
+not self.isp.oclIsUndefined()
+
+ context IdlePacketDataField inv invGenMult22:
+not self.idleDataArray.oclIsUndefined()
+
+ context ActivePacketDataField inv invGenMult23:
+not self.packetData.oclIsUndefined()
+
+ context ActivePacketDataField inv invGenMult24:
+not self.packetErrorControl.oclIsUndefined()
+
+ context PacketSecondaryHeader inv invGenMult25:
+not self.activePacketDataField.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult26:
+not self.fillerA.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult27:
+not self.version.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult28:
+not self.fillerB.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult29:
+not self.type.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult30:
+not self.subtype.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult31:
+not self.destinationId.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult32:
+not self.tfUndefinedA.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult33:
+not self.tfSeconds.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult34:
+not self.tfSubSeconds.oclIsUndefined()
+
+ context TmGpsrS1DataFieldHeader inv invGenMult35:
+not self.tfUndefinedB.oclIsUndefined()
+
+ context SarS1DataFieldHeader inv invGenMult36:
+not self.tcCoarseTime.oclIsUndefined()
+
+ context SarS1DataFieldHeader inv invGenMult37:
+not self.tcFineTime.oclIsUndefined()
+
+ context SarS1DataFieldHeader inv invGenMult38:
+not self.ancillaryData.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult39:
+not self.startTimeCoarse.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult40:
+not self.startTimeFine.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult41:
+not self.timeCorrectionValue.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult42:
+not self.syncStatusValidity.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult43:
+not self.syncStatusFlag.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult44:
+not self.systemOperationMode.oclIsUndefined()
+
+ context MsiS2DataFieldHeader inv invGenMult45:
+not self.compressionStatus.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult46:
+not self.fillerA.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult47:
+not self.version.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult48:
+not self.fillerB.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult49:
+not self.type.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult50:
+not self.subtype.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult51:
+not self.destinationId.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult52:
+not self.tfSeconds.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult53:
+not self.tfSubSeconds.oclIsUndefined()
+
+ context TmGpsrS2DataFieldHeader inv invGenMult54:
+not self.tfUndefinedA.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult55:
+not self.fillerA.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult56:
+not self.version.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult57:
+not self.fillerB.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult58:
+not self.type.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult59:
+not self.subtype.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult60:
+not self.destinationId.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult61:
+not self.tfSeconds.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult62:
+not self.tfSubSeconds.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult63:
+not self.syncA.oclIsUndefined()
+
+ context TmStrS2DataFieldHeader inv invGenMult64:
+not self.syncB.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult65:
+not self.fillerA.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult66:
+not self.version.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult67:
+not self.fillerB.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult68:
+not self.type.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult69:
+not self.subtype.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult70:
+not self.destinationId.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult71:
+not self.tfSeconds.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult72:
+not self.tfSubSeconds.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult73:
+not self.syncA.oclIsUndefined()
+
+ context TmCswS2DataFieldHeader inv invGenMult74:
+not self.syncB.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult75:
+not self.fillerA.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult76:
+not self.version.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult77:
+not self.fillerB.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult78:
+not self.type.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult79:
+not self.subtype.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult80:
+not self.destinationId.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult81:
+not self.tfScienceTimeMsp.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult82:
+not self.tfScienceTimeLsp.oclIsUndefined()
+
+ context OlciS3DataFieldHeader inv invGenMult83:
+not self.tfStat.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult84:
+not self.fillerA.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult85:
+not self.version.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult86:
+not self.fillerB.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult87:
+not self.type.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult88:
+not self.subtype.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult89:
+not self.destinationId.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult90:
+not self.tfTime.oclIsUndefined()
+
+ context SlstrS3DataFieldHeader inv invGenMult91:
+not self.tfStat.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult92:
+not self.fillerA.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult93:
+not self.version.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult94:
+not self.fillerB.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult95:
+not self.type.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult96:
+not self.subtype.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult97:
+not self.destinationId.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult98:
+not self.tfTime.oclIsUndefined()
+
+ context DorisS3DateFieldHeader inv invGenMult99:
+not self.spare.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult100:
+not self.fillerA.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult101:
+not self.version.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult102:
+not self.fillerB.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult103:
+not self.type.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult104:
+not self.subtype.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult105:
+not self.destinationId.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult106:
+not self.tfCoarse.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult107:
+not self.tfFine.oclIsUndefined()
+
+ context TmNavattS3DataFieldHeader inv invGenMult108:
+not self.tfStat.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult109:
+not self.fillerA.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult110:
+not self.version.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult111:
+not self.fillerB.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult112:
+not self.type.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult113:
+not self.subtype.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult114:
+not self.destinationId.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult115:
+not self.tfOverSecond.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult116:
+not self.tfSubSecond.oclIsUndefined()
+
+ context MwrS3DataFieldHeader inv invGenMult117:
+not self.tfStat.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult118:
+not self.fillerA.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult119:
+not self.version.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult120:
+not self.fillerB.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult121:
+not self.type.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult122:
+not self.subtype.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult123:
+not self.destinationId.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult124:
+not self.tfCoarse.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult125:
+not self.tfFine.oclIsUndefined()
+
+ context SralS3DataFieldHeader inv invGenMult126:
+not self.tfStat.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult127:
+not self.fillerA.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult128:
+not self.version.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult129:
+not self.fillerB.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult130:
+not self.type.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult131:
+not self.subtype.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult132:
+not self.destinationId.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult133:
+not self.tfSeconds.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult134:
+not self.tfSubSeconds.oclIsUndefined()
+
+ context TmGpsrS3DataFieldHeader inv invGenMult135:
+not self.tfBlank.oclIsUndefined()
+
+ context PacketData inv invGenMult136:
+not self.dataArray.oclIsUndefined()
+
+ context PacketData inv invGenMult137:
+not self.activePacketDataField.oclIsUndefined()
+
+ context PacketErrorControl inv invGenMult138:
+not self.actualValue.oclIsUndefined()
+
+ context PacketErrorControl inv invGenMult139:
+not self.calculatedValue.oclIsUndefined()
+
+ context PacketErrorControl inv invGenMult140:
+not self.activePacketDataField.oclIsUndefined()
+
+ context FragmentPacketDataField inv invGenMult141:
+not self.dataArray.oclIsUndefined()
+
+ context ChannelDataPerVcid inv invGenMult142:
+not self.virtualChannelId.oclIsUndefined()
+
+ context ChannelDataPerVcid inv invGenMult143:
+self.channelData->size() >= 1
+
+ context ChannelDataPerVcid inv invGenMult144:
+self.isp->size() >= 1
+
+ context ChannelData inv invGenMult145:
+not self.transmissionData.oclIsUndefined()
+
+ context ChannelData inv invGenMult146:
+not self.channelDataPerVcid.oclIsUndefined()
+
+ context Cadu inv invGenMult147:
+not self.sync.oclIsUndefined()
+
+ context Cadu inv invGenMult148:
+not self.reedSolomonCoding.oclIsUndefined()
+
+
+ context Cadu inv invGenMult150:
+not self.channelData.oclIsUndefined()
+
+ context Sync inv invGenMult151:
+not self.value.oclIsUndefined()
+
+ context Sync inv invGenMult152:
+not self.cadu.oclIsUndefined()
+
+ context ReedSolomonCoding inv invGenMult153:
+not self.rsActualCheckSymbols.oclIsUndefined()
+
+ context ReedSolomonCoding inv invGenMult154:
+not self.rsCalculatedCheckSymbols.oclIsUndefined()
+
+ context ReedSolomonCoding inv invGenMult155:
+not self.cadu.oclIsUndefined()
+
+ context ExtendedCaduInfo inv invGenMult156:
+not self.value.oclIsUndefined()
+
+ context ExtendedCaduInfo inv invGenMult157:
+not self.cadu.oclIsUndefined()
+
+ context TransmissionData inv invGenMult158:
+not self.configuration.oclIsUndefined()
+
+ context Configuration inv invGenMult159:
+not self.transmission.oclIsUndefined()
+
+ context Configuration inv invGenMult160:
+not self.maxCounterPerApidSuffixConfig.oclIsUndefined()
+
+ context Configuration inv invGenMult161:
+not self.validApidsConfig.oclIsUndefined()
+
+ context Configuration inv invGenMult162:
+not self.rtStpsConfig.oclIsUndefined()
+
+ context MaxCounterPerApidSuffixConfig inv invGenMult163:
+self.apidSuffixAndMaxCounter->size() >= 1
+
+ context MaxCounterPerApidSuffixConfig inv invGenMult164:
+not self.configuration.oclIsUndefined()
+
+ context ApidSuffixAndMaxCounter inv invGenMult165:
+not self.apidSuffix.oclIsUndefined()
+
+ context ApidSuffixAndMaxCounter inv invGenMult166:
+not self.maxCounterPerApidSuffixConfig.oclIsUndefined()
+
+ context ValidApidsConfig inv invGenMult167:
+not self.configuration.oclIsUndefined()
+
+ context ValidApidsConfig inv invGenMult168:
+self.ispInfo->size() >= 1
+
+ context IspInfo inv invGenMult169:
+not self.validApidsConfig.oclIsUndefined()
+
+ context RtStpsConfig inv invGenMult170:
+not self.configuration.oclIsUndefined()
+
+ context RtStpsConfig inv invGenMult171:
+not self.xsveRtStps.oclIsUndefined()
+
+ context XsveRtStps inv invGenMult172:
+not self.frameLength.oclIsUndefined()
+
+ context XsveRtStps inv invGenMult173:
+not self.rsCorrectSize.oclIsUndefined()
+
+ context XsveRtStps inv invGenMult174:
+not self.idleVcid.oclIsUndefined()
+
+ context XsveRtStps inv invGenMult175:
+not self.idleApid.oclIsUndefined()
+
+ context XsveRtStps inv invGenMult176:
+not self.vcdusConfig.oclIsUndefined()
+
+ context XsveRtStps inv invGenMult177:
+not self.rtStpsConfig.oclIsUndefined()
+
+ context VcdusConfig inv invGenMult178:
+not self.xsveRtStps.oclIsUndefined()
+
+ context VcdusConfig inv invGenMult179:
+self.vcduConfig->size() >= 1
+
+ context VcduConfig inv invGenMult180:
+not self.vcdusConfig.oclIsUndefined()
+
+ context VcduConfig inv invGenMult181:
+not self.vcid.oclIsUndefined()
+
+ context VcduConfig inv invGenMult182:
+not self.minPacketSize.oclIsUndefined()
+
+ context VcduConfig inv invGenMult183:
+not self.maxPacketSize.oclIsUndefined()
+
+ context VcduConfig inv invGenMult184:
+not self.ispsConfig.oclIsUndefined()
+
+ context IspsConfig inv invGenMult185:
+not self.vcduConfig.oclIsUndefined()
+
+ context IspsConfig inv invGenMult186:
+self.ispConfig->size() >= 1
+
+ context IspConfig inv invGenMult187:
+not self.ispsConfig.oclIsUndefined()
+
+ context IspConfig inv invGenMult188:
+not self.apid.oclIsUndefined()
+
+ context VcduHeader inv invGenMult189:
+not self.mcidTfVersionNumber.oclIsUndefined()
+
+ context VcduHeader inv invGenMult190:
+not self.mcidSpacecraftId.oclIsUndefined()
+
+ context VcduHeader inv invGenMult191:
+not self.virtualChannelId.oclIsUndefined()
+
+ context VcduHeader inv invGenMult192:
+not self.virtualChannelFrameCount.oclIsUndefined()
+
+ context VcduHeader inv invGenMult193:
+not self.signFieldReplayFlag.oclIsUndefined()
+
+ context VcduHeader inv invGenMult194:
+not self.signFieldRsvdSpare.oclIsUndefined()
+
+ context VcduHeader inv invGenMult195:
+not self.frameHeaderErrorControl.oclIsUndefined()
+
+ context MpduIdleHeader inv invGenMult198:
+not self.value.oclIsUndefined()
+
+ context MpduActiveHeader inv invGenMult199:
+not self.rsvdSpare.oclIsUndefined()
+
+ context MpduActiveHeader inv invGenMult200:
+not self.firstHeaderPointer.oclIsUndefined()
+
+context ByteSequence inv invGenMult201:
+self.byte->size()>=1
+
+context Vcid inv invGenMult202:
+not self.value.oclIsUndefined()
+
+context ApidPcat inv invGenMult203:
+not self.value.oclIsUndefined()
+
+context Apid inv invGenMult204:
+not self.value.oclIsUndefined()
+
+context Apid inv invGenMult205:
+not self.apidPid.oclIsUndefined()
+
+context Apid inv invGenMult206:
+not self.apidPcat.oclIsUndefined()
+
+context ApidPid inv invGenMult207:
+not self.value.oclIsUndefined()
+
+context ChannelData inv invextracted1:
+self.cadu->size() > 0
+
+
+
+
+endpackage
\ No newline at end of file