diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 02:18:59 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 02:18:59 +0200 |
commit | 81c0668da160994772d2cb576dca8b7f62c08999 (patch) | |
tree | e727413ac5930a5da46ccef2ae730d3a6181ac32 | |
parent | variable indexing bugs in referred patterns in UP (diff) | |
download | VIATRA-Generator-81c0668da160994772d2cb576dca8b7f62c08999.tar.gz VIATRA-Generator-81c0668da160994772d2cb576dca8b7f62c08999.tar.zst VIATRA-Generator-81c0668da160994772d2cb576dca8b7f62c08999.zip |
reformulating (potentially inconsistent) inv49
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_A.vql | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_A.vql b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_A.vql index d879fd7c..56528cbb 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_A.vql +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/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 |