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

java.lang.Object
  extended by org.eclipse.ocl.examples.debug.vm.VMVirtualMachine
      extended by 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()