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

static IterateExpStepper

INSTANCE

Constructor Summary

IterateExpStepper()

Method Summary

Element

isPostStoppable(IVMRootEvaluationVisitor<?> 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

createUnitLocation, getFirstElement

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

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
                                        IVMRootEvaluationVisitor<?> 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