public abstract class EventProcessedByEventTokenMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
EventProcessedByEventTokenMatcher
.
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.
EventProcessedByEventTokenMatcher
,
EventProcessedByEventTokenProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
Event |
getEvent() |
EventToken |
getEventToken() |
int |
hashCode() |
static EventProcessedByEventTokenMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static EventProcessedByEventTokenMatch |
newMatch(Event pEvent,
EventToken pEventToken)
Returns a new (partial) match.
|
static EventProcessedByEventTokenMatch |
newMutableMatch(Event pEvent,
EventToken pEventToken)
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 |
setEvent(Event pEvent) |
void |
setEventToken(EventToken pEventToken) |
EventProcessedByEventTokenQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
EventProcessedByEventTokenMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public Event getEvent()
public EventToken getEventToken()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setEvent(Event pEvent)
public void setEventToken(EventToken pEventToken)
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 EventProcessedByEventTokenMatch 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 EventProcessedByEventTokenQuerySpecification specification()
public static EventProcessedByEventTokenMatch newEmptyMatch()
public static EventProcessedByEventTokenMatch newMutableMatch(Event pEvent, EventToken pEventToken)
pEvent
- the fixed value of pattern parameter event, or null if not bound.pEventToken
- the fixed value of pattern parameter eventToken, or null if not bound.public static EventProcessedByEventTokenMatch newMatch(Event pEvent, EventToken pEventToken)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pEvent
- the fixed value of pattern parameter event, or null if not bound.pEventToken
- the fixed value of pattern parameter eventToken, or null if not bound.