org.eclipse.ocl.examples.debug.vm.evaluator
Class VMEvaluationEnvironment<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>

All Implemented Interfaces:

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

Direct Known Subclasses:

VMNestedEvaluationEnvironment, VMRootEvaluationEnvironment

public abstract class VMEvaluationEnvironment<T extends NamedElement>
extends PivotEvaluationEnvironment
implements IVMEvaluationEnvironment<T>

Nested Class Summary

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

IVMEvaluationEnvironment.StepperEntry

Field Summary

protected IVMModelManager

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

protected	VMEvaluationEnvironment(IVMEvaluationEnvironment<T> evaluationEnvironment)
protected	VMEvaluationEnvironment(MetaModelManager metaModelManager, IVMModelManager modelManager)

Method Summary

IVMModelManager	getModelManager()
IVMEvaluationEnvironment<T>	getParentEvaluationEnvironment()
java.util.Stack<IVMEvaluationEnvironment.StepperEntry>	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, getDebugCore, getDebuggableElement, getDepth, getID, getModelParameterVariables, getOperation, getPCVariable, getRootEvaluationEnvironment, 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

modelManager

@NonNull
protected final IVMModelManager modelManager

Constructor Detail

VMEvaluationEnvironment

protected VMEvaluationEnvironment(@NonNull
                                  MetaModelManager metaModelManager,
                                  @NonNull
                                  IVMModelManager modelManager)

VMEvaluationEnvironment

protected VMEvaluationEnvironment(@NonNull
                                  IVMEvaluationEnvironment<T> evaluationEnvironment)

Method Detail

getModelManager

@NonNull
public IVMModelManager getModelManager()

Specified by:

getModelManager in interface IVMEvaluationEnvironment<T extends NamedElement>

getParentEvaluationEnvironment

@Nullable
public IVMEvaluationEnvironment<T> getParentEvaluationEnvironment()

Specified by:

getParentEvaluationEnvironment in interface IVMEvaluationEnvironment<T extends NamedElement>

getStepperStack

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

Specified by:

getStepperStack in interface IVMEvaluationEnvironment<T extends NamedElement>