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

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer<TypeExp>
      org.eclipse.ocl.examples.impactanalyzer.instanceScope.TypeExpTracer

All Implemented Interfaces:

Tracer

public class TypeExpTracer
extends AbstractTracer<TypeExp>

Field Summary

Fields inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer

oclFactory

Constructor Summary

TypeExpTracer(TypeExp 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

TypeExpTracer

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