Class Summary |
AbstractTracebackStep<E extends OCLExpression> |
|
AbstractTracebackStep.TracebackStepAndScopeChange |
Encapsulates the scope change that has to happen before invoking a subsequent traceback step. |
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp |
When executed using the AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp.traceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification) method,
results will be keyed with AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp.callToWhichResultsAreSpecific because the TracebackStep encapsulated by this object
navigates back to the specified call expression, and there either to the source or an argument expression. |
BranchingTracebackStep<E extends OCLExpression> |
|
CollectionLiteralTracebackStep |
When a CollectionLiteralExp is traced back, it calls the
TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification) function for the item of those parts, which are
instance of CollectionItem , forwarding the source object, the (possibly modified)
pendingUnusedEvalRequests and the tracebackCache . |
EmptyTracebackStep |
|
IfTracebackStep |
When a IfExp is traced back, it calls the TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification)
function for its then-expression and its else-expression, forwarding the source object, the (possibly
modified) pendingUnusedEvalRequests and the tracebackCache . |
IterateTracebackStep |
|
IteratorTracebackStep |
|
LetTracebackStep |
When a LetExp is traced back, it calls the TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification)
function for its in-expression, forwarding the source object, the (possibly modified)
pendingUnusedEvalRequests and the tracebackCache . |
OperationCallTracebackStep |
|
OppositePropertyCallTracebackStep |
|
PropertyCallTracebackStep |
|
TracebackCache |
During the navigation of a NavigationStep tree, starting from an EObject , navigation steps may be reached
several times with the same EObject at hand. |
TracebackStepCache |
|
TupleLiteralTracebackStep |
|
VariableTracebackStep |
The step produced will be invoked with the value for the variable. |