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 | 150 |
1 files changed, 97 insertions, 53 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..1d991140 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,53 +1,97 @@ | |||
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.MemberIsItsOwnParent; | 8 | import queries.MemberHasParent; |
9 | 9 | import queries.MemberIsItsOwnParent; | |
10 | /** | 10 | import queries.NegativeAge; |
11 | * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. | 11 | import queries.ParentTooYoung; |
12 | * | 12 | import queries.TwoMembersHaveNoParent; |
13 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | 13 | |
14 | * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql, | 14 | /** |
15 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | 15 | * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. |
16 | * | 16 | * |
17 | * <p> From package queries, the group contains the definition of the following patterns: <ul> | 17 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare |
18 | * <li>memberIsItsOwnParent</li> | 18 | * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql, |
19 | * </ul> | 19 | * in order to achieve better performance than one-by-one on-demand matcher initialization. |
20 | * | 20 | * |
21 | * @see IQueryGroup | 21 | * <p> From package queries, the group contains the definition of the following patterns: <ul> |
22 | * | 22 | * <li>memberIsItsOwnParent</li> |
23 | */ | 23 | * <li>twoMembersHaveNoParent</li> |
24 | @SuppressWarnings("all") | 24 | * <li>memberHasParent</li> |
25 | public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup { | 25 | * <li>negativeAge</li> |
26 | /** | 26 | * <li>parentTooYoung</li> |
27 | * Access the pattern group. | 27 | * </ul> |
28 | * | 28 | * |
29 | * @return the singleton instance of the group | 29 | * @see IQueryGroup |
30 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | 30 | * |
31 | * | 31 | */ |
32 | */ | 32 | @SuppressWarnings("all") |
33 | public static FamilyTreeConstraints instance() { | 33 | public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup { |
34 | if (INSTANCE == null) { | 34 | /** |
35 | INSTANCE = new FamilyTreeConstraints(); | 35 | * Access the pattern group. |
36 | } | 36 | * |
37 | return INSTANCE; | 37 | * @return the singleton instance of the group |
38 | } | 38 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications |
39 | 39 | * | |
40 | private static FamilyTreeConstraints INSTANCE; | 40 | */ |
41 | 41 | public static FamilyTreeConstraints instance() { | |
42 | private FamilyTreeConstraints() { | 42 | if (INSTANCE == null) { |
43 | querySpecifications.add(MemberIsItsOwnParent.instance()); | 43 | INSTANCE = new FamilyTreeConstraints(); |
44 | } | 44 | } |
45 | 45 | return INSTANCE; | |
46 | public MemberIsItsOwnParent getMemberIsItsOwnParent() { | 46 | } |
47 | return MemberIsItsOwnParent.instance(); | 47 | |
48 | } | 48 | private static FamilyTreeConstraints INSTANCE; |
49 | 49 | ||
50 | public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) { | 50 | private FamilyTreeConstraints() { |
51 | return MemberIsItsOwnParent.Matcher.on(engine); | 51 | querySpecifications.add(MemberIsItsOwnParent.instance()); |
52 | } | 52 | querySpecifications.add(TwoMembersHaveNoParent.instance()); |
53 | } | 53 | querySpecifications.add(MemberHasParent.instance()); |
54 | querySpecifications.add(NegativeAge.instance()); | ||
55 | querySpecifications.add(ParentTooYoung.instance()); | ||
56 | } | ||
57 | |||
58 | public MemberIsItsOwnParent getMemberIsItsOwnParent() { | ||
59 | return MemberIsItsOwnParent.instance(); | ||
60 | } | ||
61 | |||
62 | public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) { | ||
63 | return MemberIsItsOwnParent.Matcher.on(engine); | ||
64 | } | ||
65 | |||
66 | public TwoMembersHaveNoParent getTwoMembersHaveNoParent() { | ||
67 | return TwoMembersHaveNoParent.instance(); | ||
68 | } | ||
69 | |||
70 | public TwoMembersHaveNoParent.Matcher getTwoMembersHaveNoParent(final ViatraQueryEngine engine) { | ||
71 | return TwoMembersHaveNoParent.Matcher.on(engine); | ||
72 | } | ||
73 | |||
74 | public MemberHasParent getMemberHasParent() { | ||
75 | return MemberHasParent.instance(); | ||
76 | } | ||
77 | |||
78 | public MemberHasParent.Matcher getMemberHasParent(final ViatraQueryEngine engine) { | ||
79 | return MemberHasParent.Matcher.on(engine); | ||
80 | } | ||
81 | |||
82 | public NegativeAge getNegativeAge() { | ||
83 | return NegativeAge.instance(); | ||
84 | } | ||
85 | |||
86 | public NegativeAge.Matcher getNegativeAge(final ViatraQueryEngine engine) { | ||
87 | return NegativeAge.Matcher.on(engine); | ||
88 | } | ||
89 | |||
90 | public ParentTooYoung getParentTooYoung() { | ||
91 | return ParentTooYoung.instance(); | ||
92 | } | ||
93 | |||
94 | public ParentTooYoung.Matcher getParentTooYoung(final ViatraQueryEngine engine) { | ||
95 | return ParentTooYoung.Matcher.on(engine); | ||
96 | } | ||
97 | } | ||