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

Fields

Modifier and Type	Field and Description
static PropertyCallExpStepper	INSTANCE

Constructor Summary

Constructors

Constructor and Description
PropertyCallExpStepper()

Method Summary

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

getFirstElement

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

createUnitLocation, 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()