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

Interface IStepper

All Known Implementing Classes:

AbstractStepper, CallExpStepper, ElementStepper, ExpressionInOCLStepper, IfExpStepper, IterateExpStepper, LetExpStepper, LoopExpStepper, NonStepper, OperationCallExpStepper, PostStepper, PropertyCallExpStepper, VariableStepper

public interface IStepper

An IStepper provides the element-type specific strategy for a variety of actions while stepping through source code.

Method Summary

Modifier and Type	Method and Description
UnitLocation	createUnitLocation(VMEvaluationEnvironment evalEnv, Element element) Return the source descriptor for element.
Element	getFirstElement(VMEvaluationStepper vmEvaluationVisitor, Element element)
Element	isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor, Element childElement, java.lang.Object result) Return null if no suspension is required after execution of childElement gave result, else return the next element to be executed.
boolean	isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor, Element element) Return true if execution may be suspended before executing element.

Method Detail

createUnitLocation

@NonNull
UnitLocation createUnitLocation(@NonNull
                                          VMEvaluationEnvironment evalEnv,
                                          @NonNull
                                          Element element)

Return the source descriptor for element.

getFirstElement

@Nullable
Element getFirstElement(@NonNull
                                   VMEvaluationStepper vmEvaluationVisitor,
                                   @Nullable
                                   Element element)

isPostStoppable

@Nullable
Element isPostStoppable(@NonNull
                                   VMEvaluationStepper rootVMEvaluationVisitor,
                                   @NonNull
                                   Element childElement,
                                   @Nullable
                                   java.lang.Object result)

Return null if no suspension is required after execution of childElement gave result, else return the next element to be executed.

isPreStoppable

boolean isPreStoppable(@NonNull
                       VMEvaluationStepper rootVMEvaluationVisitor,
                       @NonNull
                       Element element)

Return true if execution may be suspended before executing element.