blob: cf1378daef3355f91fa90db05311fdb842dd798e (
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
|
/**
* Generated from platform:/resource/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql
*/
package ca.mcgill.ecse.dslreasoner.vampire.queries;
import ca.mcgill.ecse.dslreasoner.vampire.queries.TerminatorAndInformation;
import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
/**
* A pattern group formed of all public patterns defined in FamPatterns.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 FamPatterns.vql,
* in order to achieve better performance than one-by-one on-demand matcher initialization.
*
* <p> From package ca.mcgill.ecse.dslreasoner.vampire.queries, the group contains the definition of the following patterns: <ul>
* <li>terminatorAndInformation</li>
* </ul>
*
* @see IQueryGroup
*
*/
@SuppressWarnings("all")
public final class FamPatterns 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 FamPatterns instance() {
if (INSTANCE == null) {
INSTANCE = new FamPatterns();
}
return INSTANCE;
}
private static FamPatterns INSTANCE;
private FamPatterns() {
querySpecifications.add(TerminatorAndInformation.instance());
}
public TerminatorAndInformation getTerminatorAndInformation() {
return TerminatorAndInformation.instance();
}
public TerminatorAndInformation.Matcher getTerminatorAndInformation(final ViatraQueryEngine engine) {
return TerminatorAndInformation.Matcher.on(engine);
}
}
|
