/**
* 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.
*
*
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.
*
*
From package queries, the group contains the definition of the following patterns:
*
* @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);
}
}