org.eclipse.ocl.examples.debug.vm.evaluator
Class VMNestedEvaluationEnvironment<T extends NamedElement>

java.lang.Object
  org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment<EvaluationEnvironment>
      org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationEnvironment
          org.eclipse.ocl.examples.pivot.evaluation.PivotEvaluationEnvironment
              org.eclipse.ocl.examples.debug.vm.evaluator.VMEvaluationEnvironment<T>
                  org.eclipse.ocl.examples.debug.vm.evaluator.VMNestedEvaluationEnvironment<T>

All Implemented Interfaces:

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

Direct Known Subclasses:

OCLVMNestedEvaluationEnvironment

public abstract class VMNestedEvaluationEnvironment<T extends NamedElement>
extends VMEvaluationEnvironment<T>

Nested Class Summary

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

IVMEvaluationEnvironment.StepperEntry

Field Summary

protected IVMRootEvaluationEnvironment<T>

rootEvaluationEnvironment

Fields inherited from class org.eclipse.ocl.examples.debug.vm.evaluator.VMEvaluationEnvironment

modelManager

Fields inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationEnvironment

metaModelManager

Fields inherited from class org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment

parent

Constructor Summary

VMNestedEvaluationEnvironment(IVMEvaluationEnvironment<T> evaluationEnvironment)

Method Summary

VMDebugCore	getDebugCore()
T	getDebuggableElement()
IVMRootEvaluationEnvironment<T>	getRootEvaluationEnvironment()

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

getModelManager, getParentEvaluationEnvironment, getStepperStack

Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.PivotEvaluationEnvironment

createModelManager, createVariable, getType, navigateAssociationClass

Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationEnvironment

add, clear, getMetaModelManager, getValueOf, getVariables, overrides, remove, replace, toString

Methods inherited from class org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment

basicGetOptions, clearOptions, getAdapter, getOptions, getParent, getValue, isEnabled, notOK, putOptions, removeOption, removeOptions, setOption, setParent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getCurrentIP, getCurrentLocation, getDepth, getID, getModelParameterVariables, getOperation, getPCVariable, 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

Field Detail

rootEvaluationEnvironment

@NonNull
protected final IVMRootEvaluationEnvironment<T extends NamedElement> rootEvaluationEnvironment

Constructor Detail

VMNestedEvaluationEnvironment

public VMNestedEvaluationEnvironment(@NonNull
                                     IVMEvaluationEnvironment<T> evaluationEnvironment)

Method Detail

getDebugCore

@NonNull
public VMDebugCore getDebugCore()

getDebuggableElement

@NonNull
public T getDebuggableElement()

getRootEvaluationEnvironment

@NonNull
public IVMRootEvaluationEnvironment<T> getRootEvaluationEnvironment()