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

java.lang.Object
  org.eclipse.ocl.examples.debug.vm.VMVirtualMachine
      org.eclipse.ocl.examples.debug.evaluator.OCLVMVirtualMachine

All Implemented Interfaces:

IVMVirtualMachineShell

public class OCLVMVirtualMachine
extends VMVirtualMachine

Field Summary

Fields inherited from class org.eclipse.ocl.examples.debug.vm.VMVirtualMachine

LOCATION, metaModelManager, POST_VISIT, PRE_VISIT, runner, VISITOR_STACK, VM_EVENT, VM_REQUEST, VM_RESPONSE

Constructor Summary

OCLVMVirtualMachine(DebuggableRunner runner, OCLEvaluationContext evaluationContext)

Method Summary

static VMStackFrameData[]	createStackFrame(java.util.List<UnitLocation> stack)
VMStackFrameData	createStackFrame(UnitLocation location)
OCLDebugCore	getDebugCore()

Methods inherited from class org.eclipse.ocl.examples.debug.vm.VMVirtualMachine

createStackFrame, evaluate, getEvaluationEnv, getMetaModelManager, getRunner, getRunnerFactory, isTerminated, lookupEnvironmentByID, readVMEvent, sendRequest

Methods inherited from class java.lang.Object

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

Constructor Detail

OCLVMVirtualMachine

public OCLVMVirtualMachine(@NonNull
                           DebuggableRunner runner,
                           @NonNull
                           OCLEvaluationContext evaluationContext)

Method Detail

createStackFrame

public static VMStackFrameData[] createStackFrame(java.util.List<UnitLocation> stack)

createStackFrame

public VMStackFrameData createStackFrame(@NonNull
                                         UnitLocation location)

Specified by:

createStackFrame in class VMVirtualMachine

getDebugCore

@NonNull
public OCLDebugCore getDebugCore()