public class GenericPatternMatcher extends BaseMatcher<GenericPatternMatch>
GenericQuerySpecification first, then
invoke e.g. BaseQuerySpecification.getMatcher(ViatraQueryEngine).
in conjunction with ViatraQueryEngine.on(org.eclipse.viatra.query.runtime.api.scope.QueryScope).
Whenever available, consider using the pattern-specific generated matcher API instead.
Matches of the pattern will be represented as GenericPatternMatch.
GenericPatternMatch,
GenericMatchProcessor,
GenericQuerySpecificationengine, querySpecification| Constructor and Description |
|---|
GenericPatternMatcher(GenericQuerySpecification<? extends GenericPatternMatcher> specification) |
| Modifier and Type | Method and Description |
|---|---|
GenericPatternMatch |
arrayToMatch(java.lang.Object[] parameters)
Converts the array representation of a pattern match to an immutable Match object.
|
GenericPatternMatch |
arrayToMatchMutable(java.lang.Object[] parameters)
Converts the array representation of a pattern match to a mutable Match object.
|
GenericQuerySpecification<? extends GenericPatternMatcher> |
getSpecification()
The pattern that will be matched.
|
protected GenericPatternMatch |
tupleToMatch(Tuple t) |
countMatches, countMatches, emptyArray, forEachMatch, forEachMatch, forOneArbitraryMatch, forOneArbitraryMatch, getAllMatches, getAllMatches, getAllValues, getAllValues, getCapabilities, getEngine, getOneArbitraryMatch, getOneArbitraryMatch, getParameterNames, getPatternName, getPositionOfParameter, hasMatch, hasMatch, matchToArray, newEmptyMatch, newMatch, rawAccumulateAllValues, rawCountMatches, rawForEachMatch, rawForOneArbitraryMatch, rawGetOneArbitraryMatch, rawHasMatch, rawStreamAllMatches, rawStreamAllValues, setBackend, streamAllMatches, streamAllMatchespublic GenericPatternMatcher(GenericQuerySpecification<? extends GenericPatternMatcher> specification)
public GenericPatternMatch arrayToMatch(java.lang.Object[] parameters)
BaseMatcherarrayToMatch in class BaseMatcher<GenericPatternMatch>public GenericPatternMatch arrayToMatchMutable(java.lang.Object[] parameters)
BaseMatcherarrayToMatchMutable in class BaseMatcher<GenericPatternMatch>protected GenericPatternMatch tupleToMatch(Tuple t)
tupleToMatch in class BaseMatcher<GenericPatternMatch>public GenericQuerySpecification<? extends GenericPatternMatcher> getSpecification()
ViatraQueryMatchergetSpecification in interface ViatraQueryMatcher<GenericPatternMatch>getSpecification in class BaseMatcher<GenericPatternMatch>