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

Fields

Modifier and Type	Field and Description
static NonStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
NonStepper()

Method Summary

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