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

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep<E>
      extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.BranchingTracebackStep<TupleLiteralExp>
          extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TupleLiteralTracebackStep
All Implemented Interfaces:
TracebackStep

public class TupleLiteralTracebackStep
extends BranchingTracebackStep<TupleLiteralExp>


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
TupleLiteralTracebackStep(TupleLiteralExp 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

TupleLiteralTracebackStep

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