Serialized Form

Package jcsp.awt

Class jcsp.awt.ActiveApplet implements Serializable

Serialized Fields

ACKNOWLEDGE

int ACKNOWLEDGE

configure

ChannelInput configure

The channel from which configuration messages arrive.

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.

destroyAlt

Alternative destroyAlt

manager

ProcessManager manager

The ProcessManager used to control the execution of this Applet.

process

CSProcess process

The process defining the behaviour of this Applet.

started

boolean started

Records whether the start method has been invoked.

stopStart

ChannelOutputInt stopStart

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

tim

CSTimer tim

TIMEOUT

int TIMEOUT

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).

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveButton implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveButtonControl.BadArguments implements Serializable

Class jcsp.awt.ActiveButtonState.BadArguments implements Serializable

Class jcsp.awt.ActiveCanvas implements Serializable

Serialized Fields

fromGraphics

ChannelOutput fromGraphics

paintable

Paintable paintable

requestedHeight

int requestedHeight

requestedWidth

int requestedWidth

toGraphics

ChannelInput toGraphics

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveCheckbox implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveCheckboxMenuItem implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveChoice implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveComponent implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveContainer implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveDialog implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveFileDialog implements Serializable

Serialized Fields

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.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveFrame implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveLabel implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveList implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveMenu implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveMenuItem implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActivePanel implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveScrollbar implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveScrollPane implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveTextArea implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveTextField implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

Class jcsp.awt.ActiveWindow implements Serializable

Serialized Fields

configure

ChannelInput configure

The channel from which configuration messages arrive.

vec

Vector vec

The Vector construct containing the handlers.

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.

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.

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.

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.

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.

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.

Class jcsp.lang.Any2OneChannel implements Serializable

Serialized Fields

alt

Alternative alt

The Alternative class that controls the selection

data

ChannelDataStore data

The ChannelDataStore used to store the data for the Channel

writeMonitor

Object writeMonitor

The monitor on which writers must synchronize

Class jcsp.lang.Any2OneChannelInt implements Serializable

Serialized Fields

alt

Alternative alt

The Alternative class that controls the selection

data

ChannelDataStoreInt data

The ChannelDataStoreInt used to store the data for the Channel

writeMonitor

Object writeMonitor

The monitor on which writers must synchronize

Class jcsp.lang.Barrier implements Serializable

Serialized Fields

countDown

int countDown

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

nEnrolled

int nEnrolled

The number of processes currently enrolled on this barrier.

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.

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.

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.

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.

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.

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.

Class jcsp.lang.One2OneChannel implements Serializable

Serialized Fields

alt

Alternative alt

The Alternative class that controls the selection

data

ChannelDataStore data

The ChannelDataStore used to store the data for the channel

Class jcsp.lang.One2OneChannelInt implements Serializable

Serialized Fields

alt

Alternative alt

The Alternative class that controls the selection

data

ChannelDataStoreInt data

The ChannelDataStoreInt used to store the data for the channel

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.InfiniteBuffer implements Serializable

Serialized Fields

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

initialSize

int initialSize

The initial size of the buffer

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.InfiniteBufferInt implements Serializable

Serialized Fields

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

initialSize

int initialSize

The initial size of the buffer

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