public abstract class EpsilonTransitionMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
EpsilonTransitionMatcher
.
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.
EpsilonTransitionMatcher
,
EpsilonTransitionProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
Automaton |
getAutomaton() |
State |
getPostState() |
State |
getPreState() |
EpsilonTransition |
getTransition() |
int |
hashCode() |
static EpsilonTransitionMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static EpsilonTransitionMatch |
newMatch(Automaton pAutomaton,
EpsilonTransition pTransition,
State pPreState,
State pPostState)
Returns a new (partial) match.
|
static EpsilonTransitionMatch |
newMutableMatch(Automaton pAutomaton,
EpsilonTransition pTransition,
State pPreState,
State pPostState)
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 |
setAutomaton(Automaton pAutomaton) |
void |
setPostState(State pPostState) |
void |
setPreState(State pPreState) |
void |
setTransition(EpsilonTransition pTransition) |
EpsilonTransitionQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
EpsilonTransitionMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public Automaton getAutomaton()
public EpsilonTransition getTransition()
public State getPreState()
public State getPostState()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setAutomaton(Automaton pAutomaton)
public void setTransition(EpsilonTransition pTransition)
public void setPreState(State pPreState)
public void setPostState(State pPostState)
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 EpsilonTransitionMatch 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 EpsilonTransitionQuerySpecification specification()
public static EpsilonTransitionMatch newEmptyMatch()
public static EpsilonTransitionMatch newMutableMatch(Automaton pAutomaton, EpsilonTransition pTransition, State pPreState, State pPostState)
pAutomaton
- the fixed value of pattern parameter automaton, or null if not bound.pTransition
- the fixed value of pattern parameter transition, or null if not bound.pPreState
- the fixed value of pattern parameter preState, or null if not bound.pPostState
- the fixed value of pattern parameter postState, or null if not bound.public static EpsilonTransitionMatch newMatch(Automaton pAutomaton, EpsilonTransition pTransition, State pPreState, State pPostState)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pAutomaton
- the fixed value of pattern parameter automaton, or null if not bound.pTransition
- the fixed value of pattern parameter transition, or null if not bound.pPreState
- the fixed value of pattern parameter preState, or null if not bound.pPostState
- the fixed value of pattern parameter postState, or null if not bound.