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

java.lang.Object
  org.eclipse.ocl.examples.debug.stepper.AbstractStepper
      org.eclipse.ocl.examples.debug.stepper.PostStepper
          org.eclipse.ocl.examples.debug.stepper.CallExpStepper
              org.eclipse.ocl.examples.debug.stepper.PropertyCallExpStepper

All Implemented Interfaces:

IStepper

public class PropertyCallExpStepper
extends CallExpStepper

Field Summary

static PropertyCallExpStepper

INSTANCE

Constructor Summary

PropertyCallExpStepper()

Method Summary

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

createUnitLocation, getFirstElement

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

createUnitLocation, getCsElement, getFirstElement, isPostStoppable, 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 PropertyCallExpStepper INSTANCE

Constructor Detail

PropertyCallExpStepper

public PropertyCallExpStepper()