public abstract class EnabledNegativeTransitionProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<EnabledNegativeTransitionMatch>
Constructor and Description |
---|
EnabledNegativeTransitionProcessor() |
Modifier and Type | Method and Description |
---|---|
void |
process(EnabledNegativeTransitionMatch match) |
abstract void |
process(NegativeTransition pTransition,
EventToken pEventToken,
Event pEvent,
Automaton pAutomaton)
Defines the action that is to be executed on each match.
|
public abstract void process(NegativeTransition pTransition, EventToken pEventToken, Event pEvent, Automaton pAutomaton)
pTransition
- the value of pattern parameter transition in the currently processed matchpEventToken
- the value of pattern parameter eventToken in the currently processed matchpEvent
- the value of pattern parameter event in the currently processed matchpAutomaton
- the value of pattern parameter automaton in the currently processed matchpublic void process(EnabledNegativeTransitionMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<EnabledNegativeTransitionMatch>