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

static LoopExpStepper

INSTANCE

Constructor Summary

LoopExpStepper()

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.
boolean	isPreStoppable(IVMRootEvaluationVisitor<?> rootVMEvaluationVisitor, Element element) Return true if execution may be suspended before executing element.

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

Constructor Detail

LoopExpStepper

public LoopExpStepper()

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 AbstractStepper

isPreStoppable

public boolean isPreStoppable(@NonNull
                              IVMRootEvaluationVisitor<?> 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