public abstract class Trace2paramProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<Trace2paramMatch>
Constructor and Description |
---|
Trace2paramProcessor() |
Modifier and Type | Method and Description |
---|---|
abstract void |
process(org.eclipse.emf.ecore.EObject pParam,
Trace pTrace,
java.lang.String pId)
Defines the action that is to be executed on each match.
|
void |
process(Trace2paramMatch match) |
public abstract void process(org.eclipse.emf.ecore.EObject pParam, Trace pTrace, java.lang.String pId)
pParam
- the value of pattern parameter param in the currently processed matchpTrace
- the value of pattern parameter trace in the currently processed matchpId
- the value of pattern parameter id in the currently processed matchpublic void process(Trace2paramMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<Trace2paramMatch>