Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
Modifier and Type | Method and Description |
---|---|
protected abstract OperationCallExpKeyedSet |
AbstractTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent)
This method is used to invoke the
TracebackStep.traceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification) method on all necessary subsequent TracebackStep s and return their results. |
protected OperationCallExpKeyedSet |
BranchingTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
EmptyTracebackStep.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. |
protected OperationCallExpKeyedSet |
IteratorTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
OperationCallTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
OppositePropertyCallTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
PropertyCallTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
VariableTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
AbstractTracebackStep.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
AbstractTracebackStep.TracebackStepAndScopeChange.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
TracebackStep.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent)
When being executed, the step computes a conservative superset of the objects that, when used as the context for the
overall
OCLExpression , may cause the expression for which this TracebackStep was created to evaluate to
source . |
Modifier and Type | Method and Description |
---|---|
static UnusedEvaluationRequestSet.UnusedEvaluationResult |
UnusedEvaluationRequestSet.evaluate(java.util.Collection<UnusedEvaluationRequest> requestsToEvaluate,
OppositeEndFinder oppositeEndFinder,
TracebackCache tracebackCache,
OCLFactory oclFactory)
Evaluates the
requestsToEvaluate . |
UnusedEvaluationRequestSet.UnusedEvaluationResult |
UnusedEvaluationRequestSet.setVariable(Variable variable,
org.eclipse.emf.ecore.EObject value,
OppositeEndFinder oppositeEndFinder,
TracebackCache tracebackCache,
OCLFactory oclFactory)
Announces that the value for a variable was inferred.
|