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()
java.util.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

@NonNull
VariableFinder createVariableFinder(boolean isStoreValues)

getCurrentIP

@NonNull
Element getCurrentIP()

getCurrentLocation

@NonNull
UnitLocation getCurrentLocation()

getDebugCore

@NonNull
VMDebugCore getDebugCore()

getDebuggableElement

@NonNull
NamedElement getDebuggableElement()

getDepth

int getDepth()

getID

long getID()

getOperation

@NonNull
NamedElement getOperation()

getPCVariable

@NonNull
Variable getPCVariable()

getVMParentEvaluationEnvironment

@Nullable
VMEvaluationEnvironment getVMParentEvaluationEnvironment()

getVMRootEvaluationEnvironment

@NonNull
VMEvaluationEnvironment getVMRootEvaluationEnvironment()

getStepperStack

@NonNull
java.util.Stack<VMEvaluationEnvironment.StepperEntry> getStepperStack()

isDeferredExecution

boolean isDeferredExecution()

processDeferredTasks

void processDeferredTasks()

setCurrentIP

@NonNull
Element setCurrentIP(@NonNull
                               Element element)

throwVMException

void throwVMException(@NonNull
                      VMRuntimeException vmRuntimeException)