org.eclipse.ocl.examples.debug.stepper

Class IterateExpStepper

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

org.eclipse.ocl.examples.debug.stepper.IterateExpStepper

All Implemented Interfaces:

IStepper

public class IterateExpStepper
extends LoopExpStepper

Field Summary

Fields

Modifier and Type	Field and Description
static IterateExpStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
IterateExpStepper()

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.

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

isPreStoppable

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 IterateExpStepper INSTANCE

Constructor Detail

IterateExpStepper

public IterateExpStepper()

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 LoopExpStepper