public class MappingTraceCollector extends java.lang.Object implements IRewriterTraceCollector
| Constructor and Description |
|---|
MappingTraceCollector() |
| Modifier and Type | Method and Description |
|---|---|
void |
addTrace(PTraceable original,
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.
|
java.util.stream.Stream<PTraceable> |
getCanonicalTraceables(PTraceable derivative)
Find and return the canonical
PTraceables in the original query which are the sources of the given derivative
PTraceable according to the transformation. |
java.util.stream.Stream<IDerivativeModificationReason> |
getRemovalReasons(PTraceable traceable)
Returns the reasons for which the traceable element has been removed by the rewriters.
|
java.util.stream.Stream<PTraceable> |
getRewrittenTraceables(PTraceable source)
Find and return the
PTraceables in the rewritten query which are the destinations of the given source
PTraceable according to the transformation. |
boolean |
isRemoved(PTraceable traceable)
Returns whether the given traceable element has been removed by every rewriter for a reason.
|
public java.util.stream.Stream<PTraceable> getCanonicalTraceables(PTraceable derivative)
IPTraceableTraceProviderPTraceables in the original query which are the sources of the given derivative
PTraceable according to the transformation.getCanonicalTraceables in interface IPTraceableTraceProviderderivative - a PTraceable which is contained by the PQuery produced by the associated rewriterpublic java.util.stream.Stream<PTraceable> getRewrittenTraceables(PTraceable source)
IPTraceableTraceProviderPTraceables in the rewritten query which are the destinations of the given source
PTraceable according to the transformation.getRewrittenTraceables in interface IPTraceableTraceProvidersource - a PTraceable which is contained by a PQuery before rewritingpublic void addTrace(PTraceable original, PTraceable derivative)
IRewriterTraceCollectoraddTrace in interface IRewriterTraceCollectorpublic void derivativeRemoved(PTraceable derivative, IDerivativeModificationReason reason)
IRewriterTraceCollectorderivativeRemoved in interface IRewriterTraceCollectorpublic boolean isRemoved(PTraceable traceable)
IPTraceableTraceProviderisRemoved in interface IPTraceableTraceProviderpublic java.util.stream.Stream<IDerivativeModificationReason> getRemovalReasons(PTraceable traceable)
IPTraceableTraceProvidergetRemovalReasons in interface IPTraceableTraceProvider