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

java.lang.Object
  extended by org.eclipse.ocl.examples.debug.stepper.AbstractStepper
      extended by org.eclipse.ocl.examples.debug.stepper.LetExpStepper
All Implemented Interfaces:
IStepper

public class LetExpStepper
extends AbstractStepper


Field Summary
static LetExpStepper INSTANCE
           
 
Constructor Summary
LetExpStepper()
           
 
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 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
                                        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