Uses of Interface
org.eclipse.ocl.examples.impactanalyzer.instanceScope.Tracer

Packages that use Tracer

org.eclipse.ocl.examples.impactanalyzer.instanceScope

Uses of Tracer in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope that implement Tracer

class	AbstractTracer<T extends EObject>
class	BooleanLiteralExpTracer
class	CollectionLiteralExpTracer
class	EnumLiteralExpTracer
class	IfExpTracer
class	IntegerLiteralExpTracer
class	InvalidlLiteralExpTracer
class	IterateExpTracer
class	IteratorExpTracer
class	LetExpTracer
class	NullLiteralExpTracer
class	OperationCallExpTracer
class	OppositePropertyCallExpTracer
class	PropertyCallExpTracer
class	RealLiteralExpTracer
class	StringLiteralExpTracer
class	TupleLiteralExpTracer
class	TypeExpTracer
class	VariableExpTracer Computes a NavigationStep for a VariableExp which, given an element constituting a value the variable shall assume, infers a set of elements which, when used as the value of the outermost expression's self variable, may lead the variable considered here to assume the expected value.

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return Tracer

protected Tracer

InstanceScopeAnalysis.createTracer(OCLExpression expression, java.util.Stack<java.lang.String> tuplePartNames, OCLFactory oclFactory) Factory method that creates an instance of some Tracer-implementing class specific to the type of the OCL expression.