Package org.eclipse.ocl.examples.impactanalyzer.instanceScope

Interface Summary

AlwaysEmptyChangeListener
HashCodeChangeListener
NavigationStep	During instance scope analysis, starting from an event's source element, by navigation the analyzer is trying to find a small superset of those context elements for which re-evaluating the OCL expression may yield a different value after the event compared to the value the OCL expression would have returned before the event.
SourceTypeChangeListener
TargetTypeChangeListener
Tracer	All implementations must offer a constructor that takes a CoreConnection and a OclExpression impl subclass of the type handled by them as argument.

Class Summary

AbsoluteNavigationStep
AbstractNavigationStep	Abstract implementation of the NavigationStep interface.
AbstractPathCache<StepType>	The instance scope analysis's goal is to pre-compute steps for each PropertyCallExp subexpression in an OCL expression's expression tree.
AbstractTracer<T extends EObject>
AllInstancesNavigationStep
AllSubclassesFinder
AssociationNavigationStep
BooleanLiteralExpTracer
BranchingNavigationStep	A navigation step that branches in several paths and combines the results into one.
CollectionLiteralExpTracer
CompositeNavigationStep	A navigation step that branches in several paths and combines the results into one.
EmptyResultNavigationStep
EnumLiteralExpTracer
IdentityNavigationStep	Performs a trivial "identity" navigation, returning the fromObject again.
IfExpTracer
IndirectingStep	Steps of this type can be an empty placeholder during the analysis phase and can be filled in later, e.g., pointing to a real NavigationStep.
InstanceScopeAnalysis	Supports a lookup from a source model element of either an attribute value change event or a link add/remove event together with an OCLExpression to a set of context objects for which the expression may return a value different from the one it returned before the change event occurred.
IntegerLiteralExpTracer
InvalidlLiteralExpTracer
IterateExpTracer
IteratorExpTracer
LetExpTracer
NavigationStepSequence	Performs a sequence of navigation steps where the subsequent step uses as its input the output of the previous step.
NullLiteralExpTracer
OperationCallExpTracer
OppositePropertyCallExpTracer
OppositePropertyNavigationStep
PathCache	The instance scope analysis's goal is to compute NavigationStep objects for each AttributeCallExp and AssociationEndCallExp subexpression in an OCL expression's expression tree.
PredicateCheckNavigationStep	Evaluates an OCL expression that is expected to be the body expression of an iterator expression.
PropertyCallExpTracer
RealLiteralExpTracer
RefImmediateCompositeNavigationStep
StringLiteralExpTracer
TracebackCache	During the navigation of a NavigationStep tree, starting from an EObject, navigation steps may be reached several times with the same EObject at hand.
TupleLiteralExpTracer
TypeExpTracer
VariableExpTracer	Computes a NavigationStep for a VariableExp which, given an element constituting a value the variable shall assume, infers a set of elements which, when used as the value of the outermost expression's self variable, may lead the variable considered here to assume the expected value.