aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java33
1 files changed, 33 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
index a5c375c6..738b41c0 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
@@ -5,7 +5,10 @@ package queries;
5 5
6import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; 6import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
7import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; 7import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
8import queries.MemberHasParent;
8import queries.MemberIsItsOwnParent; 9import queries.MemberIsItsOwnParent;
10import queries.ParentTooYoung;
11import queries.TwoMembersHaveNoParent;
9 12
10/** 13/**
11 * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. 14 * A pattern group formed of all public patterns defined in familyTreeConstraints.vql.
@@ -16,6 +19,9 @@ import queries.MemberIsItsOwnParent;
16 * 19 *
17 * <p> From package queries, the group contains the definition of the following patterns: <ul> 20 * <p> From package queries, the group contains the definition of the following patterns: <ul>
18 * <li>memberIsItsOwnParent</li> 21 * <li>memberIsItsOwnParent</li>
22 * <li>twoMembersHaveNoParent</li>
23 * <li>memberHasParent</li>
24 * <li>parentTooYoung</li>
19 * </ul> 25 * </ul>
20 * 26 *
21 * @see IQueryGroup 27 * @see IQueryGroup
@@ -41,6 +47,9 @@ public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup {
41 47
42 private FamilyTreeConstraints() { 48 private FamilyTreeConstraints() {
43 querySpecifications.add(MemberIsItsOwnParent.instance()); 49 querySpecifications.add(MemberIsItsOwnParent.instance());
50 querySpecifications.add(TwoMembersHaveNoParent.instance());
51 querySpecifications.add(MemberHasParent.instance());
52 querySpecifications.add(ParentTooYoung.instance());
44 } 53 }
45 54
46 public MemberIsItsOwnParent getMemberIsItsOwnParent() { 55 public MemberIsItsOwnParent getMemberIsItsOwnParent() {
@@ -50,4 +59,28 @@ public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup {
50 public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) { 59 public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) {
51 return MemberIsItsOwnParent.Matcher.on(engine); 60 return MemberIsItsOwnParent.Matcher.on(engine);
52 } 61 }
62
63 public TwoMembersHaveNoParent getTwoMembersHaveNoParent() {
64 return TwoMembersHaveNoParent.instance();
65 }
66
67 public TwoMembersHaveNoParent.Matcher getTwoMembersHaveNoParent(final ViatraQueryEngine engine) {
68 return TwoMembersHaveNoParent.Matcher.on(engine);
69 }
70
71 public MemberHasParent getMemberHasParent() {
72 return MemberHasParent.instance();
73 }
74
75 public MemberHasParent.Matcher getMemberHasParent(final ViatraQueryEngine engine) {
76 return MemberHasParent.Matcher.on(engine);
77 }
78
79 public ParentTooYoung getParentTooYoung() {
80 return ParentTooYoung.instance();
81 }
82
83 public ParentTooYoung.Matcher getParentTooYoung(final ViatraQueryEngine engine) {
84 return ParentTooYoung.Matcher.on(engine);
85 }
53} 86}