rename Pledge Case Studies and add familyTree case study

3 files changed, 24 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace
new file mode 100644
index 00000000..80158bd8
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace
new file mode 100644
index 00000000..1b0dca98
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
new file mode 100644
index 00000000..1b9b6659
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/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));

+//}

+

+

+

+

+