Package | Description |
---|---|
org.eclipse.ocl.examples.debug.evaluator | |
org.eclipse.ocl.examples.debug.vm.evaluator |
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 |
---|---|
IVMModelManager |
OCLVMEvaluationVisitor.getModelManager() |
Modifier and Type | Method and Description |
---|---|
IOCLVMEvaluationEnvironment |
OCLVMEnvironmentFactory.createVMEvaluationEnvironment(ExpressionInOCL executableObject,
IVMModelManager vmModelManager) |
Constructor and Description |
---|
OCLVMRootEvaluationEnvironment(IVMEnvironmentFactory vmEnvironmentFactory,
ExpressionInOCL executableObject,
IVMModelManager modelManager,
long id) |
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 | Method and Description |
---|---|
IVMModelManager |
IVMEvaluationEnvironment.getModelManager() |
IVMModelManager |
VMEvaluationEnvironment.getModelManager() |
IVMModelManager |
IVMEvaluator.getVMModelManager() |
Constructor and Description |
---|
VMEvaluationEnvironment(IVMEnvironmentFactory vmEnvironmentFactory,
NamedElement executableObject,
IVMModelManager modelManager) |
VMRootEvaluationEnvironment(IVMEnvironmentFactory vmEnvironmentFactory,
NamedElement executableObject,
IVMModelManager modelManager) |