org.eclipse.ocl.examples.debug.stepper

Class ElementStepper

java.lang.Object

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

org.eclipse.ocl.examples.debug.stepper.ElementStepper

All Implemented Interfaces:

IStepper

public class ElementStepper
extends AbstractStepper

An ElementStepper provides the non-standard behaviour of stopping before and after execution of an AST node.

Field Summary

Fields

Modifier and Type	Field and Description
static ElementStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
ElementStepper()

Method Summary

Modifier and Type	Method and Description
boolean	isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor, Element element) Return true if execution may be suspended before executing element.

Methods inherited from class org.eclipse.ocl.examples.debug.stepper.AbstractStepper

createUnitLocation, createUnitLocation, getCsElement, getFirstElement, getFirstElement, isPostStoppable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

@NonNull
public static ElementStepper INSTANCE

Constructor Detail

ElementStepper

public ElementStepper()

Method Detail

isPreStoppable

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