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

All Superinterfaces:

Adaptable, BasicEnvironment, Customizable, DomainEvaluationEnvironment, EvaluationEnvironment

All Known Subinterfaces:

IOCLVMEvaluationEnvironment, IVMRootEvaluationEnvironment<T>

All Known Implementing Classes:

OCLVMNestedEvaluationEnvironment, OCLVMRootEvaluationEnvironment, VMEvaluationEnvironment, VMNestedEvaluationEnvironment, VMRootEvaluationEnvironment

public interface IVMEvaluationEnvironment<T extends NamedElement>
extends EvaluationEnvironment

Nested Class Summary

static class

IVMEvaluationEnvironment.StepperEntry

Method Summary

Element	getCurrentIP()
UnitLocation	getCurrentLocation()
VMDebugCore	getDebugCore()
T	getDebuggableElement()
int	getDepth()
long	getID()
IVMModelManager	getModelManager()
java.util.Map<java.lang.String,org.eclipse.emf.ecore.resource.Resource>	getModelParameterVariables()
NamedElement	getOperation()
IVMEvaluationEnvironment<?>	getParentEvaluationEnvironment()
Variable	getPCVariable()
IVMRootEvaluationEnvironment<T>	getRootEvaluationEnvironment()
java.util.Stack<IVMEvaluationEnvironment.StepperEntry>	getStepperStack()
boolean	isDeferredExecution()
void	processDeferredTasks()
Element	setCurrentIP(Element element)
void	throwVMException(VMRuntimeException vmRuntimeException)

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

Method Detail

getCurrentIP

@NonNull
Element getCurrentIP()

getCurrentLocation

@NonNull
UnitLocation getCurrentLocation()

getDebugCore

@NonNull
VMDebugCore getDebugCore()

getDebuggableElement

@NonNull
T getDebuggableElement()

getDepth

int getDepth()

getID

long getID()

getModelManager

@NonNull
IVMModelManager getModelManager()

getModelParameterVariables

@NonNull
java.util.Map<java.lang.String,org.eclipse.emf.ecore.resource.Resource> getModelParameterVariables()

getOperation

@NonNull
NamedElement getOperation()

getPCVariable

@NonNull
Variable getPCVariable()

getParentEvaluationEnvironment

@Nullable
IVMEvaluationEnvironment<?> getParentEvaluationEnvironment()

getRootEvaluationEnvironment

@NonNull
IVMRootEvaluationEnvironment<T> getRootEvaluationEnvironment()

getStepperStack

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

isDeferredExecution

boolean isDeferredExecution()

processDeferredTasks

void processDeferredTasks()

setCurrentIP

@NonNull
Element setCurrentIP(@NonNull
                             Element element)

throwVMException

void throwVMException(@NonNull
                      VMRuntimeException vmRuntimeException)