public abstract class FinalStatesProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<FinalStatesMatch>
Constructor and Description |
---|
FinalStatesProcessor() |
Modifier and Type | Method and Description |
---|---|
abstract void |
process(Automaton pThis,
FinalState pFinalState)
Defines the action that is to be executed on each match.
|
void |
process(FinalStatesMatch match) |
public abstract void process(Automaton pThis, FinalState pFinalState)
pThis
- the value of pattern parameter this in the currently processed matchpFinalState
- the value of pattern parameter finalState in the currently processed matchpublic void process(FinalStatesMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<FinalStatesMatch>