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