diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseC_1.ocl_')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/Constraints/CaseC_1.ocl_ | 629 |
1 files changed, 629 insertions, 0 deletions
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 @@ | |||
1 | import 'file:/Users/Aren Babikian/git/VIATRA-Attributes/original.PLEDGE.case.studies/model/CD_Case_C.uml' | ||
2 | --e.g., import 'file:/Users/User_X/CD_Case_C.uml' | ||
3 | |||
4 | package inputData | ||
5 | |||
6 | |||
7 | context Vcdu inv invextracted108: | ||
8 | let transmissionData : TransmissionData = self.cadu.channelData.transmissionData in | ||
9 | let rtStpsConfig : XsveRtStps = transmissionData.configuration.rtStpsConfig.xsveRtStps | ||
10 | in self.vcduHeader.virtualChannelId.value.intValue = rtStpsConfig.idleVcid.value.intValue | ||
11 | |||
12 | context Vcdu inv invGenMult1: | ||
13 | not self.mpduPacketZone.oclIsUndefined() | ||
14 | |||
15 | context Vcdu inv invGenMult2: | ||
16 | not self.vcduHeader.oclIsUndefined() | ||
17 | |||
18 | context Vcdu inv invGenMult3: | ||
19 | not self.cadu.oclIsUndefined() | ||
20 | |||
21 | context Vcdu inv invGenMult4: | ||
22 | not self.mpduHeader.oclIsUndefined() | ||
23 | |||
24 | |||
25 | context MpduIdlePacketZone inv invGenMult6: | ||
26 | not self.value.oclIsUndefined() | ||
27 | |||
28 | context MpduActivePacketZone inv invGenMult7: | ||
29 | self.isp->size() >= 1 | ||
30 | |||
31 | context MpduActivePacketZone inv invGenMult8: | ||
32 | not self.value.oclIsUndefined() | ||
33 | |||
34 | context Isp inv invGenMult9: | ||
35 | not self.packetDataField.oclIsUndefined() | ||
36 | |||
37 | context Isp inv invGenMult10: | ||
38 | self.mpduActivePacketZone->size() >= 1 | ||
39 | |||
40 | context Isp inv invGenMult11: | ||
41 | not self.channelDataPerVcid.oclIsUndefined() | ||
42 | |||
43 | context PacketPrimaryHeader inv invGenMult12: | ||
44 | not self.versionNumber.oclIsUndefined() | ||
45 | |||
46 | context PacketPrimaryHeader inv invGenMult13: | ||
47 | not self.type.oclIsUndefined() | ||
48 | |||
49 | context PacketPrimaryHeader inv invGenMult14: | ||
50 | not self.shf.oclIsUndefined() | ||
51 | |||
52 | context PacketPrimaryHeader inv invGenMult15: | ||
53 | not self.apidPid.oclIsUndefined() | ||
54 | |||
55 | context PacketPrimaryHeader inv invGenMult16: | ||
56 | not self.apidPcat.oclIsUndefined() | ||
57 | |||
58 | context PacketPrimaryHeader inv invGenMult17: | ||
59 | not self.sequenceFlags.oclIsUndefined() | ||
60 | |||
61 | context PacketPrimaryHeader inv invGenMult18: | ||
62 | not self.sequenceCount.oclIsUndefined() | ||
63 | |||
64 | context PacketPrimaryHeader inv invGenMult19: | ||
65 | not self.dataLength.oclIsUndefined() | ||
66 | |||
67 | context PacketPrimaryHeader inv invGenMult20: | ||
68 | not self.isp.oclIsUndefined() | ||
69 | |||
70 | context PacketDataField inv invGenMult21: | ||
71 | not self.isp.oclIsUndefined() | ||
72 | |||
73 | context IdlePacketDataField inv invGenMult22: | ||
74 | not self.idleDataArray.oclIsUndefined() | ||
75 | |||
76 | context ActivePacketDataField inv invGenMult23: | ||
77 | not self.packetData.oclIsUndefined() | ||
78 | |||
79 | context ActivePacketDataField inv invGenMult24: | ||
80 | not self.packetErrorControl.oclIsUndefined() | ||
81 | |||
82 | context PacketSecondaryHeader inv invGenMult25: | ||
83 | not self.activePacketDataField.oclIsUndefined() | ||
84 | |||
85 | context TmGpsrS1DataFieldHeader inv invGenMult26: | ||
86 | not self.fillerA.oclIsUndefined() | ||
87 | |||
88 | context TmGpsrS1DataFieldHeader inv invGenMult27: | ||
89 | not self.version.oclIsUndefined() | ||
90 | |||
91 | context TmGpsrS1DataFieldHeader inv invGenMult28: | ||
92 | not self.fillerB.oclIsUndefined() | ||
93 | |||
94 | context TmGpsrS1DataFieldHeader inv invGenMult29: | ||
95 | not self.type.oclIsUndefined() | ||
96 | |||
97 | context TmGpsrS1DataFieldHeader inv invGenMult30: | ||
98 | not self.subtype.oclIsUndefined() | ||
99 | |||
100 | context TmGpsrS1DataFieldHeader inv invGenMult31: | ||
101 | not self.destinationId.oclIsUndefined() | ||
102 | |||
103 | context TmGpsrS1DataFieldHeader inv invGenMult32: | ||
104 | not self.tfUndefinedA.oclIsUndefined() | ||
105 | |||
106 | context TmGpsrS1DataFieldHeader inv invGenMult33: | ||
107 | not self.tfSeconds.oclIsUndefined() | ||
108 | |||
109 | context TmGpsrS1DataFieldHeader inv invGenMult34: | ||
110 | not self.tfSubSeconds.oclIsUndefined() | ||
111 | |||
112 | context TmGpsrS1DataFieldHeader inv invGenMult35: | ||
113 | not self.tfUndefinedB.oclIsUndefined() | ||
114 | |||
115 | context SarS1DataFieldHeader inv invGenMult36: | ||
116 | not self.tcCoarseTime.oclIsUndefined() | ||
117 | |||
118 | context SarS1DataFieldHeader inv invGenMult37: | ||
119 | not self.tcFineTime.oclIsUndefined() | ||
120 | |||
121 | context SarS1DataFieldHeader inv invGenMult38: | ||
122 | not self.ancillaryData.oclIsUndefined() | ||
123 | |||
124 | context MsiS2DataFieldHeader inv invGenMult39: | ||
125 | not self.startTimeCoarse.oclIsUndefined() | ||
126 | |||
127 | context MsiS2DataFieldHeader inv invGenMult40: | ||
128 | not self.startTimeFine.oclIsUndefined() | ||
129 | |||
130 | context MsiS2DataFieldHeader inv invGenMult41: | ||
131 | not self.timeCorrectionValue.oclIsUndefined() | ||
132 | |||
133 | context MsiS2DataFieldHeader inv invGenMult42: | ||
134 | not self.syncStatusValidity.oclIsUndefined() | ||
135 | |||
136 | context MsiS2DataFieldHeader inv invGenMult43: | ||
137 | not self.syncStatusFlag.oclIsUndefined() | ||
138 | |||
139 | context MsiS2DataFieldHeader inv invGenMult44: | ||
140 | not self.systemOperationMode.oclIsUndefined() | ||
141 | |||
142 | context MsiS2DataFieldHeader inv invGenMult45: | ||
143 | not self.compressionStatus.oclIsUndefined() | ||
144 | |||
145 | context TmGpsrS2DataFieldHeader inv invGenMult46: | ||
146 | not self.fillerA.oclIsUndefined() | ||
147 | |||
148 | context TmGpsrS2DataFieldHeader inv invGenMult47: | ||
149 | not self.version.oclIsUndefined() | ||
150 | |||
151 | context TmGpsrS2DataFieldHeader inv invGenMult48: | ||
152 | not self.fillerB.oclIsUndefined() | ||
153 | |||
154 | context TmGpsrS2DataFieldHeader inv invGenMult49: | ||
155 | not self.type.oclIsUndefined() | ||
156 | |||
157 | context TmGpsrS2DataFieldHeader inv invGenMult50: | ||
158 | not self.subtype.oclIsUndefined() | ||
159 | |||
160 | context TmGpsrS2DataFieldHeader inv invGenMult51: | ||
161 | not self.destinationId.oclIsUndefined() | ||
162 | |||
163 | context TmGpsrS2DataFieldHeader inv invGenMult52: | ||
164 | not self.tfSeconds.oclIsUndefined() | ||
165 | |||
166 | context TmGpsrS2DataFieldHeader inv invGenMult53: | ||
167 | not self.tfSubSeconds.oclIsUndefined() | ||
168 | |||
169 | context TmGpsrS2DataFieldHeader inv invGenMult54: | ||
170 | not self.tfUndefinedA.oclIsUndefined() | ||
171 | |||
172 | context TmStrS2DataFieldHeader inv invGenMult55: | ||
173 | not self.fillerA.oclIsUndefined() | ||
174 | |||
175 | context TmStrS2DataFieldHeader inv invGenMult56: | ||
176 | not self.version.oclIsUndefined() | ||
177 | |||
178 | context TmStrS2DataFieldHeader inv invGenMult57: | ||
179 | not self.fillerB.oclIsUndefined() | ||
180 | |||
181 | context TmStrS2DataFieldHeader inv invGenMult58: | ||
182 | not self.type.oclIsUndefined() | ||
183 | |||
184 | context TmStrS2DataFieldHeader inv invGenMult59: | ||
185 | not self.subtype.oclIsUndefined() | ||
186 | |||
187 | context TmStrS2DataFieldHeader inv invGenMult60: | ||
188 | not self.destinationId.oclIsUndefined() | ||
189 | |||
190 | context TmStrS2DataFieldHeader inv invGenMult61: | ||
191 | not self.tfSeconds.oclIsUndefined() | ||
192 | |||
193 | context TmStrS2DataFieldHeader inv invGenMult62: | ||
194 | not self.tfSubSeconds.oclIsUndefined() | ||
195 | |||
196 | context TmStrS2DataFieldHeader inv invGenMult63: | ||
197 | not self.syncA.oclIsUndefined() | ||
198 | |||
199 | context TmStrS2DataFieldHeader inv invGenMult64: | ||
200 | not self.syncB.oclIsUndefined() | ||
201 | |||
202 | context TmCswS2DataFieldHeader inv invGenMult65: | ||
203 | not self.fillerA.oclIsUndefined() | ||
204 | |||
205 | context TmCswS2DataFieldHeader inv invGenMult66: | ||
206 | not self.version.oclIsUndefined() | ||
207 | |||
208 | context TmCswS2DataFieldHeader inv invGenMult67: | ||
209 | not self.fillerB.oclIsUndefined() | ||
210 | |||
211 | context TmCswS2DataFieldHeader inv invGenMult68: | ||
212 | not self.type.oclIsUndefined() | ||
213 | |||
214 | context TmCswS2DataFieldHeader inv invGenMult69: | ||
215 | not self.subtype.oclIsUndefined() | ||
216 | |||
217 | context TmCswS2DataFieldHeader inv invGenMult70: | ||
218 | not self.destinationId.oclIsUndefined() | ||
219 | |||
220 | context TmCswS2DataFieldHeader inv invGenMult71: | ||
221 | not self.tfSeconds.oclIsUndefined() | ||
222 | |||
223 | context TmCswS2DataFieldHeader inv invGenMult72: | ||
224 | not self.tfSubSeconds.oclIsUndefined() | ||
225 | |||
226 | context TmCswS2DataFieldHeader inv invGenMult73: | ||
227 | not self.syncA.oclIsUndefined() | ||
228 | |||
229 | context TmCswS2DataFieldHeader inv invGenMult74: | ||
230 | not self.syncB.oclIsUndefined() | ||
231 | |||
232 | context OlciS3DataFieldHeader inv invGenMult75: | ||
233 | not self.fillerA.oclIsUndefined() | ||
234 | |||
235 | context OlciS3DataFieldHeader inv invGenMult76: | ||
236 | not self.version.oclIsUndefined() | ||
237 | |||
238 | context OlciS3DataFieldHeader inv invGenMult77: | ||
239 | not self.fillerB.oclIsUndefined() | ||
240 | |||
241 | context OlciS3DataFieldHeader inv invGenMult78: | ||
242 | not self.type.oclIsUndefined() | ||
243 | |||
244 | context OlciS3DataFieldHeader inv invGenMult79: | ||
245 | not self.subtype.oclIsUndefined() | ||
246 | |||
247 | context OlciS3DataFieldHeader inv invGenMult80: | ||
248 | not self.destinationId.oclIsUndefined() | ||
249 | |||
250 | context OlciS3DataFieldHeader inv invGenMult81: | ||
251 | not self.tfScienceTimeMsp.oclIsUndefined() | ||
252 | |||
253 | context OlciS3DataFieldHeader inv invGenMult82: | ||
254 | not self.tfScienceTimeLsp.oclIsUndefined() | ||
255 | |||
256 | context OlciS3DataFieldHeader inv invGenMult83: | ||
257 | not self.tfStat.oclIsUndefined() | ||
258 | |||
259 | context SlstrS3DataFieldHeader inv invGenMult84: | ||
260 | not self.fillerA.oclIsUndefined() | ||
261 | |||
262 | context SlstrS3DataFieldHeader inv invGenMult85: | ||
263 | not self.version.oclIsUndefined() | ||
264 | |||
265 | context SlstrS3DataFieldHeader inv invGenMult86: | ||
266 | not self.fillerB.oclIsUndefined() | ||
267 | |||
268 | context SlstrS3DataFieldHeader inv invGenMult87: | ||
269 | not self.type.oclIsUndefined() | ||
270 | |||
271 | context SlstrS3DataFieldHeader inv invGenMult88: | ||
272 | not self.subtype.oclIsUndefined() | ||
273 | |||
274 | context SlstrS3DataFieldHeader inv invGenMult89: | ||
275 | not self.destinationId.oclIsUndefined() | ||
276 | |||
277 | context SlstrS3DataFieldHeader inv invGenMult90: | ||
278 | not self.tfTime.oclIsUndefined() | ||
279 | |||
280 | context SlstrS3DataFieldHeader inv invGenMult91: | ||
281 | not self.tfStat.oclIsUndefined() | ||
282 | |||
283 | context DorisS3DateFieldHeader inv invGenMult92: | ||
284 | not self.fillerA.oclIsUndefined() | ||
285 | |||
286 | context DorisS3DateFieldHeader inv invGenMult93: | ||
287 | not self.version.oclIsUndefined() | ||
288 | |||
289 | context DorisS3DateFieldHeader inv invGenMult94: | ||
290 | not self.fillerB.oclIsUndefined() | ||
291 | |||
292 | context DorisS3DateFieldHeader inv invGenMult95: | ||
293 | not self.type.oclIsUndefined() | ||
294 | |||
295 | context DorisS3DateFieldHeader inv invGenMult96: | ||
296 | not self.subtype.oclIsUndefined() | ||
297 | |||
298 | context DorisS3DateFieldHeader inv invGenMult97: | ||
299 | not self.destinationId.oclIsUndefined() | ||
300 | |||
301 | context DorisS3DateFieldHeader inv invGenMult98: | ||
302 | not self.tfTime.oclIsUndefined() | ||
303 | |||
304 | context DorisS3DateFieldHeader inv invGenMult99: | ||
305 | not self.spare.oclIsUndefined() | ||
306 | |||
307 | context TmNavattS3DataFieldHeader inv invGenMult100: | ||
308 | not self.fillerA.oclIsUndefined() | ||
309 | |||
310 | context TmNavattS3DataFieldHeader inv invGenMult101: | ||
311 | not self.version.oclIsUndefined() | ||
312 | |||
313 | context TmNavattS3DataFieldHeader inv invGenMult102: | ||
314 | not self.fillerB.oclIsUndefined() | ||
315 | |||
316 | context TmNavattS3DataFieldHeader inv invGenMult103: | ||
317 | not self.type.oclIsUndefined() | ||
318 | |||
319 | context TmNavattS3DataFieldHeader inv invGenMult104: | ||
320 | not self.subtype.oclIsUndefined() | ||
321 | |||
322 | context TmNavattS3DataFieldHeader inv invGenMult105: | ||
323 | not self.destinationId.oclIsUndefined() | ||
324 | |||
325 | context TmNavattS3DataFieldHeader inv invGenMult106: | ||
326 | not self.tfCoarse.oclIsUndefined() | ||
327 | |||
328 | context TmNavattS3DataFieldHeader inv invGenMult107: | ||
329 | not self.tfFine.oclIsUndefined() | ||
330 | |||
331 | context TmNavattS3DataFieldHeader inv invGenMult108: | ||
332 | not self.tfStat.oclIsUndefined() | ||
333 | |||
334 | context MwrS3DataFieldHeader inv invGenMult109: | ||
335 | not self.fillerA.oclIsUndefined() | ||
336 | |||
337 | context MwrS3DataFieldHeader inv invGenMult110: | ||
338 | not self.version.oclIsUndefined() | ||
339 | |||
340 | context MwrS3DataFieldHeader inv invGenMult111: | ||
341 | not self.fillerB.oclIsUndefined() | ||
342 | |||
343 | context MwrS3DataFieldHeader inv invGenMult112: | ||
344 | not self.type.oclIsUndefined() | ||
345 | |||
346 | context MwrS3DataFieldHeader inv invGenMult113: | ||
347 | not self.subtype.oclIsUndefined() | ||
348 | |||
349 | context MwrS3DataFieldHeader inv invGenMult114: | ||
350 | not self.destinationId.oclIsUndefined() | ||
351 | |||
352 | context MwrS3DataFieldHeader inv invGenMult115: | ||
353 | not self.tfOverSecond.oclIsUndefined() | ||
354 | |||
355 | context MwrS3DataFieldHeader inv invGenMult116: | ||
356 | not self.tfSubSecond.oclIsUndefined() | ||
357 | |||
358 | context MwrS3DataFieldHeader inv invGenMult117: | ||
359 | not self.tfStat.oclIsUndefined() | ||
360 | |||
361 | context SralS3DataFieldHeader inv invGenMult118: | ||
362 | not self.fillerA.oclIsUndefined() | ||
363 | |||
364 | context SralS3DataFieldHeader inv invGenMult119: | ||
365 | not self.version.oclIsUndefined() | ||
366 | |||
367 | context SralS3DataFieldHeader inv invGenMult120: | ||
368 | not self.fillerB.oclIsUndefined() | ||
369 | |||
370 | context SralS3DataFieldHeader inv invGenMult121: | ||
371 | not self.type.oclIsUndefined() | ||
372 | |||
373 | context SralS3DataFieldHeader inv invGenMult122: | ||
374 | not self.subtype.oclIsUndefined() | ||
375 | |||
376 | context SralS3DataFieldHeader inv invGenMult123: | ||
377 | not self.destinationId.oclIsUndefined() | ||
378 | |||
379 | context SralS3DataFieldHeader inv invGenMult124: | ||
380 | not self.tfCoarse.oclIsUndefined() | ||
381 | |||
382 | context SralS3DataFieldHeader inv invGenMult125: | ||
383 | not self.tfFine.oclIsUndefined() | ||
384 | |||
385 | context SralS3DataFieldHeader inv invGenMult126: | ||
386 | not self.tfStat.oclIsUndefined() | ||
387 | |||
388 | context TmGpsrS3DataFieldHeader inv invGenMult127: | ||
389 | not self.fillerA.oclIsUndefined() | ||
390 | |||
391 | context TmGpsrS3DataFieldHeader inv invGenMult128: | ||
392 | not self.version.oclIsUndefined() | ||
393 | |||
394 | context TmGpsrS3DataFieldHeader inv invGenMult129: | ||
395 | not self.fillerB.oclIsUndefined() | ||
396 | |||
397 | context TmGpsrS3DataFieldHeader inv invGenMult130: | ||
398 | not self.type.oclIsUndefined() | ||
399 | |||
400 | context TmGpsrS3DataFieldHeader inv invGenMult131: | ||
401 | not self.subtype.oclIsUndefined() | ||
402 | |||
403 | context TmGpsrS3DataFieldHeader inv invGenMult132: | ||
404 | not self.destinationId.oclIsUndefined() | ||
405 | |||
406 | context TmGpsrS3DataFieldHeader inv invGenMult133: | ||
407 | not self.tfSeconds.oclIsUndefined() | ||
408 | |||
409 | context TmGpsrS3DataFieldHeader inv invGenMult134: | ||
410 | not self.tfSubSeconds.oclIsUndefined() | ||
411 | |||
412 | context TmGpsrS3DataFieldHeader inv invGenMult135: | ||
413 | not self.tfBlank.oclIsUndefined() | ||
414 | |||
415 | context PacketData inv invGenMult136: | ||
416 | not self.dataArray.oclIsUndefined() | ||
417 | |||
418 | context PacketData inv invGenMult137: | ||
419 | not self.activePacketDataField.oclIsUndefined() | ||
420 | |||
421 | context PacketErrorControl inv invGenMult138: | ||
422 | not self.actualValue.oclIsUndefined() | ||
423 | |||
424 | context PacketErrorControl inv invGenMult139: | ||
425 | not self.calculatedValue.oclIsUndefined() | ||
426 | |||
427 | context PacketErrorControl inv invGenMult140: | ||
428 | not self.activePacketDataField.oclIsUndefined() | ||
429 | |||
430 | context FragmentPacketDataField inv invGenMult141: | ||
431 | not self.dataArray.oclIsUndefined() | ||
432 | |||
433 | context ChannelDataPerVcid inv invGenMult142: | ||
434 | not self.virtualChannelId.oclIsUndefined() | ||
435 | |||
436 | context ChannelDataPerVcid inv invGenMult143: | ||
437 | self.channelData->size() >= 1 | ||
438 | |||
439 | context ChannelDataPerVcid inv invGenMult144: | ||
440 | self.isp->size() >= 1 | ||
441 | |||
442 | context ChannelData inv invGenMult145: | ||
443 | not self.transmissionData.oclIsUndefined() | ||
444 | |||
445 | context ChannelData inv invGenMult146: | ||
446 | not self.channelDataPerVcid.oclIsUndefined() | ||
447 | |||
448 | context Cadu inv invGenMult147: | ||
449 | not self.sync.oclIsUndefined() | ||
450 | |||
451 | context Cadu inv invGenMult148: | ||
452 | not self.reedSolomonCoding.oclIsUndefined() | ||
453 | |||
454 | |||
455 | context Cadu inv invGenMult150: | ||
456 | not self.channelData.oclIsUndefined() | ||
457 | |||
458 | context Sync inv invGenMult151: | ||
459 | not self.value.oclIsUndefined() | ||
460 | |||
461 | context Sync inv invGenMult152: | ||
462 | not self.cadu.oclIsUndefined() | ||
463 | |||
464 | context ReedSolomonCoding inv invGenMult153: | ||
465 | not self.rsActualCheckSymbols.oclIsUndefined() | ||
466 | |||
467 | context ReedSolomonCoding inv invGenMult154: | ||
468 | not self.rsCalculatedCheckSymbols.oclIsUndefined() | ||
469 | |||
470 | context ReedSolomonCoding inv invGenMult155: | ||
471 | not self.cadu.oclIsUndefined() | ||
472 | |||
473 | context ExtendedCaduInfo inv invGenMult156: | ||
474 | not self.value.oclIsUndefined() | ||
475 | |||
476 | context ExtendedCaduInfo inv invGenMult157: | ||
477 | not self.cadu.oclIsUndefined() | ||
478 | |||
479 | context TransmissionData inv invGenMult158: | ||
480 | not self.configuration.oclIsUndefined() | ||
481 | |||
482 | context Configuration inv invGenMult159: | ||
483 | not self.transmission.oclIsUndefined() | ||
484 | |||
485 | context Configuration inv invGenMult160: | ||
486 | not self.maxCounterPerApidSuffixConfig.oclIsUndefined() | ||
487 | |||
488 | context Configuration inv invGenMult161: | ||
489 | not self.validApidsConfig.oclIsUndefined() | ||
490 | |||
491 | context Configuration inv invGenMult162: | ||
492 | not self.rtStpsConfig.oclIsUndefined() | ||
493 | |||
494 | context MaxCounterPerApidSuffixConfig inv invGenMult163: | ||
495 | self.apidSuffixAndMaxCounter->size() >= 1 | ||
496 | |||
497 | context MaxCounterPerApidSuffixConfig inv invGenMult164: | ||
498 | not self.configuration.oclIsUndefined() | ||
499 | |||
500 | context ApidSuffixAndMaxCounter inv invGenMult165: | ||
501 | not self.apidSuffix.oclIsUndefined() | ||
502 | |||
503 | context ApidSuffixAndMaxCounter inv invGenMult166: | ||
504 | not self.maxCounterPerApidSuffixConfig.oclIsUndefined() | ||
505 | |||
506 | context ValidApidsConfig inv invGenMult167: | ||
507 | not self.configuration.oclIsUndefined() | ||
508 | |||
509 | context ValidApidsConfig inv invGenMult168: | ||
510 | self.ispInfo->size() >= 1 | ||
511 | |||
512 | context IspInfo inv invGenMult169: | ||
513 | not self.validApidsConfig.oclIsUndefined() | ||
514 | |||
515 | context RtStpsConfig inv invGenMult170: | ||
516 | not self.configuration.oclIsUndefined() | ||
517 | |||
518 | context RtStpsConfig inv invGenMult171: | ||
519 | not self.xsveRtStps.oclIsUndefined() | ||
520 | |||
521 | context XsveRtStps inv invGenMult172: | ||
522 | not self.frameLength.oclIsUndefined() | ||
523 | |||
524 | context XsveRtStps inv invGenMult173: | ||
525 | not self.rsCorrectSize.oclIsUndefined() | ||
526 | |||
527 | context XsveRtStps inv invGenMult174: | ||
528 | not self.idleVcid.oclIsUndefined() | ||
529 | |||
530 | context XsveRtStps inv invGenMult175: | ||
531 | not self.idleApid.oclIsUndefined() | ||
532 | |||
533 | context XsveRtStps inv invGenMult176: | ||
534 | not self.vcdusConfig.oclIsUndefined() | ||
535 | |||
536 | context XsveRtStps inv invGenMult177: | ||
537 | not self.rtStpsConfig.oclIsUndefined() | ||
538 | |||
539 | context VcdusConfig inv invGenMult178: | ||
540 | not self.xsveRtStps.oclIsUndefined() | ||
541 | |||
542 | context VcdusConfig inv invGenMult179: | ||
543 | self.vcduConfig->size() >= 1 | ||
544 | |||
545 | context VcduConfig inv invGenMult180: | ||
546 | not self.vcdusConfig.oclIsUndefined() | ||
547 | |||
548 | context VcduConfig inv invGenMult181: | ||
549 | not self.vcid.oclIsUndefined() | ||
550 | |||
551 | context VcduConfig inv invGenMult182: | ||
552 | not self.minPacketSize.oclIsUndefined() | ||
553 | |||
554 | context VcduConfig inv invGenMult183: | ||
555 | not self.maxPacketSize.oclIsUndefined() | ||
556 | |||
557 | context VcduConfig inv invGenMult184: | ||
558 | not self.ispsConfig.oclIsUndefined() | ||
559 | |||
560 | context IspsConfig inv invGenMult185: | ||
561 | not self.vcduConfig.oclIsUndefined() | ||
562 | |||
563 | context IspsConfig inv invGenMult186: | ||
564 | self.ispConfig->size() >= 1 | ||
565 | |||
566 | context IspConfig inv invGenMult187: | ||
567 | not self.ispsConfig.oclIsUndefined() | ||
568 | |||
569 | context IspConfig inv invGenMult188: | ||
570 | not self.apid.oclIsUndefined() | ||
571 | |||
572 | context VcduHeader inv invGenMult189: | ||
573 | not self.mcidTfVersionNumber.oclIsUndefined() | ||
574 | |||
575 | context VcduHeader inv invGenMult190: | ||
576 | not self.mcidSpacecraftId.oclIsUndefined() | ||
577 | |||
578 | context VcduHeader inv invGenMult191: | ||
579 | not self.virtualChannelId.oclIsUndefined() | ||
580 | |||
581 | context VcduHeader inv invGenMult192: | ||
582 | not self.virtualChannelFrameCount.oclIsUndefined() | ||
583 | |||
584 | context VcduHeader inv invGenMult193: | ||
585 | not self.signFieldReplayFlag.oclIsUndefined() | ||
586 | |||
587 | context VcduHeader inv invGenMult194: | ||
588 | not self.signFieldRsvdSpare.oclIsUndefined() | ||
589 | |||
590 | context VcduHeader inv invGenMult195: | ||
591 | not self.frameHeaderErrorControl.oclIsUndefined() | ||
592 | |||
593 | context MpduIdleHeader inv invGenMult198: | ||
594 | not self.value.oclIsUndefined() | ||
595 | |||
596 | context MpduActiveHeader inv invGenMult199: | ||
597 | not self.rsvdSpare.oclIsUndefined() | ||
598 | |||
599 | context MpduActiveHeader inv invGenMult200: | ||
600 | not self.firstHeaderPointer.oclIsUndefined() | ||
601 | |||
602 | context ByteSequence inv invGenMult201: | ||
603 | self.byte->size()>=1 | ||
604 | |||
605 | context Vcid inv invGenMult202: | ||
606 | not self.value.oclIsUndefined() | ||
607 | |||
608 | context ApidPcat inv invGenMult203: | ||
609 | not self.value.oclIsUndefined() | ||
610 | |||
611 | context Apid inv invGenMult204: | ||
612 | not self.value.oclIsUndefined() | ||
613 | |||
614 | context Apid inv invGenMult205: | ||
615 | not self.apidPid.oclIsUndefined() | ||
616 | |||
617 | context Apid inv invGenMult206: | ||
618 | not self.apidPcat.oclIsUndefined() | ||
619 | |||
620 | context ApidPid inv invGenMult207: | ||
621 | not self.value.oclIsUndefined() | ||
622 | |||
623 | context ChannelData inv invextracted1: | ||
624 | self.cadu->size() > 0 | ||
625 | |||
626 | |||
627 | |||
628 | |||
629 | endpackage \ No newline at end of file | ||