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