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

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

All Implemented Interfaces:

TracebackStep

public class OperationCallTracebackStep
extends BranchingTracebackStep<OperationCallExp>

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

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

Method Summary

protected OperationCallExpKeyedSet

performSubsequentTraceback(AnnotatedEObject source, UnusedEvaluationRequestSet pendingUnusedEvalRequests, TracebackCache tracebackCache, org.eclipse.emf.common.notify.Notification changeEvent) This method is used to invoke the TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification) method on all necessary subsequent TracebackSteps and return their results.

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

getSteps

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

OperationCallTracebackStep

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

Method Detail

performSubsequentTraceback

protected OperationCallExpKeyedSet performSubsequentTraceback(AnnotatedEObject source,
                                                              UnusedEvaluationRequestSet pendingUnusedEvalRequests,
                                                              TracebackCache tracebackCache,
                                                              org.eclipse.emf.common.notify.Notification changeEvent)

Description copied from class: AbstractTracebackStep

This method is used to invoke the TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification) method on all necessary subsequent TracebackSteps and return their results. Which subsequent steps are necessary depends on the respective source OCLExpression the TracebackStep was created for.

Overrides:

performSubsequentTraceback in class BranchingTracebackStep<OperationCallExp>

Parameters:

changeEvent - if not null, and the event has a non- null notifier, this notifier will be used as the lookup context in case an allInstances operation call needs to be traced back by computing all context instances of the overall expression; otherwise, the source object will be used as the lookup context for allInstances lookup