diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-11 04:19:04 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-11 04:19:04 +0200 |
commit | 194220061c9e84fe8dd7328374b18b647bf4d886 (patch) | |
tree | fffd4b51fa535af7e2179715350313953bbb5718 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/case_study_short.vql | |
parent | Instead of Bigdecimals doubleValue are used in check (diff) | |
parent | Fix PLEDGE Case Study File (diff) | |
download | VIATRA-Generator-194220061c9e84fe8dd7328374b18b647bf4d886.tar.gz VIATRA-Generator-194220061c9e84fe8dd7328374b18b647bf4d886.tar.zst VIATRA-Generator-194220061c9e84fe8dd7328374b18b647bf4d886.zip |
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
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 | ||