Serialized Form

Package jcsp.awt

Class jcsp.awt.ActiveApplet implements Serializable

Serialized Fields

process

CSProcess process

The process defining the behaviour of this Applet.

manager

ProcessManager manager

The ProcessManager used to control the execution of this Applet.

started

boolean started

Records whether the start method has been invoked.

timeoutAck

int timeoutAck

This is the time (in milliseconds) that the browser will wait for the applet process to acknowledge (on destroyAck) a DESTROY message (sent down destroy). If negative, no timeout will be set.

The default value is 10000 (i.e. 10 seconds).

stopStart

ChannelOutputInt stopStart

If this channel is set, the default stop/start behaviour changes - see the user-defined stop/start response.

destroy

ChannelOutputInt destroy

If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.

destroyAck

AltingChannelInputInt destroyAck

If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.

tim

CSTimer tim

destroyAlt

Alternative destroyAlt

ACKNOWLEDGE

int ACKNOWLEDGE

TIMEOUT

int TIMEOUT

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveButton implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveButtonControl.BadArguments implements Serializable

Class jcsp.awt.ActiveButtonState.BadArguments implements Serializable

Class jcsp.awt.ActiveCanvas implements Serializable

Serialized Fields

toGraphics

ChannelInput toGraphics

fromGraphics

ChannelOutput fromGraphics

paintable

Paintable paintable

vec

Vector vec

The Vector construct containing the handlers.

requestedWidth

int requestedWidth

requestedHeight

int requestedHeight

Class jcsp.awt.ActiveCheckbox implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveCheckboxMenuItem implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveChoice implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveComponent implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveContainer implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveDialog implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveFileDialog implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

event

ChannelOutput event

The channel to which the selected directory and file names are sent.

Class jcsp.awt.ActiveFrame implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveLabel implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveList implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveMenu implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveMenuItem implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActivePanel implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveScrollbar implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveScrollPane implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveTextArea implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveTextField implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Class jcsp.awt.ActiveWindow implements Serializable

Serialized Fields

vec

Vector vec

The Vector construct containing the handlers.

configure

ChannelInput configure

The channel from which configuration messages arrive.

Package jcsp.lang

Class jcsp.lang.Any2AnyCallChannel implements Serializable

Serialized Fields

c

Any2OneChannel c

This is used to synchronise the calling and accepting process.

d

One2OneChannel d

This is used to synchronise the calling and accepting process.

server

CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the join and fork elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

selected

int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the join and fork elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of accept.

Class jcsp.lang.Any2AnyChannel implements Serializable

Serialized Fields

data

ChannelDataStore data

The ChannelDataStore used to store the data for the channel

readMonitor

Object readMonitor

The monitor on which readers must synchronize

writeMonitor

Object writeMonitor

The monitor on which writers must synchronize

Class jcsp.lang.Any2AnyChannelInt implements Serializable

Serialized Fields

data

ChannelDataStoreInt data

The ChannelDataStoreInt used to store the data for the channel

readMonitor

Object readMonitor

The monitor on which readers must synchronize

writeMonitor

Object writeMonitor

The monitor on which writers must synchronize

Class jcsp.lang.Any2OneCallChannel implements Serializable

Serialized Fields

c

Any2OneChannel c

This is used to synchronise the calling and accepting process.

d

One2OneChannel d

This is used to synchronise the calling and accepting process.

server

CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the join and fork elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

selected

int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the join and fork elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of accept.

Class jcsp.lang.Any2OneChannel implements Serializable

Serialized Fields

data

ChannelDataStore data

The ChannelDataStore used to store the data for the Channel

alt

Alternative alt

The Alternative class that controls the selection

writeMonitor

Object writeMonitor

The monitor on which writers must synchronize

Class jcsp.lang.Any2OneChannelInt implements Serializable

Serialized Fields

data

ChannelDataStoreInt data

The ChannelDataStoreInt used to store the data for the Channel

alt

Alternative alt

The Alternative class that controls the selection

writeMonitor

Object writeMonitor

The monitor on which writers must synchronize

Class jcsp.lang.Barrier implements Serializable

Serialized Fields

nEnrolled

int nEnrolled

The number of processes currently enrolled on this barrier.

countDown

int countDown

The number of processes currently enrolled on this barrier and who have not yet synchronised in this cycle.

Class jcsp.lang.Bucket implements Serializable

Serialized Fields

nHolding

int nHolding

The number of processes currently enrolled on this bucket.

Class jcsp.lang.One2AnyCallChannel implements Serializable

Serialized Fields

c

One2OneChannel c

This is used to synchronise the calling and accepting process.

server

CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the join and fork elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

selected

int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the join and fork elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of accept.

Class jcsp.lang.One2AnyChannel implements Serializable

Serialized Fields

data

ChannelDataStore data

The ChannelDataStore used to store the data for the channel

readMonitor

Object readMonitor

The monitor on which readers must synchronize

Class jcsp.lang.One2AnyChannelInt implements Serializable

Serialized Fields

data

ChannelDataStoreInt data

The ChannelDataStoreInt used to store the data for the channel

readMonitor

Object readMonitor

The monitor on which readers must synchronize

Class jcsp.lang.One2OneCallChannel implements Serializable

Serialized Fields

c

One2OneChannel c

This is used to synchronise the calling and accepting process.

server

CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the join and fork elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

selected

int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the join and fork elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of accept.

Class jcsp.lang.One2OneChannel implements Serializable

Serialized Fields

data

ChannelDataStore data

The ChannelDataStore used to store the data for the channel

alt

Alternative alt

The Alternative class that controls the selection

Class jcsp.lang.One2OneChannelInt implements Serializable

Serialized Fields

data

ChannelDataStoreInt data

The ChannelDataStoreInt used to store the data for the channel

alt

Alternative alt

The Alternative class that controls the selection

Class jcsp.lang.ProcessInterruptedError implements Serializable

Package jcsp.util

Class jcsp.util.Buffer implements Serializable

Serialized Fields

buffer

Object[] buffer

The storage for the buffered Objects

counter

int counter

The number of Objects stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.BufferSizeError implements Serializable

Class jcsp.util.InfiniteBuffer implements Serializable

Serialized Fields

initialSize

int initialSize

The initial size of the buffer

buffer

Object[] buffer

The storage for the buffered Objects

counter

int counter

The number of Objects stored in the InfiniteBuffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.OverFlowingBuffer implements Serializable

Serialized Fields

buffer

Object[] buffer

The storage for the buffered Objects

counter

int counter

The number of Objects stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.OverWriteOldestBuffer implements Serializable

Serialized Fields

buffer

Object[] buffer

The storage for the buffered Objects

counter

int counter

The number of Objects stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.OverWritingBuffer implements Serializable

Serialized Fields

buffer

Object[] buffer

The storage for the buffered Objects

counter

int counter

The number of Objects stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.ZeroBuffer implements Serializable

Serialized Fields

state

int state

The current state

value

Object value

The Object

Package jcsp.util.ints

Class jcsp.util.ints.BufferInt implements Serializable

Serialized Fields

buffer

int[] buffer

The storage for the buffered ints

counter

int counter

The number of ints stored in the BufferInt

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.ints.BufferIntSizeError implements Serializable

Class jcsp.util.ints.InfiniteBufferInt implements Serializable

Serialized Fields

initialSize

int initialSize

The initial size of the buffer

buffer

int[] buffer

The storage for the buffered ints

counter

int counter

The number of ints stored in the InfiniteBufferInt

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.ints.OverFlowingBufferInt implements Serializable

Serialized Fields

buffer

int[] buffer

The storage for the buffered ints

counter

int counter

The number of ints stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.ints.OverWriteOldestBufferInt implements Serializable

Serialized Fields

buffer

int[] buffer

The storage for the buffered ints

counter

int counter

The number of ints stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.ints.OverWritingBufferInt implements Serializable

Serialized Fields

buffer

int[] buffer

The storage for the buffered ints

counter

int counter

The number of ints stored in the Buffer

firstIndex

int firstIndex

The index of the first element

lastIndex

int lastIndex

The index of the last element

Class jcsp.util.ints.ZeroBufferInt implements Serializable

Serialized Fields

state

int state

The current state

value

int value

The int