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