public abstract class TokenEntersTimedZoneMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
TokenEntersTimedZoneMatcher
.
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.
TokenEntersTimedZoneMatcher
,
TokenEntersTimedZoneProcessor
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() |
int |
hashCode() |
static TokenEntersTimedZoneMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static TokenEntersTimedZoneMatch |
newMatch(EventToken pEventToken,
State pState,
TimedZone pTimedZone)
Returns a new (partial) match.
|
static TokenEntersTimedZoneMatch |
newMutableMatch(EventToken pEventToken,
State pState,
TimedZone pTimedZone)
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) |
TokenEntersTimedZoneQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
TokenEntersTimedZoneMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public EventToken getEventToken()
public State getState()
public TimedZone getTimedZone()
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 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 TokenEntersTimedZoneMatch 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 TokenEntersTimedZoneQuerySpecification specification()
public static TokenEntersTimedZoneMatch newEmptyMatch()
public static TokenEntersTimedZoneMatch newMutableMatch(EventToken pEventToken, State pState, TimedZone pTimedZone)
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.public static TokenEntersTimedZoneMatch newMatch(EventToken pEventToken, State pState, TimedZone pTimedZone)
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.