public abstract class TransitionWithEventTypeMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
TransitionWithEventTypeMatcher
.
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.
TransitionWithEventTypeMatcher
,
TransitionWithEventTypeProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
java.lang.String |
getEventType() |
Transition |
getTransition() |
int |
hashCode() |
static TransitionWithEventTypeMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static TransitionWithEventTypeMatch |
newMatch(Transition pTransition,
java.lang.String pEventType)
Returns a new (partial) match.
|
static TransitionWithEventTypeMatch |
newMutableMatch(Transition pTransition,
java.lang.String pEventType)
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 |
setEventType(java.lang.String pEventType) |
void |
setTransition(Transition pTransition) |
TransitionWithEventTypeQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
TransitionWithEventTypeMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public Transition getTransition()
public java.lang.String getEventType()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setTransition(Transition pTransition)
public void setEventType(java.lang.String pEventType)
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 TransitionWithEventTypeMatch 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 TransitionWithEventTypeQuerySpecification specification()
public static TransitionWithEventTypeMatch newEmptyMatch()
public static TransitionWithEventTypeMatch newMutableMatch(Transition pTransition, java.lang.String pEventType)
pTransition
- the fixed value of pattern parameter transition, or null if not bound.pEventType
- the fixed value of pattern parameter eventType, or null if not bound.public static TransitionWithEventTypeMatch newMatch(Transition pTransition, java.lang.String pEventType)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pTransition
- the fixed value of pattern parameter transition, or null if not bound.pEventType
- the fixed value of pattern parameter eventType, or null if not bound.