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

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

All Implemented Interfaces:

IStepper

public class IfExpStepper
extends AbstractStepper

Field Summary

static IfExpStepper

INSTANCE

Constructor Summary

IfExpStepper()

Method Summary

Element	getFirstElement(Element element)
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.AbstractStepper

createUnitLocation, createUnitLocation, getCsElement, 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 IfExpStepper INSTANCE

Constructor Detail

IfExpStepper

public IfExpStepper()

Method Detail

getFirstElement

@Nullable
public Element getFirstElement(@NonNull
                                        Element element)

Overrides:

getFirstElement in class AbstractStepper

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