public abstract class EquivalentStatesProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<EquivalentStatesMatch>
Constructor and Description |
---|
EquivalentStatesProcessor() |
Modifier and Type | Method and Description |
---|---|
void |
process(EquivalentStatesMatch match) |
abstract void |
process(TypedTransition pTransition1,
TypedTransition pTransition2,
State pPreState,
State pPostState1,
State pPostState2)
Defines the action that is to be executed on each match.
|
public abstract void process(TypedTransition pTransition1, TypedTransition pTransition2, State pPreState, State pPostState1, State pPostState2)
pTransition1
- the value of pattern parameter transition1 in the currently processed matchpTransition2
- the value of pattern parameter transition2 in the currently processed matchpPreState
- the value of pattern parameter preState in the currently processed matchpPostState1
- the value of pattern parameter postState1 in the currently processed matchpPostState2
- the value of pattern parameter postState2 in the currently processed matchpublic void process(EquivalentStatesMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<EquivalentStatesMatch>