org.eclipse.ocl.examples.debug.stepper
Class NonStepper

java.lang.Object
  org.eclipse.ocl.examples.debug.stepper.AbstractStepper
      org.eclipse.ocl.examples.debug.stepper.NonStepper

All Implemented Interfaces:

IStepper

public class NonStepper
extends AbstractStepper

Field Summary

static NonStepper

INSTANCE

Constructor Summary

NonStepper()

Method Summary

Element

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

Constructor Detail

NonStepper

public NonStepper()

Method Detail

isPostStoppable

@Nullable
public Element isPostStoppable(@NonNull
                                        IVMRootEvaluationVisitor<?> 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