diff options
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.java | 33 |
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 | ||
6 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 6 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
7 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 7 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; |
8 | import queries.MemberHasParent; | ||
8 | import queries.MemberIsItsOwnParent; | 9 | import queries.MemberIsItsOwnParent; |
10 | import queries.ParentTooYoung; | ||
11 | import 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 | } |