Package | Description |
---|---|
org.eclipse.ocl.examples.debug.evaluator |
Modifier and Type | Field and Description |
---|---|
protected OCLVMModelManager |
OCLVMEvaluator.vmModelManager |
Modifier and Type | Method and Description |
---|---|
OCLVMModelManager |
OCLVMEnvironmentFactory.createVMModelManager(MetamodelManagerInternal metamodelManager) |
OCLVMModelManager |
OCLVMEvaluator.getVMModelManager() |