diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/case_study_A.vql')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/case_study_A.vql | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/case_study_A.vql b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/case_study_A.vql index d879fd7c..56528cbb 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/case_study_A.vql +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/case_study_A.vql | |||
@@ -318,19 +318,18 @@ pattern x_inv48(p : Physical_Person) { | |||
318 | 318 | ||
319 | //inv49-OclKindOf-handled by multiplicity | 319 | //inv49-OclKindOf-handled by multiplicity |
320 | @Constraint(message = "inv49", severity = "error", key = {lur}) | 320 | @Constraint(message = "inv49", severity = "error", key = {lur}) |
321 | pattern inv49(lur : Legal_Union_Record) { | 321 | pattern inv49_A(lur : Legal_Union_Record) { |
322 | neg find x_inv49_1(lur); | 322 | Legal_Union_Record.individual_A(lur, i); |
323 | Legal_Union_Record.individual_B(lur, i); | ||
323 | } | 324 | } |
324 | pattern x_inv49_1(lur : Legal_Union_Record) { | 325 | //inv49-OclKindOf-handled by multiplicity |
325 | Legal_Union_Record.individual_A(lur, iA); | 326 | @Constraint(message = "inv49", severity = "error", key = {lur}) |
326 | Legal_Union_Record.individual_B(lur, iB); | 327 | pattern inv49_B(lur : Legal_Union_Record) { |
327 | Tax_Payer(iA); | 328 | Legal_Union_Record.individual_A(lur, i); |
328 | Physical_Person(iB); | 329 | Dependent(i); |
329 | neg find x_inv49_2(iB); | 330 | } or { |
330 | iA != iB; | 331 | Legal_Union_Record.individual_B(lur, i); |
331 | } | 332 | Dependent(i); |
332 | pattern x_inv49_2(iB: Dependent) { | ||
333 | Dependent(iB); | ||
334 | } | 333 | } |
335 | 334 | ||
336 | //inv50-MultiplicityChecked | 335 | //inv50-MultiplicityChecked |