org.jcsp.net2

Class ChannelDataState

java.lang.Object

org.jcsp.net2.ChannelDataState

final class ChannelDataState
extends java.lang.Object

Represents the state of the networked channel. For information on networked channels, see the relevant documentation.

See Also:

NetChannelInput, NetChannelOutput

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static byte	BROKEN Signifies that the channel is broken.
(package private) static byte	DESTROYED Signifies that the channel has been destroyed.
(package private) static byte	INACTIVE Signifies that the channel has not been activated yet.
(package private) static byte	MOVED Signifies that the channel has moved to a new location and that this new location is available.
(package private) static byte	MOVING Signifies that the channel has recently moved and has yet to be reestablished at a new location.
(package private) static byte	OK_INPUT Signifies that the channel has been started and is a input end.
(package private) static byte	OK_OUTPUT Signified that the channel has been started and is a output end.
(package private) static byte	POISONED Signifies that the channel has been poisoned.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ChannelDataState() Private default constructor.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

INACTIVE

static final byte INACTIVE

Signifies that the channel has not been activated yet.

See Also:

Constant Field Values

OK_INPUT

static final byte OK_INPUT

Signifies that the channel has been started and is a input end.

See Also:

Constant Field Values

OK_OUTPUT

static final byte OK_OUTPUT

Signified that the channel has been started and is a output end.

See Also:

Constant Field Values

DESTROYED

static final byte DESTROYED

Signifies that the channel has been destroyed.

See Also:

Constant Field Values

BROKEN

static final byte BROKEN

Signifies that the channel is broken. This is from the original JCSP model, and may be unnecessary as Destroyed and Poisoned may cover this.

See Also:

Constant Field Values

MOVING

static final byte MOVING

Signifies that the channel has recently moved and has yet to be reestablished at a new location.

See Also:

Constant Field Values

MOVED

static final byte MOVED

Signifies that the channel has moved to a new location and that this new location is available.

See Also:

Constant Field Values

POISONED

static final byte POISONED

Signifies that the channel has been poisoned.

See Also:

Constant Field Values

Constructor Detail

ChannelDataState

private ChannelDataState()

Private default constructor.