org.eclipse.ocl.examples.impactanalyzer.instanceScope

Class InvalidlLiteralExpTracer

java.lang.Object

org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer<InvalidLiteralExp>

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

Constructors

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