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>
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 |
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)
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, UnusedEvaluationRequestSet, TracebackCache, Notification)
method on all necessary subsequent TracebackStep
s 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