diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | 6 |
1 files changed, 6 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 index fdbac640..f8650073 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 | |||
@@ -26,6 +26,12 @@ pattern negativeAge(m: Member) { | |||
26 | check(mage<0); | 26 | check(mage<0); |
27 | } | 27 | } |
28 | 28 | ||
29 | @Constraint(message="realisticAge", severity="error",key={m}) | ||
30 | pattern realisticAge(m: Member) { | ||
31 | Member.age(m,mage); | ||
32 | check(mage>120); | ||
33 | } | ||
34 | |||
29 | @Constraint(message="parentTooYoung", severity="error", key={c, p}) | 35 | @Constraint(message="parentTooYoung", severity="error", key={c, p}) |
30 | pattern parentTooYoung(c: Member, p: Member) = { | 36 | pattern parentTooYoung(c: Member, p: Member) = { |
31 | FamilyTree.members(_, c); | 37 | FamilyTree.members(_, c); |