org.eclipse.ocl.examples.pivot
Class OCLDebugOptions

java.lang.Object
  org.eclipse.ocl.examples.pivot.OCLDebugOptions

public final class OCLDebugOptions
extends java.lang.Object

Author:

Yasser Lulu

Field Summary

static java.lang.String	DEBUG
static java.lang.String	EVALUATION
static java.lang.String	EXCEPTIONS_CATCHING
static java.lang.String	EXCEPTIONS_THROWING
static java.lang.String	METHODS_ENTERING
static java.lang.String	METHODS_EXITING
static java.lang.String	PARSING

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

public static final java.lang.String DEBUG

EXCEPTIONS_CATCHING

public static final java.lang.String EXCEPTIONS_CATCHING

EXCEPTIONS_THROWING

public static final java.lang.String EXCEPTIONS_THROWING

METHODS_ENTERING

public static final java.lang.String METHODS_ENTERING

METHODS_EXITING

public static final java.lang.String METHODS_EXITING

PARSING

public static final java.lang.String PARSING

EVALUATION

public static final java.lang.String EVALUATION