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

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer<EnumLiteralExp>
      org.eclipse.ocl.examples.impactanalyzer.instanceScope.EnumLiteralExpTracer

All Implemented Interfaces:

Tracer

public class EnumLiteralExpTracer
extends AbstractTracer<EnumLiteralExp>

Field Summary

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

oclFactory

Constructor Summary

EnumLiteralExpTracer(EnumLiteralExp 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

EnumLiteralExpTracer

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