public interface IEglTraceabilityContext
Modifier and Type | Method and Description |
---|---|
void |
addDestinationRegionForLatestPropertyAccesses(Region destination) |
Trace |
getFineGrainedTrace() |
IPropertyAccessRecorder |
getPropertyAccessRecorder() |
java.lang.Object |
recordPropertyAccessesWhileEvaluating(AST ast) |
void |
setCustomDataForFutureTraceLinks(java.util.Map<?,?> data) |
java.lang.Object recordPropertyAccessesWhileEvaluating(AST ast) throws EolRuntimeException
EolRuntimeException
void addDestinationRegionForLatestPropertyAccesses(Region destination)
IPropertyAccessRecorder getPropertyAccessRecorder()
Trace getFineGrainedTrace()
void setCustomDataForFutureTraceLinks(java.util.Map<?,?> data)