org.eclipse.ocl.examples.impactanalyzer.instanceScope
Class CollectionLiteralExpTracer

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer<CollectionLiteralExp>
      extended by org.eclipse.ocl.examples.impactanalyzer.instanceScope.CollectionLiteralExpTracer
All Implemented Interfaces:
Tracer

public class CollectionLiteralExpTracer
extends AbstractTracer<CollectionLiteralExp>


Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer
oclFactory
 
Constructor Summary
CollectionLiteralExpTracer(CollectionLiteralExp expression, java.util.Stack<java.lang.String> tuplePartNames, OCLFactory oclFactory)
           
 
Method Summary
 NavigationStep 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.
 
Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer
applyScopesOnNavigationStep, calculateEnteringScope, calculateLeavingScopes, commonCompositionParent, commonCompositionParent, doesTypeMatch, doesTypeMatch, getAllVariablesInScope, getExpression, getExtendedListOfTuplePartNames, getInnermostElementType, getListOfTuplePartNamesWithFoundRemoved, getRootExpression, getTupleLiteralPartNamesToLookFor, getTuplePartNameLookedFor, getVariablesIntroducedBetweenHereAnd, getVariablesScopedByExpression, isLookingForTuplePart, variablesIntroducedBetween
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CollectionLiteralExpTracer

public CollectionLiteralExpTracer(CollectionLiteralExp expression,
                                  java.util.Stack<java.lang.String> tuplePartNames,
                                  OCLFactory oclFactory)
Method Detail

traceback

public NavigationStep traceback(org.eclipse.emf.ecore.EClass context,
                                PathCache pathCache,
                                OperationBodyToCallMapper operationBodyToCallMapper)
Description copied from class: AbstractTracer
By default, many expression types which, e.g., result in a primitive result, return an EmptyResultNavigationStep which is what this default implementation does.

Specified by:
traceback in interface Tracer
Overrides:
traceback in class AbstractTracer<CollectionLiteralExp>
Parameters:
context - the context type that defines the type of any self occurrence outside of operation bodies
pathCache - a global cache that remembers the navigation steps already computed for some OCL expressions
operationBodyToCallMapper - the filter synthesizer that analyzed an overall expression that contains the expression to be handled by this tracer