org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback
Class CollectionLiteralTracebackStep

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep<E>
      org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.BranchingTracebackStep<CollectionLiteralExp>
          org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.CollectionLiteralTracebackStep

All Implemented Interfaces:

TracebackStep

public class CollectionLiteralTracebackStep
extends BranchingTracebackStep<CollectionLiteralExp>

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.

See Also:

AbstractTracebackStep.performSubsequentTraceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification)

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep

AbstractTracebackStep.TracebackStepAndScopeChange, AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp

Field Summary

Fields inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep

oclFactory, provenUnused, requiredType, tracebackExecutions

Constructor Summary

CollectionLiteralTracebackStep(CollectionLiteralExp sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, TracebackStepCache tracebackStepCache, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, OCLFactory oclFactory)

Method Summary

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.BranchingTracebackStep

getSteps, performSubsequentTraceback

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep

annotate, annotateEObject, annotateEObject, cloneWithTypeCheck, createTracebackStepAndScopeChange, createTracebackStepAndScopeChange, getAllVariablesInScope, getExpression, getInnermostClass, getInnermostElementType, getInnermostTypeConsideringTupleLiteralsLookedFor, getOppositeEndFinder, getVariablesScopedByExpression, traceback

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CollectionLiteralTracebackStep

public CollectionLiteralTracebackStep(CollectionLiteralExp sourceExpression,
                                      org.eclipse.emf.ecore.EClass context,
                                      OperationBodyToCallMapper operationBodyToCallMapper,
                                      java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
                                      TracebackStepCache tracebackStepCache,
                                      UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
                                      OCLFactory oclFactory)