CSP for Java
(JCSP) 1.1-rc4

Serialized Form


Package org.jcsp.awt

Class org.jcsp.awt.ActiveApplet extends java.applet.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

java.util.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 java.awt.Button implements Serializable

Serialized Fields

vec

java.util.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 java.lang.Exception implements Serializable

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

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

Serialized Fields

toGraphics

ChannelInput toGraphics

fromGraphics

ChannelOutput fromGraphics

paintable

Paintable paintable

vec

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


requestedWidth

int requestedWidth

requestedHeight

int requestedHeight

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

Serialized Fields

vec

java.util.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 java.awt.CheckboxMenuItem implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Choice implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Component implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Container implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Dialog implements Serializable

Serialized Fields

vec

java.util.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 java.awt.FileDialog implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Frame implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Label implements Serializable

Serialized Fields

vec

java.util.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 java.awt.List implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Menu implements Serializable

Serialized Fields

vec

java.util.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 java.awt.MenuItem implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Panel implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Scrollbar implements Serializable

Serialized Fields

vec

java.util.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 java.awt.ScrollPane implements Serializable

Serialized Fields

vec

java.util.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 java.awt.TextArea implements Serializable

Serialized Fields

vec

java.util.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 java.awt.TextField implements Serializable

Serialized Fields

vec

java.util.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 java.awt.Window implements Serializable

Serialized Fields

vec

java.util.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 java.lang.Error implements Serializable

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

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

java.lang.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 java.lang.Error implements Serializable

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

Serialized Fields

nHolding

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


bucketLock

java.lang.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.ChannelDataRejectedException extends java.lang.RuntimeException implements Serializable

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

Class org.jcsp.lang.One2AnyCallChannel extends java.lang.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.PoisonException extends ChannelDataRejectedException implements Serializable

Serialized Fields

strength

int strength

Class org.jcsp.lang.ProcessInterruptedException extends java.lang.Error implements Serializable


Package org.jcsp.net

Class org.jcsp.net.AbstractID extends java.lang.Object implements Serializable

Class org.jcsp.net.ApplicationID extends AbstractID implements Serializable

Serialized Fields

nodeID

NodeID nodeID

appID

int appID

Class org.jcsp.net.DomainID extends AbstractID implements Serializable

Serialized Fields

nullDom

boolean nullDom

name

java.lang.String name

Class org.jcsp.net.DuplicateChannelLabelException extends java.lang.RuntimeException implements Serializable

Class org.jcsp.net.GlobalID extends AbstractID implements Serializable

Class org.jcsp.net.LinkLostException extends java.lang.RuntimeException implements Serializable

Serialized Fields

source

java.lang.Object source
The object which threw this exception.

Class org.jcsp.net.LinkManager.LinkEstablishmentException extends java.lang.RuntimeException implements Serializable

Serialized Fields

lh

org.jcsp.net.LinkManager.LinksToNodeHolder lh

profile

Profile profile

Class org.jcsp.net.Message.BounceMessage extends org.jcsp.net.Message implements Serializable

Class org.jcsp.net.Message.PingMessage extends org.jcsp.net.Message implements Serializable

Class org.jcsp.net.Message.PingReplyMessage extends org.jcsp.net.Message implements Serializable

Class org.jcsp.net.NetChannelError extends java.lang.Error implements Serializable

Class org.jcsp.net.NetChannelLocation extends java.lang.Object implements Serializable

Serialized Fields

channelLabel

java.lang.String channelLabel
The label, if any, assigned to a channel's VCN.


vcn

long vcn
The VCN of a channel, if known.


channelNode

NodeID channelNode
The NodeID of the channel's Node. This should be null if channelAddress is not null.


channelAddress

NodeAddressID channelAddress
The NodeAddressID on which the channel's Node is listening. This should be null if channelNode is not null.

Class org.jcsp.net.NodeAddressID extends java.lang.Object implements Serializable

Class org.jcsp.net.NodeID extends AbstractID implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Throws:
java.io.IOException
java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
Throws:
java.io.IOException
Serialized Fields

addressIDs

NodeAddressID[] addressIDs
This is a set of addresses of LinkServers that the Node, represented by this NodeID, is running.


unrecognisedAddressIDs

java.util.HashSet<E> unrecognisedAddressIDs
This is the set of addresses of LinkServers that the Node, represented by this NodeID, is running but this JVM does not recognise. The serialized forms of the addresses are stored here so that


domainID

DomainID domainID
The Domain of which the Node represented by this NodeID is a member.


nodeUI

NodeUI nodeUI
A unique identifier for this node.


name

java.lang.String name
A name assigned to this Node.

Class org.jcsp.net.NodeInitFailedException extends java.lang.Exception implements Serializable

Class org.jcsp.net.NodeUI extends java.lang.Object implements Serializable

Class org.jcsp.net.NodeUIImpl extends NodeUI implements Serializable

Serialized Fields

time

long time

mem

long mem

hashCode

int hashCode

Class org.jcsp.net.ProtocolID extends java.lang.Object implements Serializable

Serialized Fields

position

int position
The position in the order of preference of protocols.

Class org.jcsp.net.ReaderIndexException extends java.lang.RuntimeException implements Serializable

Class org.jcsp.net.ServiceInstallationException extends java.lang.RuntimeException implements Serializable

Class org.jcsp.net.XMLNodeFactory extends java.lang.Object implements Serializable

Serialized Fields

config

JCSPConfig config

Package org.jcsp.net.cns

Class org.jcsp.net.cns.ChannelNameException extends java.lang.IllegalArgumentException implements Serializable

Class org.jcsp.net.cns.ChannelNameKey extends java.lang.Object implements Serializable

Serialized Fields

hashCode

int hashCode

val

long val

key

long key

Class org.jcsp.net.cns.CNSNetChannelLocation extends NetChannelLocation implements Serializable

Serialized Fields

name

java.lang.String name

accessLevel

NameAccessLevel accessLevel

cnsServiceName

java.lang.String cnsServiceName

Class org.jcsp.net.cns.NameAccessLevel extends java.lang.Object implements Serializable

Serialized Fields

abstractID

AbstractID abstractID

Class org.jcsp.net.cns.NameAccessLevelException extends java.lang.IllegalArgumentException implements Serializable

Class org.jcsp.net.cns.WrongFactoryException extends java.lang.RuntimeException implements Serializable


Package org.jcsp.net.dynamic

Class org.jcsp.net.dynamic.ChannelEndContructionException extends java.lang.RuntimeException implements Serializable

Class org.jcsp.net.dynamic.ChannelEndNotMoveableException extends java.lang.RuntimeException implements Serializable

Class org.jcsp.net.dynamic.MigratableAltingChannelInput extends NetAltingChannelInput implements Serializable


Package org.jcsp.net.remote

Class org.jcsp.net.remote.RemoteProcessFailedException extends java.lang.RuntimeException implements Serializable

Serialized Fields

errorCode

int errorCode
The error code returned by the process.


process

CSProcess process
The offending process.

Class org.jcsp.net.remote.RemoteSpawnException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause
The actual exception.


Package org.jcsp.net.security

Class org.jcsp.net.security.AccessDeniedException extends java.lang.Exception implements Serializable

Serialized Fields

reason

java.lang.String reason
The reason the exception was raised.


auth

SecurityAuthority auth
The security authority raising the exception.

Class org.jcsp.net.security.SimpleSecurityAuthority extends java.lang.Object implements Serializable

Serialized Fields

currentUser

UserToken currentUser
The token of the current user.


allowedUsers

java.util.Vector<E> allowedUsers
Set of permitted users.


serviceRunning

boolean serviceRunning
Flag indicating if the service is running or not.


userObject

SecurityAuthority userObject
The user control object that avoids giving out the full administrative interface.


Package org.jcsp.net.settings

Class org.jcsp.net.settings.ConfigReader.XMLValidationException extends java.lang.RuntimeException implements Serializable


Package org.jcsp.net.tcpip

Class org.jcsp.net.tcpip.TCPIPAddressID extends NodeAddressID implements Serializable

Serialized Fields

host

java.net.InetAddress host

port

int port

protocolID

ProtocolID protocolID

stringForm

java.lang.String stringForm

isUnique

boolean isUnique

Class org.jcsp.net.tcpip.TCPIPNodeFactory extends java.lang.Object implements Serializable

Serialized Fields

cnsServer

NodeAddressID cnsServer
Address of the CNS server.


localPort

int localPort
Port number to use for the local link server. By default will be system assigned. Call setLocalPort prior to calling Node.init () to set a specific value.


security

SecurityService security
Optional security service to install.

Class org.jcsp.net.tcpip.TCPIPProtocolID extends ProtocolID implements Serializable


Package org.jcsp.util

Class org.jcsp.util.Buffer extends java.lang.Object implements Serializable

Serialized Fields

buffer

java.lang.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 java.lang.Error implements Serializable

Class org.jcsp.util.InfiniteBuffer extends java.lang.Object implements Serializable

Serialized Fields

initialSize

int initialSize
The initial size of the buffer


buffer

java.lang.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 java.lang.Object implements Serializable

Serialized Fields

buffer

java.lang.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 java.lang.Object implements Serializable

Serialized Fields

buffer

java.lang.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 java.lang.Object implements Serializable

Serialized Fields

buffer

java.lang.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 java.lang.Object implements Serializable

Serialized Fields

state

int state
The current state


value

java.lang.Object value
The Object


Package org.jcsp.util.filter

Class org.jcsp.util.filter.PoisonFilterException extends PoisonException implements Serializable


Package org.jcsp.util.ints

Class org.jcsp.util.ints.BufferInt extends java.lang.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 java.lang.Error implements Serializable

Class org.jcsp.util.ints.InfiniteBufferInt extends java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.Object implements Serializable

Serialized Fields

state

int state
The current state


value

int value
The int


CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 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.