sofya.ed.semantic
Class EventSpecification.MonitorType

java.lang.Object
  sofya.ed.semantic.EventSpecification.MonitorType

Enclosing interface:

EventSpecification

public static final class EventSpecification.MonitorType
extends java.lang.Object

Type-safe enumeration for the monitor events.

Field Summary

static EventSpecification.MonitorType	ACQUIRE
static EventSpecification.MonitorType	CONTEND
static EventSpecification.MonitorType	PRE_RELEASE
static EventSpecification.MonitorType	RELEASE

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

CONTEND

public static final EventSpecification.MonitorType CONTEND

ACQUIRE

public static final EventSpecification.MonitorType ACQUIRE

PRE_RELEASE

public static final EventSpecification.MonitorType PRE_RELEASE

RELEASE

public static final EventSpecification.MonitorType RELEASE

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object