public class EmptyTracebackStep extends AbstractTracebackStep<OCLExpression>
AbstractTracebackStep.TracebackStepAndScopeChange, AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp
oclFactory, provenUnused, requiredType, tracebackExecutions
Constructor and Description |
---|
EmptyTracebackStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory) |
Modifier and Type | Method and Description |
---|---|
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. |
annotate, annotateEObject, annotateEObject, cloneWithTypeCheck, createTracebackStepAndScopeChange, createTracebackStepAndScopeChange, getAllVariablesInScope, getExpression, getInnermostClass, getInnermostElementType, getInnermostTypeConsideringTupleLiteralsLookedFor, getOppositeEndFinder, getVariablesScopedByExpression, traceback
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)
protected OperationCallExpKeyedSet performSubsequentTraceback(AnnotatedEObject source, UnusedEvaluationRequestSet pendingUnusedEvalRequests, TracebackCache tracebackCache, org.eclipse.emf.common.notify.Notification changeEvent)
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.