Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope |
Modifier and Type | Class and Description |
---|---|
class |
AbstractTracer<T extends org.eclipse.emf.ecore.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. |
Modifier and Type | Method and Description |
---|---|
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. |