diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java | 97 |
1 files changed, 97 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java new file mode 100644 index 00000000..33dfe697 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java | |||
@@ -0,0 +1,97 @@ | |||
1 | /** | ||
2 | * Generated from platform:/resource/case.study.pledge.run/src/queries/familyTreeConstraints.vql | ||
3 | */ | ||
4 | package queries; | ||
5 | |||
6 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | ||
7 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | ||
8 | import queries.MemberHasParent; | ||
9 | import queries.MemberIsItsOwnParent; | ||
10 | import queries.NegativeAge; | ||
11 | import queries.ParentTooYoung; | ||
12 | import queries.TwoMembersHaveNoParent; | ||
13 | |||
14 | /** | ||
15 | * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. | ||
16 | * | ||
17 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | ||
18 | * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql, | ||
19 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | ||
20 | * | ||
21 | * <p> From package queries, the group contains the definition of the following patterns: <ul> | ||
22 | * <li>memberIsItsOwnParent</li> | ||
23 | * <li>twoMembersHaveNoParent</li> | ||
24 | * <li>memberHasParent</li> | ||
25 | * <li>negativeAge</li> | ||
26 | * <li>parentTooYoung</li> | ||
27 | * </ul> | ||
28 | * | ||
29 | * @see IQueryGroup | ||
30 | * | ||
31 | */ | ||
32 | @SuppressWarnings("all") | ||
33 | public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup { | ||
34 | /** | ||
35 | * Access the pattern group. | ||
36 | * | ||
37 | * @return the singleton instance of the group | ||
38 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | ||
39 | * | ||
40 | */ | ||
41 | public static FamilyTreeConstraints instance() { | ||
42 | if (INSTANCE == null) { | ||
43 | INSTANCE = new FamilyTreeConstraints(); | ||
44 | } | ||
45 | return INSTANCE; | ||
46 | } | ||
47 | |||
48 | private static FamilyTreeConstraints INSTANCE; | ||
49 | |||
50 | private FamilyTreeConstraints() { | ||
51 | querySpecifications.add(MemberIsItsOwnParent.instance()); | ||
52 | querySpecifications.add(TwoMembersHaveNoParent.instance()); | ||
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 | } | ||