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