public final class Trace2paramQuerySpecification extends org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification<Trace2paramMatcher>
Trace2paramMatcher
,
Trace2paramMatch
Modifier and Type | Method and Description |
---|---|
static Trace2paramQuerySpecification |
instance() |
Trace2paramMatch |
newEmptyMatch() |
Trace2paramMatch |
newMatch(java.lang.Object... parameters) |
getPreferredScopeClass
public static Trace2paramQuerySpecification instance() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
- if the pattern definition could not be loadedpublic Trace2paramMatch newEmptyMatch()
public Trace2paramMatch newMatch(java.lang.Object... parameters)