aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-10 22:13:21 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-10 22:13:21 +0200
commit5a6eea9bd15597eab77bbcedb4b5116020f0a67d (patch)
tree6c86f7e5bd3d86fde29d3fee4fb4f912f35057bc /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
parentAdd satellite case study (diff)
parentMerge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff)
downloadVIATRA-Generator-5a6eea9bd15597eab77bbcedb4b5116020f0a67d.tar.gz
VIATRA-Generator-5a6eea9bd15597eab77bbcedb4b5116020f0a67d.tar.zst
VIATRA-Generator-5a6eea9bd15597eab77bbcedb4b5116020f0a67d.zip
Merge branch 'master' of github.com:viatra/VIATRA-Generator
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql38
1 files changed, 19 insertions, 19 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
index a204443a..e7b44f0b 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
@@ -9,25 +9,25 @@ pattern memberIsItsOwnParent(m: Member) = {
9 m == p; 9 m == p;
10} 10}
11 11
12@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2}) 12//@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2})
13pattern twoMembersHaveNoParent(m1:Member, m2:Member) = { 13//pattern twoMembersHaveNoParent(m1:Member, m2:Member) = {
14 neg find memberHasParent(m1); 14// neg find memberHasParent(m1);
15 neg find memberHasParent(m2); 15// neg find memberHasParent(m2);
16 m1 != m2; 16// m1 != m2;
17} 17//}
18 18//
19pattern memberHasParent(m: Member) = { 19//pattern memberHasParent(m: Member) = {
20 Member.parents(m, _); 20// Member.parents(m, _);
21} 21//}
22 22//
23@Constraint(message="parentTooYoung", severity="error", key={m, p}) 23//@Constraint(message="parentTooYoung", severity="error", key={m, p})
24pattern parentTooYoung(m: Member, p: Member) = { 24//pattern parentTooYoung(m: Member, p: Member) = {
25 FamilyTree.members(_, m); 25// FamilyTree.members(_, m);
26 Member.parents(m, p); 26// Member.parents(m, p);
27 Member.age(m, mAge); 27// Member.age(m, mAge);
28 Member.age(p, pAge); 28// Member.age(p, pAge);
29 check (mAge <= (pAge + 12)); 29// check (mAge <= (pAge + 12));
30} 30//}
31 31
32 32
33 33