public interface IRewriterTraceCollector extends IPTraceableTraceProvider
IPTraceableTraceProvider
expected to be used by
copier and rewriter implementations.Modifier and Type | Method and Description |
---|---|
void |
addTrace(PTraceable origin,
PTraceable derivative)
Mark the given derivative to be originated from the given original constraint.
|
void |
derivativeRemoved(PTraceable derivative,
IDerivativeModificationReason reason)
Indicate that the given derivative is removed from the resulting query, thus its trace
information should be removed also.
|
getCanonicalTraceables, getRemovalReasons, getRewrittenTraceables, isRemoved
void addTrace(PTraceable origin, PTraceable derivative)
void derivativeRemoved(PTraceable derivative, IDerivativeModificationReason reason)