Interface IRewriterTraceCollector
- All Superinterfaces:
IPTraceableTraceProvider
- All Known Implementing Classes:
MappingTraceCollector
,NopTraceCollector
This is the internal API of
IPTraceableTraceProvider
expected to be used by
copier and rewriter implementations.- Since:
- 1.6
-
Method Summary
Modifier and TypeMethodDescriptionvoid
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.Methods inherited from interface tools.refinery.interpreter.matchers.psystem.rewriters.IPTraceableTraceProvider
getCanonicalTraceables, getRemovalReasons, getRewrittenTraceables, isRemoved
-
Method Details
-
addTrace
Mark the given derivative to be originated from the given original constraint. -
derivativeRemoved
Indicate that the given derivative is removed from the resulting query, thus its trace information should be removed also.
-