public abstract class EnabledNegativeTransitionMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
EnabledNegativeTransitionMatcher
.
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.
EnabledNegativeTransitionMatcher
,
EnabledNegativeTransitionProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
Automaton |
getAutomaton() |
Event |
getEvent() |
EventToken |
getEventToken() |
NegativeTransition |
getTransition() |
int |
hashCode() |
static EnabledNegativeTransitionMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static EnabledNegativeTransitionMatch |
newMatch(NegativeTransition pTransition,
EventToken pEventToken,
Event pEvent,
Automaton pAutomaton)
Returns a new (partial) match.
|
static EnabledNegativeTransitionMatch |
newMutableMatch(NegativeTransition pTransition,
EventToken pEventToken,
Event pEvent,
Automaton pAutomaton)
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 |
setAutomaton(Automaton pAutomaton) |
void |
setEvent(Event pEvent) |
void |
setEventToken(EventToken pEventToken) |
void |
setTransition(NegativeTransition pTransition) |
EnabledNegativeTransitionQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
EnabledNegativeTransitionMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public NegativeTransition getTransition()
public EventToken getEventToken()
public Event getEvent()
public Automaton getAutomaton()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setTransition(NegativeTransition pTransition)
public void setEventToken(EventToken pEventToken)
public void setEvent(Event pEvent)
public void setAutomaton(Automaton pAutomaton)
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 EnabledNegativeTransitionMatch 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 EnabledNegativeTransitionQuerySpecification specification()
public static EnabledNegativeTransitionMatch newEmptyMatch()
public static EnabledNegativeTransitionMatch newMutableMatch(NegativeTransition pTransition, EventToken pEventToken, Event pEvent, Automaton pAutomaton)
pTransition
- the fixed value of pattern parameter transition, or null if not bound.pEventToken
- the fixed value of pattern parameter eventToken, or null if not bound.pEvent
- the fixed value of pattern parameter event, or null if not bound.pAutomaton
- the fixed value of pattern parameter automaton, or null if not bound.public static EnabledNegativeTransitionMatch newMatch(NegativeTransition pTransition, EventToken pEventToken, Event pEvent, Automaton pAutomaton)
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.pEventToken
- the fixed value of pattern parameter eventToken, or null if not bound.pEvent
- the fixed value of pattern parameter event, or null if not bound.pAutomaton
- the fixed value of pattern parameter automaton, or null if not bound.