Uses of Class
org.eclipse.ocl.examples.impactanalyzer.util.AnnotatedEObject

Packages that use AnnotatedEObject

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

Uses of AnnotatedEObject in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return AnnotatedEObject

protected AnnotatedEObject

AbstractNavigationStep.annotateEObject(AnnotatedEObject fromObject, org.eclipse.emf.ecore.EObject next)

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return types with arguments of type AnnotatedEObject

java.util.Set<AnnotatedEObject>	TracebackCache.get(NavigationStep step, AnnotatedEObject from) Looks up a previously entered result for the step where navigation started at the from object.
protected java.util.Collection<AnnotatedEObject>	InstanceScopeAnalysis.getSourceElement(org.eclipse.emf.common.notify.Notification changeEvent, NavigationCallExp attributeOrAssociationEndCall)
protected abstract java.util.Set<AnnotatedEObject>	AbstractNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	AllInstancesNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	AssociationNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	BranchingNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	EmptyResultNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	IdentityNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	IndirectingStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	NavigationStepSequence.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	OppositePropertyNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	PredicateCheckNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification atPre)
protected java.util.Set<AnnotatedEObject>	RefImmediateCompositeNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
java.util.Set<AnnotatedEObject>	AbstractNavigationStep.navigate(java.util.Set<AnnotatedEObject> from, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent) Breaks down the navigation from the from set to the individual elements in from and manages the type checks.
java.util.Set<AnnotatedEObject>	NavigationStep.navigate(java.util.Set<AnnotatedEObject> from, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)

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

protected AnnotatedEObject	AbstractNavigationStep.annotateEObject(AnnotatedEObject fromObject, org.eclipse.emf.ecore.EObject next)
protected boolean	AbstractNavigationStep.doesSourceTypeMatch(AnnotatedEObject fromObject)
protected boolean	BranchingNavigationStep.doesSourceTypeMatch(AnnotatedEObject fromObject)
static boolean	AbstractTracer.doesTypeMatch(org.eclipse.emf.ecore.EClass sourceType, AnnotatedEObject fromObject)
java.util.Set<AnnotatedEObject>	TracebackCache.get(NavigationStep step, AnnotatedEObject from) Looks up a previously entered result for the step where navigation started at the from object.
protected abstract java.util.Set<AnnotatedEObject>	AbstractNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	AllInstancesNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	AssociationNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	BranchingNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	EmptyResultNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	IdentityNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	IndirectingStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	NavigationStepSequence.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	OppositePropertyNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
protected java.util.Set<AnnotatedEObject>	PredicateCheckNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification atPre)
protected java.util.Set<AnnotatedEObject>	RefImmediateCompositeNavigationStep.navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
void	TracebackCache.put(NavigationStep step, AnnotatedEObject from, java.util.Set<AnnotatedEObject> result)

Method parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope with type arguments of type AnnotatedEObject

protected void	AbstractNavigationStep.incrementNavigateCounter(java.util.Set<AnnotatedEObject> from) The incrementing of the navigate counter gets its own protected method because subclasses must be able to suppress incrementing under special circumstances (e.g.
protected void	IndirectingStep.incrementNavigateCounter(java.util.Set<AnnotatedEObject> from) Overrides incrementNavigateCounter to suppress counting of additional navigate() call in case of a recursion
java.util.Set<AnnotatedEObject>	AbstractNavigationStep.navigate(java.util.Set<AnnotatedEObject> from, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent) Breaks down the navigation from the from set to the individual elements in from and manages the type checks.
java.util.Set<AnnotatedEObject>	NavigationStep.navigate(java.util.Set<AnnotatedEObject> from, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)
void	TracebackCache.put(NavigationStep step, AnnotatedEObject from, java.util.Set<AnnotatedEObject> result)

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

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

protected AnnotatedEObject	AbstractTracebackStep.annotateEObject(AnnotatedEObject object) Annotates a non-navigation where object is forwarded unchanged from this step to another.
protected AnnotatedEObject	AbstractTracebackStep.annotateEObject(AnnotatedEObject fromObject, org.eclipse.emf.ecore.EObject next) Annotates a navigation from fromObject to next by taking over fromObject's annotation, adding a description of this step and telling at which object the navigation arrived.

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return types with arguments of type AnnotatedEObject

protected java.util.Set<AnnotatedEObject>

AbstractTracebackStep.annotate(AnnotatedEObject fromObject, java.util.Set<AnnotatedEObject> newResults) If in debug mode, creates a new AnnotatedEObject for each one in newResults, assuming that there is no "from" object; as an alibi "from" object, the annotated objects from newResults are used.

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

protected java.util.Set<AnnotatedEObject>	AbstractTracebackStep.annotate(AnnotatedEObject fromObject, java.util.Set<AnnotatedEObject> newResults) If in debug mode, creates a new AnnotatedEObject for each one in newResults, assuming that there is no "from" object; as an alibi "from" object, the annotated objects from newResults are used.
protected AnnotatedEObject	AbstractTracebackStep.annotateEObject(AnnotatedEObject object) Annotates a non-navigation where object is forwarded unchanged from this step to another.
protected AnnotatedEObject	AbstractTracebackStep.annotateEObject(AnnotatedEObject fromObject, org.eclipse.emf.ecore.EObject next) Annotates a navigation from fromObject to next by taking over fromObject's annotation, adding a description of this step and telling at which object the navigation arrived.
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)
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.

Method parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with type arguments of type AnnotatedEObject

protected java.util.Set<AnnotatedEObject>

AbstractTracebackStep.annotate(AnnotatedEObject fromObject, java.util.Set<AnnotatedEObject> newResults) If in debug mode, creates a new AnnotatedEObject for each one in newResults, assuming that there is no "from" object; as an alibi "from" object, the annotated objects from newResults are used.

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

Methods in org.eclipse.ocl.examples.impactanalyzer.util that return types with arguments of type AnnotatedEObject

java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>>	FlatSet.entrySet() The returned iterable's iterator produces a single element with this set contained as iterable value, or an empty iterable in case this set is empty.
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>>	IterableAsOperationCallExpKeyedSet.entrySet()
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>>	OperationCallExpKeyedSet.entrySet()
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>>	OperationCallExpKeyedSetImpl.entrySet()
java.lang.Iterable<AnnotatedEObject>	FlatSet.getCombinedResultsFor(OperationCallExp oce) The combined results is this set itself because it always contains all results for all operation calls, already combined.
java.lang.Iterable<AnnotatedEObject>	IterableAsOperationCallExpKeyedSet.getCombinedResultsFor(OperationCallExp oce)
java.lang.Iterable<AnnotatedEObject>	OperationCallExpKeyedSet.getCombinedResultsFor(OperationCallExp oce)
java.lang.Iterable<AnnotatedEObject>	OperationCallExpKeyedSetImpl.getCombinedResultsFor(OperationCallExp oce)
java.lang.Iterable<AnnotatedEObject>	EntryIterableWithIterableForNullKey.getValue()
java.util.Iterator<AnnotatedEObject>	IterableAsOperationCallExpKeyedSet.iterator()
java.util.Iterator<AnnotatedEObject>	OperationCallExpKeyedSetImpl.iterator()
java.lang.Iterable<AnnotatedEObject>	EntryIterableWithIterableForNullKey.setValue(java.lang.Iterable<AnnotatedEObject> value)

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

OperationCallExpKeyedSet

OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(AnnotatedEObject aeo)

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

java.lang.Iterable<AnnotatedEObject>

EntryIterableWithIterableForNullKey.setValue(java.lang.Iterable<AnnotatedEObject> value)

Constructors in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type AnnotatedEObject

AnnotatedEObject(org.eclipse.emf.ecore.EObject objectReached, AnnotatedEObject from, java.lang.String comment)

FlatSet(AnnotatedEObject aeo)

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

EntryIterableWithIterableForNullKey(java.lang.Iterable<AnnotatedEObject> iterable)

IterableAsOperationCallExpKeyedSet(java.lang.Iterable<AnnotatedEObject> iterable)