org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback
Class IteratorTracebackStep
java.lang.Object
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep<IteratorExp>
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.IteratorTracebackStep
- All Implemented Interfaces:
- TracebackStep
public class IteratorTracebackStep
- extends AbstractTracebackStep<IteratorExp>
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 |
IteratorTracebackStep
public IteratorTracebackStep(IteratorExp 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.
- Specified by:
performSubsequentTraceback
in class AbstractTracebackStep<IteratorExp>
- Parameters:
changeEvent
- if null
, the evaluation will happen on the model
as-is; otherwise, it will take place on the state the model
was in before the change described by changeEvent
took
place