aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
diff options
context:
space:
mode:
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.vql6
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})
30pattern 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})
30pattern parentTooYoung(c: Member, p: Member) = { 36pattern parentTooYoung(c: Member, p: Member) = {
31 FamilyTree.members(_, c); 37 FamilyTree.members(_, c);