public abstract class TrapStateMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
TrapStateMatcher
.
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.
TrapStateMatcher
,
TrapStateProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
Automaton |
getThis() |
TrapState |
getTrapState() |
int |
hashCode() |
static TrapStateMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static TrapStateMatch |
newMatch(Automaton pThis,
TrapState pTrapState)
Returns a new (partial) match.
|
static TrapStateMatch |
newMutableMatch(Automaton pThis,
TrapState pTrapState)
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 |
setThis(Automaton pThis) |
void |
setTrapState(TrapState pTrapState) |
TrapStateQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
TrapStateMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public Automaton getThis()
public TrapState getTrapState()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setThis(Automaton pThis)
public void setTrapState(TrapState pTrapState)
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 TrapStateMatch 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 TrapStateQuerySpecification specification()
public static TrapStateMatch newEmptyMatch()
public static TrapStateMatch newMutableMatch(Automaton pThis, TrapState pTrapState)
pThis
- the fixed value of pattern parameter this, or null if not bound.pTrapState
- the fixed value of pattern parameter trapState, or null if not bound.public static TrapStateMatch newMatch(Automaton pThis, TrapState pTrapState)
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.pTrapState
- the fixed value of pattern parameter trapState, or null if not bound.