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