Uses of Class
org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractTracer

Packages that use AbstractTracer

org.eclipse.ocl.examples.impactanalyzer.instanceScope

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

Subclasses of AbstractTracer in org.eclipse.ocl.examples.impactanalyzer.instanceScope

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.

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type AbstractTracer

AbstractTracer(T expression, AbstractTracer<?> caller, java.lang.String additionalTuplePartNameToLookFor, OCLFactory oclFactory)
Creates a tracer for OCL expression expression and adding another tuple part name to the list of tuple parts to look for as already defined for the caller tracer.