Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope |
Modifier and Type | Class and Description |
---|---|
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. |
Constructor and Description |
---|
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.
|