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 /Tests/MODELS2020-CaseStudies/case.study.pledge.run | |
| 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
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run')
| -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 |