public abstract class ComplexOrTransitionProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<ComplexOrTransitionMatch>
Constructor and Description |
---|
ComplexOrTransitionProcessor() |
Modifier and Type | Method and Description |
---|---|
abstract void |
process(Automaton pAutomaton,
TypedTransition pTransition,
ComplexEventPattern pEventPattern)
Defines the action that is to be executed on each match.
|
void |
process(ComplexOrTransitionMatch match) |
public abstract void process(Automaton pAutomaton, TypedTransition pTransition, ComplexEventPattern pEventPattern)
pAutomaton
- the value of pattern parameter automaton in the currently processed matchpTransition
- the value of pattern parameter transition in the currently processed matchpEventPattern
- the value of pattern parameter eventPattern in the currently processed matchpublic void process(ComplexOrTransitionMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<ComplexOrTransitionMatch>