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

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep<OCLExpression>
      extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.EmptyTracebackStep
All Implemented Interfaces:
TracebackStep

public class EmptyTracebackStep
extends AbstractTracebackStep<OCLExpression>


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
EmptyTracebackStep(OCLExpression 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)
          When an IntegerLiteralExp or an UnlimitedNaturalLiteralExp or a StringLiteralExp or a RealLiteralExp or an EnumLiteralExp or a BooleanLiteralExp or a NullLiteralExp or an InvalidLiteralExp is traced back, an empty set is returned.
 
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

EmptyTracebackStep

public EmptyTracebackStep(OCLExpression 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)
When an IntegerLiteralExp or an UnlimitedNaturalLiteralExp or a StringLiteralExp or a RealLiteralExp or an EnumLiteralExp or a BooleanLiteralExp or a NullLiteralExp or an InvalidLiteralExp is traced back, an empty set is returned.

Specified by:
performSubsequentTraceback in class AbstractTracebackStep<OCLExpression>
See Also:
AbstractTracebackStep.performSubsequentTraceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification)