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

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

All Implemented Interfaces:

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

public class OCLVMRootEvaluationEnvironment
extends VMRootEvaluationEnvironment<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.VMRootEvaluationEnvironment

debuggableElement

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

OCLVMRootEvaluationEnvironment(MetaModelManager metaModelManager, IVMModelManager modelManager, ExpressionInOCL expressionInOCL, long id)

Method Summary

IOCLVMEvaluationEnvironment	createClonedEvaluationEnvironment()
Element	getCurrentIP()
UnitLocation	getCurrentLocation()
OCLDebugCore	getDebugCore()
int	getDepth()
long	getID()
java.util.Map<java.lang.String,org.eclipse.emf.ecore.resource.Resource>	getModelParameterVariables()
NamedElement	getOperation()
OCLVMRootEvaluationEnvironment	getParentEvaluationEnvironment()
Variable	getPCVariable()
OCLVMRootEvaluationEnvironment	getRootEvaluationEnvironment()
boolean	isDeferredExecution()
void	processDeferredTasks()
protected void	saveThrownException(VMRuntimeException exception)
Element	setCurrentIP(Element element)
void	setException(VMRuntimeException exception)
void	throwVMException(VMRuntimeException exception)

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

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

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

OCLVMRootEvaluationEnvironment

public OCLVMRootEvaluationEnvironment(@NonNull
                                      MetaModelManager metaModelManager,
                                      @NonNull
                                      IVMModelManager modelManager,
                                      @NonNull
                                      ExpressionInOCL expressionInOCL,
                                      long id)

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>

getDebugCore

@NonNull
public OCLDebugCore getDebugCore()

Specified by:

getDebugCore 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>

getParentEvaluationEnvironment

@Nullable
public OCLVMRootEvaluationEnvironment getParentEvaluationEnvironment()

Specified by:

getParentEvaluationEnvironment in interface IOCLVMEvaluationEnvironment

Specified by:

getParentEvaluationEnvironment in interface IVMEvaluationEnvironment<ExpressionInOCL>

Overrides:

getParentEvaluationEnvironment in class VMEvaluationEnvironment<ExpressionInOCL>

getPCVariable

@NonNull
public Variable getPCVariable()

Specified by:

getPCVariable in interface IVMEvaluationEnvironment<ExpressionInOCL>

getRootEvaluationEnvironment

@NonNull
public OCLVMRootEvaluationEnvironment getRootEvaluationEnvironment()

Specified by:

getRootEvaluationEnvironment in interface IOCLVMEvaluationEnvironment

Specified by:

getRootEvaluationEnvironment in interface IVMEvaluationEnvironment<ExpressionInOCL>

Overrides:

getRootEvaluationEnvironment in class VMRootEvaluationEnvironment<ExpressionInOCL>

isDeferredExecution

public boolean isDeferredExecution()

Specified by:

isDeferredExecution in interface IVMEvaluationEnvironment<ExpressionInOCL>

processDeferredTasks

public void processDeferredTasks()

Specified by:

processDeferredTasks in interface IVMEvaluationEnvironment<ExpressionInOCL>

saveThrownException

protected void saveThrownException(@NonNull
                                   VMRuntimeException exception)

setCurrentIP

@NonNull
public Element setCurrentIP(@NonNull
                                    Element element)

Specified by:

setCurrentIP in interface IVMEvaluationEnvironment<ExpressionInOCL>

setException

public void setException(@NonNull
                         VMRuntimeException exception)

throwVMException

public void throwVMException(@NonNull
                             VMRuntimeException exception)
                      throws VMRuntimeException

Specified by:

throwVMException in interface IVMEvaluationEnvironment<ExpressionInOCL>

Throws:

VMRuntimeException