blob: 5c72b8099e50dec239142cea89c8c040eec1a468 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
/**
* Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_short.vql
*/
package queries;
import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
import queries.Inv48;
import queries.X_inv48;
/**
* A pattern group formed of all public patterns defined in case_study_short.vql.
*
* <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare
* a VIATRA Query engine for matching all patterns originally defined in file case_study_short.vql,
* in order to achieve better performance than one-by-one on-demand matcher initialization.
*
* <p> From package queries, the group contains the definition of the following patterns: <ul>
* <li>inv48</li>
* <li>x_inv48</li>
* </ul>
*
* @see IQueryGroup
*
*/
@SuppressWarnings("all")
public final class Case_study_short extends BaseGeneratedPatternGroup {
/**
* Access the pattern group.
*
* @return the singleton instance of the group
* @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications
*
*/
public static Case_study_short instance() {
if (INSTANCE == null) {
INSTANCE = new Case_study_short();
}
return INSTANCE;
}
private static Case_study_short INSTANCE;
private Case_study_short() {
querySpecifications.add(Inv48.instance());
querySpecifications.add(X_inv48.instance());
}
public Inv48 getInv48() {
return Inv48.instance();
}
public Inv48.Matcher getInv48(final ViatraQueryEngine engine) {
return Inv48.Matcher.on(engine);
}
public X_inv48 getX_inv48() {
return X_inv48.instance();
}
public X_inv48.Matcher getX_inv48(final ViatraQueryEngine engine) {
return X_inv48.Matcher.on(engine);
}
}
|