diff options
author | 2020-05-10 20:56:55 -0400 | |
---|---|---|
committer | 2020-05-10 20:56:55 -0400 | |
commit | fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6 (patch) | |
tree | 4ee9262ebb91eb6bf8a84af0f771d6c4366c7b0d /Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java | |
parent | Satelite case study update for Models-Attribute paper (diff) | |
download | VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.tar.gz VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.tar.zst VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.zip |
Fix PLEDGE Case Study File
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java new file mode 100644 index 00000000..5c72b809 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java | |||
@@ -0,0 +1,64 @@ | |||
1 | /** | ||
2 | * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_short.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.Inv48; | ||
9 | import queries.X_inv48; | ||
10 | |||
11 | /** | ||
12 | * A pattern group formed of all public patterns defined in case_study_short.vql. | ||
13 | * | ||
14 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | ||
15 | * a VIATRA Query engine for matching all patterns originally defined in file case_study_short.vql, | ||
16 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | ||
17 | * | ||
18 | * <p> From package queries, the group contains the definition of the following patterns: <ul> | ||
19 | * <li>inv48</li> | ||
20 | * <li>x_inv48</li> | ||
21 | * </ul> | ||
22 | * | ||
23 | * @see IQueryGroup | ||
24 | * | ||
25 | */ | ||
26 | @SuppressWarnings("all") | ||
27 | public final class Case_study_short extends BaseGeneratedPatternGroup { | ||
28 | /** | ||
29 | * Access the pattern group. | ||
30 | * | ||
31 | * @return the singleton instance of the group | ||
32 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | ||
33 | * | ||
34 | */ | ||
35 | public static Case_study_short instance() { | ||
36 | if (INSTANCE == null) { | ||
37 | INSTANCE = new Case_study_short(); | ||
38 | } | ||
39 | return INSTANCE; | ||
40 | } | ||
41 | |||
42 | private static Case_study_short INSTANCE; | ||
43 | |||
44 | private Case_study_short() { | ||
45 | querySpecifications.add(Inv48.instance()); | ||
46 | querySpecifications.add(X_inv48.instance()); | ||
47 | } | ||
48 | |||
49 | public Inv48 getInv48() { | ||
50 | return Inv48.instance(); | ||
51 | } | ||
52 | |||
53 | public Inv48.Matcher getInv48(final ViatraQueryEngine engine) { | ||
54 | return Inv48.Matcher.on(engine); | ||
55 | } | ||
56 | |||
57 | public X_inv48 getX_inv48() { | ||
58 | return X_inv48.instance(); | ||
59 | } | ||
60 | |||
61 | public X_inv48.Matcher getX_inv48(final ViatraQueryEngine engine) { | ||
62 | return X_inv48.Matcher.on(engine); | ||
63 | } | ||
64 | } | ||