Package | Description |
---|---|
org.eclipse.ocl.examples.debug.evaluator | |
org.eclipse.ocl.examples.debug.launching |
Modifier and Type | Field and Description |
---|---|
protected OCLVMEnvironmentFactory |
OCLVMEvaluator.vmEnvironmentFactory |
Modifier and Type | Method and Description |
---|---|
OCLVMEnvironmentFactory |
OCLVMEvaluator.getEnvironmentFactory() |
OCLVMEnvironmentFactory |
IOCLVMEvaluationEnvironment.getVMEnvironmentFactory() |
OCLVMEnvironmentFactory |
OCLVMNestedEvaluationEnvironment.getVMEnvironmentFactory() |
OCLVMEnvironmentFactory |
OCLVMRootEvaluationEnvironment.getVMEnvironmentFactory() |
Constructor and Description |
---|
OCLVMEvaluator(OCLVMEnvironmentFactory vmEnvironmentFactory,
Constraint constraint,
org.eclipse.emf.ecore.EObject context) |
OCLVMEvaluator(OCLVMEnvironmentFactory vmEnvironmentFactory,
ExpressionInOCL expressionInOCL,
org.eclipse.emf.ecore.EObject context) |
OCLVMEvaluator(OCLVMEnvironmentFactory vmEnvironmentFactory,
org.eclipse.emf.common.util.URI oclURI,
org.eclipse.emf.common.util.URI contextURI) |
Constructor and Description |
---|
OCLInternalDebuggableExecutor(OCLEvaluationContext evaluationContext,
OCLVMEnvironmentFactory vmEnvironmentFactory) |