org.eclipse.ocl.examples.debug.stepper

Class LoopExpStepper

java.lang.Object

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

org.eclipse.ocl.examples.debug.stepper.PostStepper

org.eclipse.ocl.examples.debug.stepper.CallExpStepper

org.eclipse.ocl.examples.debug.stepper.LoopExpStepper

All Implemented Interfaces:

IStepper

Direct Known Subclasses:

IterateExpStepper

public class LoopExpStepper
extends CallExpStepper

Field Summary

Fields

Modifier and Type	Field and Description
static LoopExpStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
LoopExpStepper()

Method Summary

Modifier and Type	Method and Description
Element	isPostStoppable(VMEvaluationStepper vmEvaluationVisitor, 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.

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

getFirstElement

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

createUnitLocation, createUnitLocation, getCsElement, getFirstElement

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

@NonNull
public static LoopExpStepper INSTANCE

Constructor Detail

LoopExpStepper

public LoopExpStepper()

Method Detail

isPostStoppable

@Nullable
public Element isPostStoppable(@NonNull
                                          VMEvaluationStepper vmEvaluationVisitor,
                                          @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

isPreStoppable

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

Description copied from interface: IStepper

Return true if execution may be suspended before executing element.

Specified by:

isPreStoppable in interface IStepper

Overrides:

isPreStoppable in class AbstractStepper