public final class FinishedAutomatonQuerySpecification extends BaseGeneratedEMFQuerySpecification<FinishedAutomatonMatcher>
FinishedAutomatonMatcher
,
FinishedAutomatonMatch
wrappedPQuery
Modifier and Type | Method and Description |
---|---|
static FinishedAutomatonQuerySpecification |
instance() |
FinishedAutomatonMatcher |
instantiate()
For backward compatibility of code generated with previous versions of viatra query, this method has a default
implementation returning null, indicating that a matcher can only be created using the old method, which ignores
the hints provided by the user.
|
protected FinishedAutomatonMatcher |
instantiate(ViatraQueryEngine engine) |
FinishedAutomatonMatch |
newEmptyMatch()
Returns an empty, mutable Match compatible with matchers of this query.
|
FinishedAutomatonMatch |
newMatch(java.lang.Object... parameters)
Returns a new (partial) Match object compatible with matchers of this query.
|
getPreferredScopeClass
ensureInitializedInternal, ensureInitializedInternalSneaky, getAllAnnotations, getAnnotationsByName, getFirstAnnotationByName, getFullyQualifiedName, getInternalQueryRepresentation, getMatcher, getParameterNames, getParameters, getPositionOfParameter, processInitializerError
public static FinishedAutomatonQuerySpecification instance() throws ViatraQueryException
ViatraQueryException
- if the pattern definition could not be loadedprotected FinishedAutomatonMatcher instantiate(ViatraQueryEngine engine) throws ViatraQueryException
instantiate
in class BaseQuerySpecification<FinishedAutomatonMatcher>
ViatraQueryException
public FinishedAutomatonMatcher instantiate() throws ViatraQueryException
BaseQuerySpecification
instantiate
in interface IQuerySpecification<FinishedAutomatonMatcher>
instantiate
in class BaseQuerySpecification<FinishedAutomatonMatcher>
ViatraQueryException
public FinishedAutomatonMatch newEmptyMatch()
IQuerySpecification
public FinishedAutomatonMatch newMatch(java.lang.Object... parameters)
IQuerySpecification
The returned match will be immutable. Use IQuerySpecification.newEmptyMatch()
to obtain a mutable match object.
parameters
- the fixed value of pattern parameters, or null if not bound.