CSP for Java
(JCSP) 1.1-rc3

Serialized Form


Package org.jcsp.awt

Class org.jcsp.awt.ActiveApplet extends Applet 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
TRUE iff the applet is currently active.


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<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveButton extends Button implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveButtonControl.BadArguments extends Exception implements Serializable

Class org.jcsp.awt.ActiveButtonState.BadArguments extends Exception implements Serializable

Class org.jcsp.awt.ActiveCanvas extends Canvas implements Serializable

Serialized Fields

toGraphics

ChannelInput toGraphics

fromGraphics

ChannelOutput fromGraphics

paintable

Paintable paintable

vec

Vector<E> vec
The Vector construct containing the handlers.


requestedWidth

int requestedWidth

requestedHeight

int requestedHeight

Class org.jcsp.awt.ActiveCheckbox extends Checkbox implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveCheckboxMenuItem extends CheckboxMenuItem implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveChoice extends Choice implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveComponent extends Component implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveContainer extends Container implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveDialog extends Dialog implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveFileDialog extends FileDialog implements Serializable

Serialized Fields

vec

Vector<E> 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 org.jcsp.awt.ActiveFrame extends Frame implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveLabel extends Label implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveList extends List implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveMenu extends Menu implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveMenuItem extends MenuItem implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActivePanel extends Panel implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveScrollbar extends Scrollbar implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveScrollPane extends ScrollPane implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveTextArea extends TextArea implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveTextField extends TextField implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.

Class org.jcsp.awt.ActiveWindow extends Window implements Serializable

Serialized Fields

vec

Vector<E> vec
The Vector construct containing the handlers.


configure

ChannelInput configure
The channel from which configuration messages arrive.


Package org.jcsp.lang

Class org.jcsp.lang.AlternativeError extends Error implements Serializable

Class org.jcsp.lang.AltingBarrierError extends Error implements Serializable

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


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


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


barrierLock

Object barrierLock
The monitor lock used for synchronisation.


evenOddCycle

boolean evenOddCycle
The even/odd flag used to detect spurious wakeups.

Class org.jcsp.lang.BarrierError extends Error implements Serializable

Class org.jcsp.lang.Bucket extends Object implements Serializable

Serialized Fields

nHolding

int nHolding
The number of processes currently enrolled on this bucket.


bucketLock

Object bucketLock
The monitor lock used for synchronization


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.

Class org.jcsp.lang.JCSP_InternalError extends Error implements Serializable

Class org.jcsp.lang.One2AnyCallChannel extends Object implements Serializable

Serialized Fields

c

org.jcsp.lang.One2OneChannelImpl 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 org.jcsp.lang.One2OneCallChannel extends AltingChannelAccept implements Serializable

Serialized Fields

c

org.jcsp.lang.One2OneChannelImpl 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 org.jcsp.lang.ProcessInterruptedException extends Error implements Serializable


Package org.jcsp.util

Class org.jcsp.util.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 < buffer.length)

Class org.jcsp.util.BufferSizeError extends Error implements Serializable

Class org.jcsp.util.InfiniteBuffer extends Object 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 oldest element (when counter > 0)


lastIndex

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

Class org.jcsp.util.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 < buffer.length)

Class org.jcsp.util.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 < buffer.length)


valueWrittenWhileFull

boolean valueWrittenWhileFull

Class org.jcsp.util.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 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 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 < buffer.length)

Class org.jcsp.util.ints.BufferIntSizeError extends Error implements Serializable

Class org.jcsp.util.ints.InfiniteBufferInt extends Object 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 oldest element (when counter > 0)


lastIndex

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

Class org.jcsp.util.ints.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 < buffer.length)

Class org.jcsp.util.ints.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 < buffer.length)


valueWrittenWhileFull

boolean valueWrittenWhileFull

Class org.jcsp.util.ints.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 < buffer.length)


valueWrittenWhileFull

boolean valueWrittenWhileFull

Class org.jcsp.util.ints.ZeroBufferInt extends Object implements Serializable

Serialized Fields

state

int state
The current state


value

int value
The int


CSP for Java
(JCSP) 1.1-rc3

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc3 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.