org.eclipse.ocl.examples.debug.vm.evaluator
Interface IVMRootEvaluationEnvironment<T extends NamedElement>

All Superinterfaces:

Adaptable, BasicEnvironment, Customizable, DomainEvaluationEnvironment, EvaluationEnvironment, IVMEvaluationEnvironment<T>

All Known Implementing Classes:

OCLVMRootEvaluationEnvironment, VMRootEvaluationEnvironment

public interface IVMRootEvaluationEnvironment<T extends NamedElement>
extends IVMEvaluationEnvironment<T>

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.debug.vm.evaluator.IVMEvaluationEnvironment

IVMEvaluationEnvironment.StepperEntry

Method Summary

Methods inherited from interface org.eclipse.ocl.examples.debug.vm.evaluator.IVMEvaluationEnvironment

getCurrentIP, getCurrentLocation, getDebugCore, getDebuggableElement, getDepth, getID, getModelManager, getModelParameterVariables, getOperation, getParentEvaluationEnvironment, getPCVariable, getRootEvaluationEnvironment, getStepperStack, isDeferredExecution, processDeferredTasks, setCurrentIP, throwVMException

Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.EvaluationEnvironment

add, clear, createModelManager, getMetaModelManager, getType, getValueOf, getVariables, navigateAssociationClass, overrides, remove, replace

Methods inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainEvaluationEnvironment

createVariable

Methods inherited from interface org.eclipse.ocl.examples.pivot.Adaptable

getAdapter

Methods inherited from interface org.eclipse.ocl.examples.pivot.Customizable

clearOptions, getOptions, getValue, isEnabled, putOptions, removeOption, removeOptions, setOption