Modifier and Type | Class and Description |
---|---|
class |
OCLVMModelManager
OCL Domain Manager is the class responsible for managing the OCL virtual
machine meta-models and models.
|
Modifier and Type | Method and Description |
---|---|
ModelManager |
AbstractOCLVMEvaluationVisitor.getModelManager() |
Modifier and Type | Interface and Description |
---|---|
interface |
IVMModelManager
VM Domain Manager is the class responsible for managing the virtual
machine meta-models and models.
|
Modifier and Type | Class and Description |
---|---|
class |
VMModelManager
OCL Domain Manager is the class responsible for managing the OCL virtual
machine meta-models and models.
|
Modifier and Type | Field and Description |
---|---|
static ModelManager |
ModelManager.NULL |
Modifier and Type | Method and Description |
---|---|
ModelManager |
EvaluationEnvironment.getModelManager() |
ModelManager |
EvaluationVisitor.getModelManager()
Obtains the mapping of model classes to their extents.
|
ModelManager |
Evaluator.getModelManager()
Return the manager of all model instances for use by allInstances() and hidden opposite support.
|
Modifier and Type | Class and Description |
---|---|
class |
PivotModelManager |
Modifier and Type | Field and Description |
---|---|
protected ModelManager |
AbstractEvaluationVisitor.modelManager |
protected ModelManager |
BasicEvaluationEnvironment.modelManager |
Modifier and Type | Method and Description |
---|---|
ModelManager |
AbstractEvaluationVisitor.getModelManager() |
ModelManager |
AbstractEvaluationVisitorDecorator.getModelManager()
Obtains my delegate's extent map.
|
ModelManager |
BasicEvaluationEnvironment.getModelManager() |
Constructor and Description |
---|
BasicEvaluationEnvironment(EnvironmentFactory environmentFactory,
NamedElement executableObject,
ModelManager modelManager) |
Modifier and Type | Method and Description |
---|---|
ModelManager |
EcoreExecutorManager.getModelManager() |
Modifier and Type | Class and Description |
---|---|
class |
LazyModelManager
A self-populating map that lazily creates the extent of a class when asked
for it.
|
Modifier and Type | Method and Description |
---|---|
ModelManager |
PivotExecutorManager.getModelManager() |
Modifier and Type | Method and Description |
---|---|
protected ModelManager |
AbstractEnvironmentFactory.createModelManager() |
ModelManager |
AbstractEnvironmentFactory.createModelManager(java.lang.Object object)
Creates an extent map for invocation of OclType.allInstances()
using the specified
object as a context from which to find
the scope in which OCL classifier extents are defined. |
ModelManager |
EnvironmentFactory.createModelManager(java.lang.Object object)
Creates an extent map for invocation of OclType.allInstances()
using the specified
object as a context from which to find
the scope in which OCL classifier extents are defined. |
ModelManager |
OCL.getModelManager()
Obtains the model manager, if any, provided by the client to customize the
evaluation of constraints.
|
Modifier and Type | Method and Description |
---|---|
EvaluationEnvironment |
AbstractEnvironmentFactory.createEvaluationEnvironment(NamedElement executableObject,
ModelManager modelManager) |
EvaluationEnvironment |
EnvironmentFactory.createEvaluationEnvironment(NamedElement executableObject,
ModelManager modelManager)
Creates a new evaluation environment to track the values of variables in
an OCL expression as it is evaluated.
|
EvaluationVisitor |
AbstractEnvironmentFactory.createEvaluationVisitor(java.lang.Object context,
ExpressionInOCL expression,
ModelManager modelManager) |
EvaluationVisitor |
EnvironmentFactory.createEvaluationVisitor(java.lang.Object context,
ExpressionInOCL expression,
ModelManager modelManager)
Creates a new evaluation visitor, for the evaluation of an OCL expression on a context using an environment and a modelManager.
|
void |
OCL.setModelManager(ModelManager modelManager)
Assigns a custom extent map to define the extents of classes in
evaluation of OCL constraints.
|