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 --- .../bin/queries/.FamilyTreeConstraints.java._trace | Bin 0 -> 333 bytes .../bin/queries/.MemberIsItsOwnParent.java._trace | Bin 0 -> 3544 bytes .../bin/queries/familyTreeConstraints.vql | 24 +++++++++++++++++++++ 3 files changed, 24 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace create mode 100644 Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace create mode 100644 Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries') 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 Binary files /dev/null and b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace differ 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 Binary files /dev/null and b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace differ 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)); +//} + + + + + -- cgit v1.2.3-54-g00ecf