org.eclipse.ocl.examples.debug.vm.evaluator

Interface VMEvaluationEnvironment

All Superinterfaces:

Adaptable, Customizable, EvaluationEnvironment, EvaluationEnvironment.EvaluationEnvironmentExtension

All Known Subinterfaces:

OCLVMEvaluationEnvironment

All Known Implementing Classes:

AbstractVMEvaluationEnvironment, OCLVMNestedEvaluationEnvironment, OCLVMRootEvaluationEnvironment, VMNestedEvaluationEnvironment, VMRootEvaluationEnvironment

public interface VMEvaluationEnvironment
extends EvaluationEnvironment.EvaluationEnvironmentExtension

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	VMEvaluationEnvironment.StepperEntry

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.evaluation.EvaluationEnvironment

EvaluationEnvironment.EvaluationEnvironmentExtension

Method Summary

Modifier and Type	Method and Description
VariableFinder	createVariableFinder(boolean isStoreValues)
Element	getCurrentIP()
UnitLocation	getCurrentLocation()
VMDebugCore	getDebugCore()
NamedElement	getDebuggableElement()
int	getDepth()
long	getID()
NamedElement	getOperation()
Variable	getPCVariable()
Stack<VMEvaluationEnvironment.StepperEntry>	getStepperStack()
VMEvaluationEnvironment	getVMParentEvaluationEnvironment()
VMEvaluationEnvironment	getVMRootEvaluationEnvironment()
boolean	isDeferredExecution()
void	processDeferredTasks()
Element	setCurrentIP(Element element)
void	throwVMException(VMRuntimeException vmRuntimeException)

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

getExecutor, getParentEvaluationEnvironment

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

add, clear, dispose, getEnvironmentFactory, getExecutableObject, getModelManager, getValueOf, getVariables, remove, replace

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

getAdapter

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

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

Method Detail

createVariableFinder

VariableFinder createVariableFinder(boolean isStoreValues)

getCurrentIP

Element getCurrentIP()

getCurrentLocation

UnitLocation getCurrentLocation()

getDebugCore

VMDebugCore getDebugCore()

getDebuggableElement

NamedElement getDebuggableElement()

getDepth

int getDepth()

getID

long getID()

getOperation

NamedElement getOperation()

getPCVariable

Variable getPCVariable()

getVMParentEvaluationEnvironment

VMEvaluationEnvironment getVMParentEvaluationEnvironment()

getVMRootEvaluationEnvironment

VMEvaluationEnvironment getVMRootEvaluationEnvironment()

getStepperStack

Stack<VMEvaluationEnvironment.StepperEntry> getStepperStack()

isDeferredExecution

boolean isDeferredExecution()

processDeferredTasks

void processDeferredTasks()

setCurrentIP

Element setCurrentIP(Element element)

throwVMException

void throwVMException(VMRuntimeException vmRuntimeException)