public class PropertyCallExpTracer extends AbstractTracer<PropertyCallExp>
oclFactory
Constructor and Description |
---|
PropertyCallExpTracer(PropertyCallExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory) |
Modifier and Type | Method and Description |
---|---|
NavigationStep |
traceback(org.eclipse.emf.ecore.EClass context,
PathCache pathCache,
OperationBodyToCallMapper operationBodyToCallMapper)
By default, many expression types which, e.g., result in a primitive result, return an
EmptyResultNavigationStep
which is what this default implementation does. |
applyScopesOnNavigationStep, calculateEnteringScope, calculateLeavingScopes, commonCompositionParent, commonCompositionParent, doesTypeMatch, doesTypeMatch, getAllVariablesInScope, getExpression, getExtendedListOfTuplePartNames, getInnermostElementType, getListOfTuplePartNamesWithFoundRemoved, getRootExpression, getTupleLiteralPartNamesToLookFor, getTuplePartNameLookedFor, getVariablesIntroducedBetweenHereAnd, getVariablesScopedByExpression, isLookingForTuplePart, variablesIntroducedBetween
public PropertyCallExpTracer(PropertyCallExp expression, java.util.Stack<java.lang.String> tuplePartNames, OCLFactory oclFactory)
public NavigationStep traceback(org.eclipse.emf.ecore.EClass context, PathCache pathCache, OperationBodyToCallMapper operationBodyToCallMapper)
AbstractTracer
EmptyResultNavigationStep
which is what this default implementation does.traceback
in interface Tracer
traceback
in class AbstractTracer<PropertyCallExp>
context
- the context type that defines the type of any self occurrence outside of operation bodiespathCache
- a global cache that remembers the navigation steps already computed for some OCL expressionsoperationBodyToCallMapper
- the filter synthesizer that analyzed an overall expression that contains the expression to be handled by this
tracer