diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql new file mode 100644 index 00000000..1b9b6659 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | |||
@@ -0,0 +1,24 @@ | |||
1 | package queries | ||
2 | |||
3 | import "http://www.example.org/familytree" | ||
4 | |||
5 | @Constraint(message="memberIsItsOwnParent", severity="error", key={m}) | ||
6 | pattern memberIsItsOwnParent(m: Member) = { | ||
7 | FamilyTree.members(_, m); | ||
8 | Member.parents(m, p); | ||
9 | m == p; | ||
10 | } | ||
11 | |||
12 | //@Constraint(message="parentTooYoung", severity="error", key={m, p}) | ||
13 | //pattern parentTooYoung(m: Member, p: Member) = { | ||
14 | // FamilyTree.members(_, m); | ||
15 | // Member.parents(m, p); | ||
16 | // Member.age(m, mAge); | ||
17 | // Member.age(p, pAge); | ||
18 | // check (mAge <= (pAge + 12)); | ||
19 | //} | ||
20 | |||
21 | |||
22 | |||
23 | |||
24 | |||