org.eclipse.ocl.examples.debug.stepper

Class AbstractStepper

java.lang.Object

org.eclipse.ocl.examples.debug.stepper.AbstractStepper

All Implemented Interfaces:

IStepper

Direct Known Subclasses:

ElementStepper, ExpressionInOCLStepper, IfExpStepper, LetExpStepper, NonStepper, PostStepper, VariableStepper

public abstract class AbstractStepper
extends Object
implements IStepper

Constructor Summary

Constructors

Constructor and Description
AbstractStepper()

Method Summary

Modifier and Type	Method and Description
UnitLocation	createUnitLocation(VMEvaluationEnvironment evalEnv, Element element) Return the source descriptor for element.
static UnitLocation	createUnitLocation(VMEvaluationEnvironment evalEnv, Element element, INode startNode, INode endNode) Deprecated.
Element	getFirstElement(Element element)
Element	getFirstElement(VMEvaluationStepper vmEvaluationVisitor, Element element)
Element	isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor, Element childElement, 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.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractStepper

public AbstractStepper()

Method Detail

createUnitLocation

@Deprecated
public static UnitLocation createUnitLocation(VMEvaluationEnvironment evalEnv,
                                                          Element element,
                                                          INode startNode,
                                                          INode endNode)

Deprecated.

createUnitLocation

public UnitLocation createUnitLocation(VMEvaluationEnvironment evalEnv,
                                       Element element)

Description copied from interface: IStepper

Return the source descriptor for element.

Specified by:

createUnitLocation in interface IStepper

getFirstElement

public Element getFirstElement(Element element)

getFirstElement

public Element getFirstElement(VMEvaluationStepper vmEvaluationVisitor,
                               Element element)

Specified by:

getFirstElement in interface IStepper

isPostStoppable

public Element isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
                               Element childElement,
                               Object result)

Description copied from interface: IStepper

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

Specified by:

isPostStoppable in interface IStepper

isPreStoppable

public boolean isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
                              Element element)

Description copied from interface: IStepper

Return true if execution may be suspended before executing element.

Specified by:

isPreStoppable in interface IStepper