public abstract class TransitionWithEventTypeProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<TransitionWithEventTypeMatch>
Constructor and Description |
---|
TransitionWithEventTypeProcessor() |
Modifier and Type | Method and Description |
---|---|
abstract void |
process(Transition pTransition,
java.lang.String pEventType)
Defines the action that is to be executed on each match.
|
void |
process(TransitionWithEventTypeMatch match) |
public abstract void process(Transition pTransition, java.lang.String pEventType)
pTransition
- the value of pattern parameter transition in the currently processed matchpEventType
- the value of pattern parameter eventType in the currently processed matchpublic void process(TransitionWithEventTypeMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<TransitionWithEventTypeMatch>