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

Interface VMEvaluationStepper

All Known Implementing Classes:

AbstractVMEvaluationStepper, OCLVMEvaluationStepper

public interface VMEvaluationStepper

Method Summary

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

Method Detail

getCurrentLocation

@NonNull
UnitLocation getCurrentLocation()

getEvaluationVisitor

@NonNull
EvaluationVisitor getEvaluationVisitor()

getLocationStack

@NonNull
java.util.List<UnitLocation> getLocationStack()

getStepperVisitor

@NonNull
IStepperVisitor getStepperVisitor()

getVMEvaluationEnvironment

@NonNull
VMEvaluationEnvironment getVMEvaluationEnvironment()

getVMExecutor

@NonNull
VMExecutor getVMExecutor()

postIterate

void postIterate(@NonNull
                 LoopExp element)

preIterate

void preIterate(@NonNull
                LoopExp element)

start

void start(boolean suspendOnStartup)

visiting

@Nullable
java.lang.Object visiting(@NonNull
                                     Element element)