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

Class AbstractVMEvaluationStepper

java.lang.Object

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

All Implemented Interfaces:

VMEvaluationStepper

Direct Known Subclasses:

OCLVMEvaluationStepper

public abstract class AbstractVMEvaluationStepper
extends Object
implements VMEvaluationStepper

Method Summary

Modifier and Type	Method and Description
UnitLocation	getCurrentLocation()
EvaluationVisitor	getEvaluationVisitor()
List<UnitLocation>	getLocationStack()
IStepperVisitor	getStepperVisitor()
VMEvaluationEnvironment	getVMEvaluationEnvironment()
VMExecutor	getVMExecutor()
void	postIterate(LoopExp loopExp)
void	preIterate(LoopExp loopExp)
void	start(boolean suspendOnStartup)
Object	visiting(Element element)

Methods inherited from class java.lang.Object

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

Method Detail

getCurrentLocation

public UnitLocation getCurrentLocation()

Specified by:

getCurrentLocation in interface VMEvaluationStepper

getEvaluationVisitor

public EvaluationVisitor getEvaluationVisitor()

Specified by:

getEvaluationVisitor in interface VMEvaluationStepper

getLocationStack

public List<UnitLocation> getLocationStack()

Specified by:

getLocationStack in interface VMEvaluationStepper

getStepperVisitor

public IStepperVisitor getStepperVisitor()

Specified by:

getStepperVisitor in interface VMEvaluationStepper

getVMEvaluationEnvironment

public VMEvaluationEnvironment getVMEvaluationEnvironment()

Specified by:

getVMEvaluationEnvironment in interface VMEvaluationStepper

getVMExecutor

public VMExecutor getVMExecutor()

Specified by:

getVMExecutor in interface VMEvaluationStepper

postIterate

public void postIterate(LoopExp loopExp)

Specified by:

postIterate in interface VMEvaluationStepper

preIterate

public void preIterate(LoopExp loopExp)

Specified by:

preIterate in interface VMEvaluationStepper

start

public void start(boolean suspendOnStartup)

Specified by:

start in interface VMEvaluationStepper

visiting

public Object visiting(Element element)

Specified by:

visiting in interface VMEvaluationStepper