Uses of Interface
org.eclipse.ocl.examples.impactanalyzer.util.OperationCallExpKeyedSet

Packages that use OperationCallExpKeyedSet

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

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

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return OperationCallExpKeyedSet

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, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.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)
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.

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

void	TracebackCache.put(TracebackStep step, AnnotatedEObject from, UnusedEvaluationRequestSet pendingUnusedEvaluationRequests, OperationCallExpKeyedSet result)

Uses of OperationCallExpKeyedSet in org.eclipse.ocl.examples.impactanalyzer.util

Classes in org.eclipse.ocl.examples.impactanalyzer.util that implement OperationCallExpKeyedSet

class	FlatSet A simplified implementation of the OperationCallExpKeyedSet interface which is actually unable to associate the AnnotatedEObjects with OperationCallExp expressions but instead just keeps the AnnotatedEObjects as flat sets.
class	IterableAsOperationCallExpKeyedSet Encapsulates an Iterable of AnnotatedEObjects as if it could be queried for the specific operation call expression through which a subset of it was traced.
class	OperationCallExpKeyedSetImpl Immutable implementation of a data structure keyed by OperationCallExp expressions where the values are sets of E objects.

Methods in org.eclipse.ocl.examples.impactanalyzer.util that return OperationCallExpKeyedSet

OperationCallExpKeyedSet	OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(AnnotatedEObject aeo)
OperationCallExpKeyedSet	OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(java.util.Collection<OperationCallExpKeyedSet> sets)
OperationCallExpKeyedSet	OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(OperationCallExp oce, OperationCallExpKeyedSet c)
static OperationCallExpKeyedSet	FlatSet.emptySet()
OperationCallExpKeyedSet	OperationCallExpKeyedSetFactory.emptySet()

Methods in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type OperationCallExpKeyedSet

OperationCallExpKeyedSet

OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(OperationCallExp oce, OperationCallExpKeyedSet c)

Method parameters in org.eclipse.ocl.examples.impactanalyzer.util with type arguments of type OperationCallExpKeyedSet

OperationCallExpKeyedSet

OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(java.util.Collection<OperationCallExpKeyedSet> sets)

Constructor parameters in org.eclipse.ocl.examples.impactanalyzer.util with type arguments of type OperationCallExpKeyedSet

FlatSet(java.util.Collection<OperationCallExpKeyedSet> sets)