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.