| Interface | Description |
|---|---|
| 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 | Description |
|---|---|
| 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.
|