Package org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Interface Summary
TracebackStep Objects of classes implementing this interface are constructed by TracebackStepCache.createStep(OCLExpression, org.eclipse.emf.ecore.EClass, org.eclipse.ocl.examples.impactanalyzer.impl.OperationBodyToCallMapper, java.util.Stack, OCLFactory).
 

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, UnusedEvaluationRequestSet, 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, UnusedEvaluationRequestSet, 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, UnusedEvaluationRequestSet, 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.