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

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

public class InvalidlLiteralExpTracer
extends AbstractTracer<InvalidLiteralExp>


Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer
oclFactory
 
Constructor Summary
InvalidlLiteralExpTracer(InvalidLiteralExp expression, java.util.Stack<java.lang.String> tuplePartNames, OCLFactory oclFactory)
           
 
Method Summary
 
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, traceback, variablesIntroducedBetween
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InvalidlLiteralExpTracer

public InvalidlLiteralExpTracer(InvalidLiteralExp expression,
                                java.util.Stack<java.lang.String> tuplePartNames,
                                OCLFactory oclFactory)