public abstract class TokenLeavesTimedZoneMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
TokenLeavesTimedZoneMatcher
.
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.
TokenLeavesTimedZoneMatcher
,
TokenLeavesTimedZoneProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
EventToken |
getEventToken() |
State |
getState() |
TimedZone |
getTimedZone() |
TrapState |
getTrapState() |
int |
hashCode() |
static TokenLeavesTimedZoneMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static TokenLeavesTimedZoneMatch |
newMatch(EventToken pEventToken,
State pState,
TimedZone pTimedZone,
TrapState pTrapState)
Returns a new (partial) match.
|
static TokenLeavesTimedZoneMatch |
newMutableMatch(EventToken pEventToken,
State pState,
TimedZone pTimedZone,
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 |
setEventToken(EventToken pEventToken) |
void |
setState(State pState) |
void |
setTimedZone(TimedZone pTimedZone) |
void |
setTrapState(TrapState pTrapState) |
TokenLeavesTimedZoneQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
TokenLeavesTimedZoneMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public EventToken getEventToken()
public State getState()
public TimedZone getTimedZone()
public TrapState getTrapState()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setEventToken(EventToken pEventToken)
public void setState(State pState)
public void setTimedZone(TimedZone pTimedZone)
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 TokenLeavesTimedZoneMatch 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 TokenLeavesTimedZoneQuerySpecification specification()
public static TokenLeavesTimedZoneMatch newEmptyMatch()
public static TokenLeavesTimedZoneMatch newMutableMatch(EventToken pEventToken, State pState, TimedZone pTimedZone, TrapState pTrapState)
pEventToken
- the fixed value of pattern parameter eventToken, or null if not bound.pState
- the fixed value of pattern parameter state, or null if not bound.pTimedZone
- the fixed value of pattern parameter timedZone, or null if not bound.pTrapState
- the fixed value of pattern parameter trapState, or null if not bound.public static TokenLeavesTimedZoneMatch newMatch(EventToken pEventToken, State pState, TimedZone pTimedZone, TrapState pTrapState)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pEventToken
- the fixed value of pattern parameter eventToken, or null if not bound.pState
- the fixed value of pattern parameter state, or null if not bound.pTimedZone
- the fixed value of pattern parameter timedZone, or null if not bound.pTrapState
- the fixed value of pattern parameter trapState, or null if not bound.