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