Uses of Class
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation.UnusedEvaluationRequestSet

Packages that use UnusedEvaluationRequestSet

org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Uses of UnusedEvaluationRequestSet in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type UnusedEvaluationRequestSet

OperationCallExpKeyedSet	TracebackCache.get(TracebackStep step, AnnotatedEObject from, UnusedEvaluationRequestSet pendingUnusedEvaluationRequests) Looks up a previously entered result for the step where navigation started at the from object.
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 TracebackSteps 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)
void	TracebackCache.put(TracebackStep step, AnnotatedEObject from, UnusedEvaluationRequestSet pendingUnusedEvaluationRequests, OperationCallExpKeyedSet result)
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.

Uses of UnusedEvaluationRequestSet in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that return UnusedEvaluationRequestSet

UnusedEvaluationRequestSet	UnusedEvaluationRequestSet.createReducedSet(java.util.Set<Variable> variablesThatLeaveOrEnterScope, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory) Computes a new set of UnusedEvaluationRequests by copying all those requests not keyed by a variable that entered or left scope.
UnusedEvaluationRequestSet	UnusedEvaluationRequestSet.UnusedEvaluationResult.getNewRequestSet()
UnusedEvaluationRequestSet	UnusedEvaluationRequestSet.merge(UnusedEvaluationRequestSet other) Produces a new instance of this class whose requests map holds the combined sets of UnusedEvaluationRequests from this and the other set.

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type UnusedEvaluationRequestSet

UnusedEvaluationRequestSet

UnusedEvaluationRequestSet.merge(UnusedEvaluationRequestSet other) Produces a new instance of this class whose requests map holds the combined sets of UnusedEvaluationRequests from this and the other set.