org.eclipse.ocl.examples.debug.stepper

Class LetExpStepper

java.lang.Object

org.eclipse.ocl.examples.debug.stepper.AbstractStepper

org.eclipse.ocl.examples.debug.stepper.LetExpStepper

All Implemented Interfaces:

IStepper

public class LetExpStepper
extends AbstractStepper

Field Summary

Fields

Modifier and Type	Field and Description
static LetExpStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
LetExpStepper()

Method Summary

Modifier and Type	Method and Description
Element	getFirstElement(Element element)
Element	isPostStoppable(VMEvaluationStepper 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 LetExpStepper INSTANCE

Constructor Detail

LetExpStepper

public LetExpStepper()

Method Detail

getFirstElement

@Nullable
public Element getFirstElement(@NonNull
                                          Element element)

Overrides:

getFirstElement in class AbstractStepper

isPostStoppable

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