public abstract class EquivalentStatesMatch extends BasePatternMatch
EquivalentStatesMatcher
.
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.
EquivalentStatesMatcher
,
EquivalentStatesProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName)
Returns the value of the parameter with the given name, or null if name is invalid.
|
State |
getPostState1() |
State |
getPostState2() |
State |
getPreState() |
TypedTransition |
getTransition1() |
TypedTransition |
getTransition2() |
int |
hashCode() |
static EquivalentStatesMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static EquivalentStatesMatch |
newMatch(TypedTransition pTransition1,
TypedTransition pTransition2,
State pPreState,
State pPostState1,
State pPostState2)
Returns a new (partial) match.
|
static EquivalentStatesMatch |
newMutableMatch(TypedTransition pTransition1,
TypedTransition pTransition2,
State pPreState,
State pPostState1,
State pPostState2)
Returns a mutable (partial) match.
|
java.util.List<java.lang.String> |
parameterNames()
Returns the list of symbolic parameter names.
|
java.lang.String |
patternName()
Identifies the name of the pattern for which this is a match.
|
java.lang.String |
prettyPrint()
Prints the list of parameter-value pairs.
|
boolean |
set(java.lang.String parameterName,
java.lang.Object newValue)
Sets the parameter with the given name to the given value.
|
void |
setPostState1(State pPostState1) |
void |
setPostState2(State pPostState2) |
void |
setPreState(State pPreState) |
void |
setTransition1(TypedTransition pTransition1) |
void |
setTransition2(TypedTransition pTransition2) |
EquivalentStatesQuerySpecification |
specification() |
java.lang.Object[] |
toArray()
Converts the match to an array representation, with each pattern parameter at their respective position.
|
EquivalentStatesMatch |
toImmutable()
Takes an immutable snapshot of this match.
|
get, isCompatibleWith, makeImmutableList, prettyPrintFeature, prettyPrintValue, set, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
isMutable
public java.lang.Object get(java.lang.String parameterName)
IPatternMatch
public TypedTransition getTransition1()
public TypedTransition getTransition2()
public State getPreState()
public State getPostState1()
public State getPostState2()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
IPatternMatch
Works only if match is mutable. See IPatternMatch.isMutable()
.
public void setTransition1(TypedTransition pTransition1)
public void setTransition2(TypedTransition pTransition2)
public void setPreState(State pPreState)
public void setPostState1(State pPostState1)
public void setPostState2(State pPostState2)
public java.lang.String patternName()
IPatternMatch
patternName
in interface IPatternMatch
patternName
in class BasePatternMatch
public java.util.List<java.lang.String> parameterNames()
IPatternMatch
parameterNames
in interface IPatternMatch
parameterNames
in class BasePatternMatch
public java.lang.Object[] toArray()
IPatternMatch
public EquivalentStatesMatch toImmutable()
IPatternMatch
public java.lang.String prettyPrint()
IPatternMatch
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public EquivalentStatesQuerySpecification specification()
public static EquivalentStatesMatch newEmptyMatch()
public static EquivalentStatesMatch newMutableMatch(TypedTransition pTransition1, TypedTransition pTransition2, State pPreState, State pPostState1, State pPostState2)
pTransition1
- the fixed value of pattern parameter transition1, or null if not bound.pTransition2
- the fixed value of pattern parameter transition2, or null if not bound.pPreState
- the fixed value of pattern parameter preState, or null if not bound.pPostState1
- the fixed value of pattern parameter postState1, or null if not bound.pPostState2
- the fixed value of pattern parameter postState2, or null if not bound.public static EquivalentStatesMatch newMatch(TypedTransition pTransition1, TypedTransition pTransition2, State pPreState, State pPostState1, State pPostState2)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pTransition1
- the fixed value of pattern parameter transition1, or null if not bound.pTransition2
- the fixed value of pattern parameter transition2, or null if not bound.pPreState
- the fixed value of pattern parameter preState, or null if not bound.pPostState1
- the fixed value of pattern parameter postState1, or null if not bound.pPostState2
- the fixed value of pattern parameter postState2, or null if not bound.