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 | 18 |
1 files changed, 12 insertions, 6 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 index a204443a..fdbac640 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | |||
@@ -20,13 +20,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="negativeAge", severity="error",key={m}) |
24 | pattern parentTooYoung(m: Member, p: Member) = { | 24 | pattern negativeAge(m: Member) { |
25 | FamilyTree.members(_, m); | 25 | Member.age(m,mage); |
26 | Member.parents(m, p); | 26 | check(mage<0); |
27 | Member.age(m, mAge); | 27 | } |
28 | |||
29 | @Constraint(message="parentTooYoung", severity="error", key={c, p}) | ||
30 | pattern parentTooYoung(c: Member, p: Member) = { | ||
31 | FamilyTree.members(_, c); | ||
32 | Member.parents(c, p); | ||
33 | Member.age(c, cAge); | ||
28 | Member.age(p, pAge); | 34 | Member.age(p, pAge); |
29 | check (mAge <= (pAge + 12)); | 35 | check (pAge <= (cAge + 12)); |
30 | } | 36 | } |
31 | 37 | ||
32 | 38 | ||