Uses of Interface
org.eclipse.ocl.examples.impactanalyzer.instanceScope.NavigationStep

Packages that use NavigationStep

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

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

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

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

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

Modifier and Type	Method and Description
protected NavigationStep	PathCache.createStep(OCLExpression sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, OCLFactory oclFactory)
NavigationStep	IndirectingStep.getActualStep()
NavigationStep	IndirectingStep.IndirectingStepSemanticIdentity.getStep()
NavigationStep[]	CompositeNavigationStep.getSteps()
protected NavigationStep	PathCache.navigationStepForBranch(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression expression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, boolean requireExactMatchForSourceType, NavigationStep... steps) A non-caching, no-cache-lookup factory operation for a branching step for steps.
protected NavigationStep	PathCache.navigationStepFromSequence(OCLExpression expression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, NavigationStep... steps) A factory method for NavigationSteps that combines a sequence of navigation steps into a single new one.
NavigationStep	PathCache.reduceToCachedStep(NavigationStep step)
NavigationStep	AbstractTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper) By default, many expression types which, e.g., result in a primitive result, return an EmptyResultNavigationStep which is what this default implementation does.
NavigationStep	CollectionLiteralExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	IfExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	IterateExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	IteratorExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	LetExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	OperationCallExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	OppositePropertyCallExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	PropertyCallExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	Tracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper filterSynthesizer) Computes a navigation step that when executed, computes a set of elements containing at least all context elements such that when the overall expression of which the expression represented by this tracer is a part, is evaluated for such an element, the sub-expression represented by this tracer evaluates to the element passed to the navigation step's navigate(Set, TracebackCache, Notification) operation in the set parameter.
NavigationStep	TupleLiteralExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
NavigationStep	VariableExpTracer.traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper) The step produced will be invoked with the value for the variable.

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

Modifier and Type	Method and Description
void	CompositeNavigationStep.afterHashCodeChange(NavigationStep step, int token)
void	HashCodeChangeListener.afterHashCodeChange(NavigationStep step, int token) Called after the step's SemanticIdentity hash code has changed.
void	IndirectingStep.afterHashCodeChange(NavigationStep step, int token)
void	PathCache.afterHashCodeChange(NavigationStep step, int token)
void	AlwaysEmptyChangeListener.alwaysEmptyChanged(NavigationStep stepForWhichAlwaysEmptyChanged)
protected void	AbstractTracer.applyScopesOnNavigationStep(NavigationStep step, OperationBodyToCallMapper operationBodyToCallMapper)
void	CompositeNavigationStep.beforeHashCodeChange(NavigationStep step, int token)
void	HashCodeChangeListener.beforeHashCodeChange(NavigationStep step, int token) Invoked before step's SemanticIdentity changes its hash code.
void	IndirectingStep.beforeHashCodeChange(NavigationStep step, int token)
void	PathCache.beforeHashCodeChange(NavigationStep step, int token)
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 NavigationStep	PathCache.navigationStepForBranch(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression expression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, boolean requireExactMatchForSourceType, NavigationStep... steps) A non-caching, no-cache-lookup factory operation for a branching step for steps.
protected NavigationStep	PathCache.navigationStepFromSequence(OCLExpression expression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, NavigationStep... steps) A factory method for NavigationSteps that combines a sequence of navigation steps into a single new one.
void	TracebackCache.put(NavigationStep step, AnnotatedEObject from, java.util.Set<AnnotatedEObject> result)
void	PathCache.put(OCLExpression subexpression, java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor, NavigationStep path) Also adds path to PathCache.allNavigationSteps.
NavigationStep	PathCache.reduceToCachedStep(NavigationStep step)
void	IndirectingStep.setActualStep(NavigationStep actualStep)
void	SourceTypeChangeListener.sourceTypeChanged(NavigationStep stepForWhichSourceTypeChanged)
void	TargetTypeChangeListener.targetTypeChanged(NavigationStep stepForWhichTargetTypeChanged)

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

Modifier and Type	Method and Description
java.lang.String	AbstractNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	AllInstancesNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	AssociationNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	BranchingNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	EmptyResultNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	IdentityNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	IndirectingStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	NavigationStepSequence.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	OppositePropertyNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.lang.String	PredicateCheckNavigationStep.contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
java.util.List<SemanticIdentity>	PathCache.getSemanticIdentities(java.util.List<NavigationStep> steps)
protected int	AbstractNavigationStep.size(java.util.Set<NavigationStep> visited) The default size in particular for atomic navigation steps is 1.
protected int	CompositeNavigationStep.size(java.util.Set<NavigationStep> visited) The default size in particular for atomic navigation steps is 1.
protected int	IndirectingStep.size(java.util.Set<NavigationStep> visited) An indirecting step 1.
protected java.lang.String	AbstractNavigationStep.toString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type NavigationStep

Constructor and Description
BranchingNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo, boolean requireExactMatchForSourceType, NavigationStep... parallelSteps)
CompositeNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, OCLExpression debugInfo, NavigationStep... steps)
NavigationStepSequence(OCLExpression debugInfo, NavigationStep... steps) Because some NavigationSteps such as IndirectingStep may change their source/target type as they get lazily initialized, this constructor passes on null as source/target type.

Uses of NavigationStep in org.eclipse.ocl.examples.impactanalyzer.instanceScope.debug

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

Modifier and Type	Method and Description
void	NavigationStepDebugHelperExtension.printGraph(NavigationStep step, java.lang.String path)
static void	NavigationStepDebugHelper.printGraphFile(NavigationStep step, java.lang.String path)

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

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

Modifier and Type	Method and Description
abstract NavigationStep	SemanticIdentity.getStep()