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

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

All Implemented Interfaces:

TracebackStep

public class IterateTracebackStep
extends BranchingTracebackStep<IterateExp>

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

IterateTracebackStep(IterateExp 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

IterateTracebackStep

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