Uses of Interface
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackStep

Packages that use TracebackStep

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

Uses of TracebackStep in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that implement TracebackStep

Modifier and Type	Class and Description
class	AbstractTracebackStep<E extends OCLExpression>
static class	AbstractTracebackStep.TracebackStepAndScopeChange Encapsulates the scope change that has to happen before invoking a subsequent traceback step.
protected static class	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.
class	BranchingTracebackStep<E extends OCLExpression>
class	CollectionLiteralTracebackStep When a CollectionLiteralExp is traced back, it calls the 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.
class	EmptyTracebackStep
class	IfTracebackStep When a IfExp is traced back, it calls the 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.
class	IterateTracebackStep
class	IteratorTracebackStep
class	LetTracebackStep When a LetExp is traced back, it calls the traceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification) function for its in-expression, forwarding the source object, the (possibly modified) pendingUnusedEvalRequests and the tracebackCache.
class	OperationCallTracebackStep
class	OppositePropertyCallTracebackStep
class	PropertyCallTracebackStep
class	TupleLiteralTracebackStep
class	VariableTracebackStep The step produced will be invoked with the value for the variable.

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return TracebackStep

Modifier and Type	Method and Description
protected TracebackStep	TracebackStepCache.createStep(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OCLFactory oclFactory)

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type TracebackStep

Modifier and Type	Method and Description
OperationCallExpKeyedSet	TracebackCache.get(TracebackStep step, AnnotatedEObject from, UnusedEvaluationRequestSet pendingUnusedEvaluationRequests) Looks up a previously entered result for the step where navigation started at the from object.
void	TracebackCache.put(TracebackStep step, AnnotatedEObject from, UnusedEvaluationRequestSet pendingUnusedEvaluationRequests, OperationCallExpKeyedSet result)

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type TracebackStep

Constructor and Description
TracebackStepAndScopeChange(TracebackStep step, java.util.Set<Variable> variablesThatLeaveOrEnterScopeWhenCallingStep)
TracebackStepAndScopeChangeWithOperationCallExp(TracebackStep step, java.util.Set<Variable> variablesChangingScope, OperationCallExp callToWhichResultsAreSpecific) Remembers call as the only operation call through which