org.eclipse.ocl.examples.debug.evaluator

Class OCLVMNestedEvaluationEnvironment

java.lang.Object

org.eclipse.ocl.pivot.internal.evaluation.AbstractCustomizable

org.eclipse.ocl.pivot.internal.evaluation.BasicEvaluationEnvironment

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

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

org.eclipse.ocl.examples.debug.evaluator.OCLVMNestedEvaluationEnvironment

All Implemented Interfaces:

OCLVMEvaluationEnvironment, VMEvaluationEnvironment, EvaluationEnvironment, EvaluationEnvironment.EvaluationEnvironmentExtension, Adaptable, Customizable

public class OCLVMNestedEvaluationEnvironment
extends VMNestedEvaluationEnvironment
implements OCLVMEvaluationEnvironment

Nested Class Summary

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

VMEvaluationEnvironment.StepperEntry

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

EvaluationEnvironment.EvaluationEnvironmentExtension

Constructor Summary

Constructors

Constructor and Description
OCLVMNestedEvaluationEnvironment(OCLVMEvaluationEnvironment evaluationEnvironment, NamedElement executableObject, Object caller, long id)

Method Summary

Modifier and Type	Method and Description
OCLVMEvaluationEnvironment	createClonedEvaluationEnvironment()
Element	getCurrentIP()
UnitLocation	getCurrentLocation()
int	getDepth()
long	getID()
NamedElement	getOperation()
Variable	getPCVariable()
OCLVMEvaluationEnvironment	getVMParentEvaluationEnvironment()
OCLVMRootEvaluationEnvironment	getVMRootEvaluationEnvironment()
boolean	isDeferredExecution()
void	processDeferredTasks()
Element	setCurrentIP(Element element)
void	setOperation(NamedElement operation)
void	throwVMException(VMRuntimeException exception)

Methods inherited from class org.eclipse.ocl.examples.debug.vm.evaluator.VMNestedEvaluationEnvironment

getDebugCore, getDebuggableElement, getRootVMEvaluationEnvironment

Methods inherited from class org.eclipse.ocl.examples.debug.vm.evaluator.AbstractVMEvaluationEnvironment

createVariableFinder, getStepperStack

Methods inherited from class org.eclipse.ocl.pivot.internal.evaluation.BasicEvaluationEnvironment

add, clear, dispose, getAdapter, getEnvironmentFactory, getExecutableObject, getExecutor, getModelManager, getParent, getParentEvaluationEnvironment, getValue, getValueOf, getVariables, remove, replace, toString

Methods inherited from class org.eclipse.ocl.pivot.internal.evaluation.AbstractCustomizable

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

createVariableFinder, getDebugCore, getDebuggableElement, getStepperStack

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

Constructor Detail

OCLVMNestedEvaluationEnvironment

public OCLVMNestedEvaluationEnvironment(OCLVMEvaluationEnvironment evaluationEnvironment,
                                        NamedElement executableObject,
                                        Object caller,
                                        long id)

Method Detail

createClonedEvaluationEnvironment

public OCLVMEvaluationEnvironment createClonedEvaluationEnvironment()

Specified by:

createClonedEvaluationEnvironment in interface OCLVMEvaluationEnvironment

getCurrentIP

public Element getCurrentIP()

Specified by:

getCurrentIP in interface VMEvaluationEnvironment

getCurrentLocation

public UnitLocation getCurrentLocation()

Specified by:

getCurrentLocation in interface VMEvaluationEnvironment

getDepth

public int getDepth()

Specified by:

getDepth in interface VMEvaluationEnvironment

getID

public long getID()

Specified by:

getID in interface VMEvaluationEnvironment

getOperation

public NamedElement getOperation()

Specified by:

getOperation in interface VMEvaluationEnvironment

getPCVariable

public Variable getPCVariable()

Specified by:

getPCVariable in interface VMEvaluationEnvironment

getVMParentEvaluationEnvironment

public OCLVMEvaluationEnvironment getVMParentEvaluationEnvironment()

Specified by:

getVMParentEvaluationEnvironment in interface OCLVMEvaluationEnvironment

Specified by:

getVMParentEvaluationEnvironment in interface VMEvaluationEnvironment

Overrides:

getVMParentEvaluationEnvironment in class AbstractVMEvaluationEnvironment

getVMRootEvaluationEnvironment

public OCLVMRootEvaluationEnvironment getVMRootEvaluationEnvironment()

Specified by:

getVMRootEvaluationEnvironment in interface OCLVMEvaluationEnvironment

Specified by:

getVMRootEvaluationEnvironment in interface VMEvaluationEnvironment

isDeferredExecution

public boolean isDeferredExecution()

Specified by:

isDeferredExecution in interface VMEvaluationEnvironment

processDeferredTasks

public void processDeferredTasks()

Specified by:

processDeferredTasks in interface VMEvaluationEnvironment

setCurrentIP

public Element setCurrentIP(Element element)

Specified by:

setCurrentIP in interface VMEvaluationEnvironment

setOperation

public void setOperation(NamedElement operation)

throwVMException

public void throwVMException(VMRuntimeException exception)
                      throws VMRuntimeException

Specified by:

throwVMException in interface VMEvaluationEnvironment

Throws:

VMRuntimeException