public class AbstractRewriterTraceSource
extends java.lang.Object
Constructor and Description |
---|
AbstractRewriterTraceSource() |
Modifier and Type | Method and Description |
---|---|
protected void |
addTrace(PTraceable original,
PTraceable derivative)
Mark the given derivative to be originated from the given original constraint.
|
protected void |
derivativeRemoved(PConstraint derivative,
IDerivativeModificationReason reason)
Indicate that the given derivative is removed from the resulting query, thus its trace
information should be removed also.
|
protected IRewriterTraceCollector |
getTraceCollector() |
IPTraceableTraceProvider |
getTraces() |
void |
setTraceCollector(IRewriterTraceCollector traceCollector) |
public void setTraceCollector(IRewriterTraceCollector traceCollector)
public IPTraceableTraceProvider getTraces()
protected IRewriterTraceCollector getTraceCollector()
protected void addTrace(PTraceable original, PTraceable derivative)
protected void derivativeRemoved(PConstraint derivative, IDerivativeModificationReason reason)