org.eclipse.ocl.examples.debug.stepper

Class VariableStepper

java.lang.Object

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

org.eclipse.ocl.examples.debug.stepper.VariableStepper

All Implemented Interfaces:

IStepper

public class VariableStepper
extends AbstractStepper

Field Summary

Fields

Modifier and Type	Field and Description
static VariableStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
VariableStepper()

Method Summary

Modifier and Type	Method and Description
Element	getFirstElement(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.

Methods inherited from class org.eclipse.ocl.examples.debug.stepper.AbstractStepper

createUnitLocation, createUnitLocation, getCsElement, getFirstElement, isPreStoppable

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

@NonNull
public static VariableStepper INSTANCE

Constructor Detail

VariableStepper

public VariableStepper()

Method Detail

getFirstElement

@Nullable
public Element getFirstElement(@NonNull
                                          Element element)

Overrides:

getFirstElement in class AbstractStepper

isPostStoppable

@Nullable
public Element isPostStoppable(@NonNull
                                          VMEvaluationStepper rootVMEvaluationVisitor,
                                          @NonNull
                                          Element childElement,
                                          @Nullable
                                          java.lang.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

Overrides:

isPostStoppable in class AbstractStepper