public abstract class FinalStatesMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
FinalStatesMatcher
.
Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned. Each instance is a (possibly partial) substitution of pattern parameters, usable to represent a match of the pattern in the result of a query, or to specify the bound (fixed) input parameters when issuing a query.
FinalStatesMatcher
,
FinalStatesProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
FinalState |
getFinalState() |
Automaton |
getThis() |
int |
hashCode() |
static FinalStatesMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static FinalStatesMatch |
newMatch(Automaton pThis,
FinalState pFinalState)
Returns a new (partial) match.
|
static FinalStatesMatch |
newMutableMatch(Automaton pThis,
FinalState pFinalState)
Returns a mutable (partial) match.
|
java.util.List<java.lang.String> |
parameterNames() |
java.lang.String |
patternName() |
java.lang.String |
prettyPrint() |
boolean |
set(java.lang.String parameterName,
java.lang.Object newValue) |
void |
setFinalState(FinalState pFinalState) |
void |
setThis(Automaton pThis) |
FinalStatesQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
FinalStatesMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public Automaton getThis()
public FinalState getFinalState()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setThis(Automaton pThis)
public void setFinalState(FinalState pFinalState)
public java.lang.String patternName()
patternName
in interface org.eclipse.viatra.query.runtime.api.IPatternMatch
patternName
in class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
public java.util.List<java.lang.String> parameterNames()
parameterNames
in interface org.eclipse.viatra.query.runtime.api.IPatternMatch
parameterNames
in class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
public java.lang.Object[] toArray()
public FinalStatesMatch toImmutable()
public java.lang.String prettyPrint()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public FinalStatesQuerySpecification specification()
public static FinalStatesMatch newEmptyMatch()
public static FinalStatesMatch newMutableMatch(Automaton pThis, FinalState pFinalState)
pThis
- the fixed value of pattern parameter this, or null if not bound.pFinalState
- the fixed value of pattern parameter finalState, or null if not bound.public static FinalStatesMatch newMatch(Automaton pThis, FinalState pFinalState)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pThis
- the fixed value of pattern parameter this, or null if not bound.pFinalState
- the fixed value of pattern parameter finalState, or null if not bound.