# Serialized Form

## Package org.jcsp.awt

### Class org.jcsp.awt.ActiveApplet

class ActiveApplet extends Applet 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

TRUE iff the applet is currently active.

##### 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 org.jcsp.awt.ActiveButton

class ActiveButton extends Button implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Exception Class org.jcsp.awt.ActiveButtonControl.BadArguments

class BadArguments extends Exception implements Serializable

### Exception Class org.jcsp.awt.ActiveButtonState.BadArguments

class BadArguments extends Exception implements Serializable

### Class org.jcsp.awt.ActiveCanvas

class ActiveCanvas extends Canvas 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 org.jcsp.awt.ActiveCheckbox

class ActiveCheckbox extends Checkbox implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveCheckboxMenuItem

class ActiveCheckboxMenuItem extends CheckboxMenuItem implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveChoice

class ActiveChoice extends Choice implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveComponent

class ActiveComponent extends Component implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveContainer

class ActiveContainer extends Container implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveDialog

class ActiveDialog extends Dialog implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveFileDialog

class ActiveFileDialog extends FileDialog 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 org.jcsp.awt.ActiveFrame

class ActiveFrame extends Frame implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveLabel

class ActiveLabel extends Label implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveList

class ActiveList extends List implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveMenu

class ActiveMenu extends Menu implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveMenuItem

class ActiveMenuItem extends MenuItem implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActivePanel

class ActivePanel extends Panel implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveScrollbar

class ActiveScrollbar extends Scrollbar implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveScrollPane

class ActiveScrollPane extends ScrollPane implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveTextArea

class ActiveTextArea extends TextArea implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveTextField

class ActiveTextField extends TextField implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveWindow

class ActiveWindow extends Window implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

## Package org.jcsp.lang

### Exception Class org.jcsp.lang.AlternativeError

class AlternativeError extends Error implements Serializable

### Exception Class org.jcsp.lang.AltingBarrierError

class AltingBarrierError extends Error implements Serializable

### Class org.jcsp.lang.Any2AnyCallChannel

class Any2AnyCallChannel extends Object implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.Any2OneChannelImpl c

This is used to synchronise the calling and accepting process.

##### d

    org.jcsp.lang.One2OneChannelImpl 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 org.jcsp.lang.Any2OneCallChannel

class Any2OneCallChannel extends AltingChannelAccept implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.Any2OneChannelImpl c

This is used to synchronise the calling and accepting process.

##### d

    org.jcsp.lang.One2OneChannelImpl 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 org.jcsp.lang.Barrier

class Barrier extends Object implements Serializable

#### Serialized Fields

##### barrierLock

    Object barrierLock

The monitor lock used for synchronisation.

##### countDown

    int countDown

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

##### evenOddCycle

    boolean evenOddCycle

The even/odd flag used to detect spurious wakeups.

##### nEnrolled

    int nEnrolled

The number of processes currently enrolled on this barrier.

### Exception Class org.jcsp.lang.BarrierError

class BarrierError extends Error implements Serializable

### Class org.jcsp.lang.Bucket

class Bucket extends Object implements Serializable

#### Serialized Fields

##### bucketCycle

    int bucketCycle

Barrier uses an even/odd flag because the barrier cannot sync without every process Bucket can happily keep working while old processes are waiting around, so a flag is not enough Instead, a count must be used. Theoretically this is unsafe, but the likelihood of the bucket completing 4 *billion* cycles before the process wakes up is somewhat slim.

##### bucketLock

    Object bucketLock

The monitor lock used for synchronization

##### nHolding

    int nHolding

The number of processes currently enrolled on this bucket.

### Exception Class org.jcsp.lang.JCSP_InternalError

class JCSP_InternalError extends Error implements Serializable

### Class org.jcsp.lang.One2AnyCallChannel

class One2AnyCallChannel extends Object implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.One2OneChannelImpl 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 org.jcsp.lang.One2OneCallChannel

class One2OneCallChannel extends AltingChannelAccept implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.One2OneChannelImpl 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.

### Exception Class org.jcsp.lang.ProcessInterruptedException

class ProcessInterruptedException extends Error implements Serializable

## Package org.jcsp.util

### Class org.jcsp.util.Buffer

class Buffer extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Exception Class org.jcsp.util.BufferSizeError

class BufferSizeError extends Error implements Serializable

### Class org.jcsp.util.InfiniteBuffer

class InfiniteBuffer extends Object 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 oldest element (when counter > 0)

##### initialSize

    int initialSize

The initial size of the buffer

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.OverFlowingBuffer

class OverFlowingBuffer extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.OverWriteOldestBuffer

class OverWriteOldestBuffer extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.OverWritingBuffer

class OverWritingBuffer extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter < buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.ZeroBuffer

class ZeroBuffer extends Object implements Serializable

#### Serialized Fields

##### state

    int state

The current state

##### value

    Object value

The Object

## Package org.jcsp.util.ints

### Class org.jcsp.util.ints.BufferInt

class BufferInt extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Exception Class org.jcsp.util.ints.BufferIntSizeError

class BufferIntSizeError extends Error implements Serializable

### Class org.jcsp.util.ints.InfiniteBufferInt

class InfiniteBufferInt extends Object 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 oldest element (when counter > 0)

##### initialSize

    int initialSize

The initial size of the buffer

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.ints.OverFlowingBufferInt

class OverFlowingBufferInt extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.ints.OverWriteOldestBufferInt

class OverWriteOldestBufferInt extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.ints.OverWritingBufferInt

class OverWritingBufferInt extends Object 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 oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.ints.ZeroBufferInt

class ZeroBufferInt extends Object implements Serializable

#### Serialized Fields

##### state

    int state

The current state

##### value

    int value

The int