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

Packages that use SemanticComparable

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

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

Subinterfaces of SemanticComparable in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Modifier and Type	Interface and Description
interface	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.

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope that implement SemanticComparable

Modifier and Type	Class and Description
class	AbsoluteNavigationStep
class	AbstractNavigationStep Abstract implementation of the NavigationStep interface.
class	AllInstancesNavigationStep
class	AssociationNavigationStep
class	BranchingNavigationStep A navigation step that branches in several paths and combines the results into one.
class	CompositeNavigationStep A navigation step that branches in several paths and combines the results into one.
class	EmptyResultNavigationStep
class	IdentityNavigationStep Performs a trivial "identity" navigation, returning the fromObject again.
class	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.
class	NavigationStepSequence Performs a sequence of navigation steps where the subsequent step uses as its input the output of the previous step.
class	OppositePropertyNavigationStep
class	PredicateCheckNavigationStep Evaluates an OCL expression that is expected to be the body expression of an iterator expression.
class	RefImmediateCompositeNavigationStep