public final class OptimizationPatterns
extends org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup
Use the static instance as any org.eclipse.viatra.query.runtime.api.IPatternGroup
, to conveniently prepare
a VIATRA Query engine for matching all patterns originally defined in file optimizationPatterns.vql,
in order to achieve better performance than one-by-one on-demand matcher initialization.
From package org.eclipse.viatra.cep.core.engine.compiler, the group contains the definition of the following patterns:
IPatternGroup
Modifier and Type | Method and Description |
---|---|
EpsilonTransitionQuerySpecification |
getEpsilonTransition() |
EpsilonTransitionMatcher |
getEpsilonTransition(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
EquivalentStatesQuerySpecification |
getEquivalentStates() |
EquivalentStatesMatcher |
getEquivalentStates(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
EquivalentTransitionsQuerySpecification |
getEquivalentTransitions() |
EquivalentTransitionsMatcher |
getEquivalentTransitions(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
SameBooleanTransitionTypeQuerySpecification |
getSameBooleanTransitionType() |
SameBooleanTransitionTypeMatcher |
getSameBooleanTransitionType(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
static OptimizationPatterns |
instance()
Access the pattern group.
|
public static OptimizationPatterns instance() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
- if there was an error loading the generated code of pattern specificationspublic EpsilonTransitionQuerySpecification getEpsilonTransition() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EpsilonTransitionMatcher getEpsilonTransition(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public SameBooleanTransitionTypeQuerySpecification getSameBooleanTransitionType() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public SameBooleanTransitionTypeMatcher getSameBooleanTransitionType(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EquivalentTransitionsQuerySpecification getEquivalentTransitions() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EquivalentTransitionsMatcher getEquivalentTransitions(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EquivalentStatesQuerySpecification getEquivalentStates() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EquivalentStatesMatcher getEquivalentStates(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException