Uses of Class
org.eclipse.ocl.examples.impactanalyzer.instanceScope.PathCache

Packages that use PathCache

org.eclipse.ocl.examples.impactanalyzer.instanceScope

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

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

protected PathCache

InstanceScopeAnalysis.getPathCache()

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

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 NavigationStep.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.

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

InstanceScopeAnalysis(OCLExpression expression, org.eclipse.emf.ecore.EClass exprContext, FilterSynthesisImpl filterSynthesizer, OppositeEndFinder oppositeEndFinder, PartialEvaluatorImpl partialEvaluator, ActivationOption configuration, OCLFactory oclFactory, PathCache pathCache, TracebackStepCache tracebackStepCache)

PredicateCheckNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, IteratorExp iteratorExp, PathCache pathCache, OCLFactory oclFactory)