public abstract class EmptyTraceProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<EmptyTraceMatch>
Constructor and Description |
---|
EmptyTraceProcessor() |
Modifier and Type | Method and Description |
---|---|
void |
process(EmptyTraceMatch match) |
abstract void |
process(Trace pTrace)
Defines the action that is to be executed on each match.
|
public abstract void process(Trace pTrace)
pTrace
- the value of pattern parameter trace in the currently processed matchpublic void process(EmptyTraceMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<EmptyTraceMatch>