org.eclipse.ocl.examples.debug.evaluator

Class OCLVMEvaluationStepper

java.lang.Object

org.eclipse.ocl.examples.debug.vm.evaluator.AbstractVMEvaluationStepper

org.eclipse.ocl.examples.debug.evaluator.OCLVMEvaluationStepper

All Implemented Interfaces:

VMEvaluationStepper

public class OCLVMEvaluationStepper
extends AbstractVMEvaluationStepper

Constructor Summary

Constructors

Constructor and Description
OCLVMEvaluationStepper(OCLEvaluationVisitor evaluationVisitor, IVMContext vmContext)

Method Summary

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

getCurrentLocation, getEvaluationVisitor, getLocationStack, getStepperVisitor, getVMEvaluationEnvironment, getVMExecutor, postIterate, preIterate, start, visiting

Methods inherited from class java.lang.Object

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

Constructor Detail

OCLVMEvaluationStepper

public OCLVMEvaluationStepper(OCLEvaluationVisitor evaluationVisitor,
                              IVMContext vmContext)