sofya.apps.atomicity
Class EventClassifier.EventClass

java.lang.Object
  sofya.apps.atomicity.EventClassifier.EventClass

Enclosing class:

EventClassifier

public static final class EventClassifier.EventClass
extends java.lang.Object

Type-safe enumeration of the possible classifications defined for events by the reduction-based algorithm.

Field Summary

static EventClassifier.EventClass	BOTH_MOVER Typed constant for a both-mover event.
int	code Integer constant of the enumeration element, sometimes useful for switch statements.
static int	IBOTH_MOVER Integer constant for both-mover.
static int	ILEFT_MOVER Integer constant for left-mover.
static int	INON_MOVER Integer constant for non-mover.
static int	IRIGHT_MOVER Integer constant for right-mover.
static EventClassifier.EventClass	LEFT_MOVER Typed constant for a left-mover event.
static EventClassifier.EventClass	NON_MOVER Typed constant for a non-mover event.
static EventClassifier.EventClass	RIGHT_MOVER Typed constant for a right-mover event.

Method Summary

int	toInt()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

code

public final int code

Integer constant of the enumeration element, sometimes useful for switch statements.

IRIGHT_MOVER

public static final int IRIGHT_MOVER

Integer constant for right-mover.

See Also:

Constant Field Values

ILEFT_MOVER

public static final int ILEFT_MOVER

Integer constant for left-mover.

See Also:

Constant Field Values

INON_MOVER

public static final int INON_MOVER

Integer constant for non-mover.

See Also:

Constant Field Values

IBOTH_MOVER

public static final int IBOTH_MOVER

Integer constant for both-mover.

See Also:

Constant Field Values

RIGHT_MOVER

public static final EventClassifier.EventClass RIGHT_MOVER

Typed constant for a right-mover event.

LEFT_MOVER

public static final EventClassifier.EventClass LEFT_MOVER

Typed constant for a left-mover event.

NON_MOVER

public static final EventClassifier.EventClass NON_MOVER

Typed constant for a non-mover event.

BOTH_MOVER

public static final EventClassifier.EventClass BOTH_MOVER

Typed constant for a both-mover event.

Method Detail

toInt

public int toInt()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object