diff options
author | 2020-07-16 00:23:49 +0200 | |
---|---|---|
committer | 2020-07-16 00:23:49 +0200 | |
commit | fb952906aa64f6a502a93fba3dbc521f499221dd (patch) | |
tree | a4ecdce203d2dc5239d6b223a6bd3bb0bfdf39f0 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java | |
parent | Fix numeric-solver-at-end (diff) | |
download | VIATRA-Generator-fb952906aa64f6a502a93fba3dbc521f499221dd.tar.gz VIATRA-Generator-fb952906aa64f6a502a93fba3dbc521f499221dd.tar.zst VIATRA-Generator-fb952906aa64f6a502a93fba3dbc521f499221dd.zip |
Clean up MODELS20 files
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, 0 insertions, 97 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 deleted file mode 100644 index 33dfe697..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/FamilyTreeConstraints.java +++ /dev/null | |||
@@ -1,97 +0,0 @@ | |||
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 | } | ||