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

Constructors

Constructor and Description
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)