From 36ca60e5b6bd047a4f444d96241bd60a01bbab17 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 27 Apr 2020 10:45:28 -0400 Subject: rename Pledge Case Studies and add familyTree case study --- .../src/queries/familyTreeConstraints.vql | 24 ++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries') 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 @@ +package queries + +import "http://www.example.org/familytree" + +@Constraint(message="memberIsItsOwnParent", severity="error", key={m}) +pattern memberIsItsOwnParent(m: Member) = { + FamilyTree.members(_, m); + Member.parents(m, p); + m == p; +} + +//@Constraint(message="parentTooYoung", severity="error", key={m, p}) +//pattern parentTooYoung(m: Member, p: Member) = { +// FamilyTree.members(_, m); +// Member.parents(m, p); +// Member.age(m, mAge); +// Member.age(p, pAge); +// check (mAge <= (pAge + 12)); +//} + + + + + -- cgit v1.2.3-54-g00ecf