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 | 139 |
1 files changed, 53 insertions, 86 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 97148b5e..a5c375c6 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 | |||
@@ -1,86 +1,53 @@ | |||
1 | /** | 1 | /** |
2 | * Generated from platform:/resource/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | 2 | * Generated from platform:/resource/case.study.familyTree.run/src/queries/familyTreeConstraints.vql |
3 | */ | 3 | */ |
4 | package queries; | 4 | 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; | 9 | |
10 | import queries.ParentTooYoung; | 10 | /** |
11 | import queries.TwoMembersHaveNoParent; | 11 | * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. |
12 | 12 | * | |
13 | /** | 13 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare |
14 | * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. | 14 | * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql, |
15 | * | 15 | * in order to achieve better performance than one-by-one on-demand matcher initialization. |
16 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | 16 | * |
17 | * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql, | 17 | * <p> From package queries, the group contains the definition of the following patterns: <ul> |
18 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | 18 | * <li>memberIsItsOwnParent</li> |
19 | * | 19 | * </ul> |
20 | * <p> From package queries, the group contains the definition of the following patterns: <ul> | 20 | * |
21 | * <li>memberIsItsOwnParent</li> | 21 | * @see IQueryGroup |
22 | * <li>twoMembersHaveNoParent</li> | 22 | * |
23 | * <li>memberHasParent</li> | 23 | */ |
24 | * <li>parentTooYoung</li> | 24 | @SuppressWarnings("all") |
25 | * </ul> | 25 | public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup { |
26 | * | 26 | /** |
27 | * @see IQueryGroup | 27 | * Access the pattern group. |
28 | * | 28 | * |
29 | */ | 29 | * @return the singleton instance of the group |
30 | @SuppressWarnings("all") | 30 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications |
31 | public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup { | 31 | * |
32 | /** | 32 | */ |
33 | * Access the pattern group. | 33 | public static FamilyTreeConstraints instance() { |
34 | * | 34 | if (INSTANCE == null) { |
35 | * @return the singleton instance of the group | 35 | INSTANCE = new FamilyTreeConstraints(); |
36 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | 36 | } |
37 | * | 37 | return INSTANCE; |
38 | */ | 38 | } |
39 | public static FamilyTreeConstraints instance() { | 39 | |
40 | if (INSTANCE == null) { | 40 | private static FamilyTreeConstraints INSTANCE; |
41 | INSTANCE = new FamilyTreeConstraints(); | 41 | |
42 | } | 42 | private FamilyTreeConstraints() { |
43 | return INSTANCE; | 43 | querySpecifications.add(MemberIsItsOwnParent.instance()); |
44 | } | 44 | } |
45 | 45 | ||
46 | private static FamilyTreeConstraints INSTANCE; | 46 | public MemberIsItsOwnParent getMemberIsItsOwnParent() { |
47 | 47 | return MemberIsItsOwnParent.instance(); | |
48 | private FamilyTreeConstraints() { | 48 | } |
49 | querySpecifications.add(MemberIsItsOwnParent.instance()); | 49 | |
50 | querySpecifications.add(TwoMembersHaveNoParent.instance()); | 50 | public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) { |
51 | querySpecifications.add(MemberHasParent.instance()); | 51 | return MemberIsItsOwnParent.Matcher.on(engine); |
52 | querySpecifications.add(ParentTooYoung.instance()); | 52 | } |
53 | } | 53 | } |
54 | |||
55 | public MemberIsItsOwnParent getMemberIsItsOwnParent() { | ||
56 | return MemberIsItsOwnParent.instance(); | ||
57 | } | ||
58 | |||
59 | public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) { | ||
60 | return MemberIsItsOwnParent.Matcher.on(engine); | ||
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 | } | ||
86 | } | ||