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

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<ExpressionInOCL>
                      org.eclipse.ocl.examples.debug.evaluator.OCLVMNestedEvaluationEnvironment

All Implemented Interfaces:

IOCLVMEvaluationEnvironment, IVMEvaluationEnvironment<ExpressionInOCL>, DomainEvaluationEnvironment, Adaptable, BasicEnvironment, Customizable, EvaluationEnvironment

public class OCLVMNestedEvaluationEnvironment
extends VMNestedEvaluationEnvironment<ExpressionInOCL>
implements IOCLVMEvaluationEnvironment

Nested Class Summary

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

IVMEvaluationEnvironment.StepperEntry

Field Summary

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

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

OCLVMNestedEvaluationEnvironment(IOCLVMEvaluationEnvironment evaluationEnvironment, long id, NamedElement operation)

Method Summary

IOCLVMEvaluationEnvironment	createClonedEvaluationEnvironment()
Element	getCurrentIP()
UnitLocation	getCurrentLocation()
int	getDepth()
long	getID()
java.util.Map<java.lang.String,org.eclipse.emf.ecore.resource.Resource>	getModelParameterVariables()
NamedElement	getOperation()
IOCLVMEvaluationEnvironment	getParentEvaluationEnvironment()
Variable	getPCVariable()
OCLVMRootEvaluationEnvironment	getRootEvaluationEnvironment()
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

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

getModelManager, 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

getDebugCore, getDebuggableElement, getModelManager, getStepperStack

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

Constructor Detail

OCLVMNestedEvaluationEnvironment

public OCLVMNestedEvaluationEnvironment(@NonNull
                                        IOCLVMEvaluationEnvironment evaluationEnvironment,
                                        long id,
                                        @NonNull
                                        NamedElement operation)

Method Detail

createClonedEvaluationEnvironment

@NonNull
public IOCLVMEvaluationEnvironment createClonedEvaluationEnvironment()

Specified by:

createClonedEvaluationEnvironment in interface IOCLVMEvaluationEnvironment

getCurrentIP

@NonNull
public Element getCurrentIP()

Specified by:

getCurrentIP in interface IVMEvaluationEnvironment<ExpressionInOCL>

getCurrentLocation

@NonNull
public UnitLocation getCurrentLocation()

Specified by:

getCurrentLocation in interface IVMEvaluationEnvironment<ExpressionInOCL>

getDepth

public int getDepth()

Specified by:

getDepth in interface IVMEvaluationEnvironment<ExpressionInOCL>

getID

public long getID()

Specified by:

getID in interface IVMEvaluationEnvironment<ExpressionInOCL>

getModelParameterVariables

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

Specified by:

getModelParameterVariables in interface IVMEvaluationEnvironment<ExpressionInOCL>

getOperation

@NonNull
public NamedElement getOperation()

Specified by:

getOperation in interface IVMEvaluationEnvironment<ExpressionInOCL>

getPCVariable

@NonNull
public Variable getPCVariable()

Specified by:

getPCVariable in interface IVMEvaluationEnvironment<ExpressionInOCL>

getParentEvaluationEnvironment

@Nullable
public IOCLVMEvaluationEnvironment getParentEvaluationEnvironment()

Specified by:

getParentEvaluationEnvironment in interface IOCLVMEvaluationEnvironment

Specified by:

getParentEvaluationEnvironment in interface IVMEvaluationEnvironment<ExpressionInOCL>

Overrides:

getParentEvaluationEnvironment in class VMEvaluationEnvironment<ExpressionInOCL>

getRootEvaluationEnvironment

@NonNull
public OCLVMRootEvaluationEnvironment getRootEvaluationEnvironment()

Specified by:

getRootEvaluationEnvironment in interface IOCLVMEvaluationEnvironment

Specified by:

getRootEvaluationEnvironment in interface IVMEvaluationEnvironment<ExpressionInOCL>

Overrides:

getRootEvaluationEnvironment in class VMNestedEvaluationEnvironment<ExpressionInOCL>

isDeferredExecution

public boolean isDeferredExecution()

Specified by:

isDeferredExecution in interface IVMEvaluationEnvironment<ExpressionInOCL>

processDeferredTasks

public void processDeferredTasks()

Specified by:

processDeferredTasks in interface IVMEvaluationEnvironment<ExpressionInOCL>

setCurrentIP

@NonNull
public Element setCurrentIP(@NonNull
                                    Element element)

Specified by:

setCurrentIP in interface IVMEvaluationEnvironment<ExpressionInOCL>

setOperation

public void setOperation(@NonNull
                         NamedElement operation)

throwVMException

public void throwVMException(@NonNull
                             VMRuntimeException exception)
                      throws VMRuntimeException

Specified by:

throwVMException in interface IVMEvaluationEnvironment<ExpressionInOCL>

Throws:

VMRuntimeException