diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_short.vql')
| -rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_short.vql | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_short.vql b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_short.vql new file mode 100644 index 00000000..f11ef7b7 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_short.vql | |||
| @@ -0,0 +1,51 @@ | |||
| 1 | package queries | ||
| 2 | |||
| 3 | import "http:///TaxCard.ecore" | ||
| 4 | |||
| 5 | //inv47-attributes-handled by multiplicity | ||
| 6 | //@Constraint(message = "inv47", severity = "error", key = {lur}) | ||
| 7 | //pattern inv47(lur : Legal_Union_Record) { | ||
| 8 | // Legal_Union_Record.end_year(lur, endY); | ||
| 9 | // Legal_Union_Record.start_year(lur, startY); | ||
| 10 | // neg find x_inv47(lur); | ||
| 11 | // check(startY >= endY); | ||
| 12 | //} or { | ||
| 13 | // Legal_Union_Record.end_year(lur, endY); | ||
| 14 | // Legal_Union_Record.start_year(lur, startY); | ||
| 15 | // check(endY!= -1); | ||
| 16 | // check(startY >= endY); | ||
| 17 | //} | ||
| 18 | //pattern x_inv47(lur : Legal_Union_Record) { | ||
| 19 | // Legal_Union_Record.separation_cause(lur, ::NONE); | ||
| 20 | //} | ||
| 21 | // | ||
| 22 | ////inv17-attribute-handled by multiplicity | ||
| 23 | //@Constraint(message = "inv17", severity = "error", key = {lur}) | ||
| 24 | //pattern inv17(lur : Legal_Union_Record) { | ||
| 25 | // Legal_Union_Record.start_year(lur, sy); | ||
| 26 | // check(sy < 1950); | ||
| 27 | //} or { | ||
| 28 | // Legal_Union_Record.start_year(lur, sy); | ||
| 29 | // check(sy > 2018); | ||
| 30 | //} | ||
| 31 | |||
| 32 | ////inv48-attributes-handled by multiplicity | ||
| 33 | @Constraint(message = "inv48", severity = "error", key = {p}) | ||
| 34 | pattern inv48(p : Physical_Person) { | ||
| 35 | Physical_Person.disability_percentage(p, disPer); | ||
| 36 | check(disPer > 1.0); | ||
| 37 | } or { | ||
| 38 | Physical_Person.disability_percentage(p, disPer); | ||
| 39 | check(disPer < 0.0); | ||
| 40 | } or { | ||
| 41 | Physical_Person.disability_type(p, ::NONE); | ||
| 42 | Physical_Person.disability_percentage(p, disPer); | ||
| 43 | check(disPer != 0.0); | ||
| 44 | } or { | ||
| 45 | neg find x_inv48(p); | ||
| 46 | Physical_Person.disability_percentage(p, disPer); | ||
| 47 | check(disPer == 0.0); | ||
| 48 | } | ||
| 49 | pattern x_inv48(p : Physical_Person) { | ||
| 50 | Physical_Person.disability_type(p, ::NONE); | ||
| 51 | } \ No newline at end of file | ||