public final class DerivedFeatures
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 derivedFeatures.vql,
in order to achieve better performance than one-by-one on-demand matcher initialization.
From package org.eclipse.viatra.cep.core.metamodels.derived, the group contains the definition of the following patterns:
IPatternGroup
Modifier and Type | Method and Description |
---|---|
EventTokensInModelQuerySpecification |
getEventTokensInModel() |
EventTokensInModelMatcher |
getEventTokensInModel(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
FinalStatesQuerySpecification |
getFinalStates() |
FinalStatesMatcher |
getFinalStates(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
InitialStateQuerySpecification |
getInitialState() |
InitialStateMatcher |
getInitialState(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
TrapStateQuerySpecification |
getTrapState() |
TrapStateMatcher |
getTrapState(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
static DerivedFeatures |
instance()
Access the pattern group.
|
public static DerivedFeatures 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 InitialStateQuerySpecification getInitialState() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public InitialStateMatcher getInitialState(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public FinalStatesQuerySpecification getFinalStates() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public FinalStatesMatcher getFinalStates(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public TrapStateQuerySpecification getTrapState() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public TrapStateMatcher getTrapState(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EventTokensInModelQuerySpecification getEventTokensInModel() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EventTokensInModelMatcher getEventTokensInModel(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException