CSP for Java
(JCSP) 1.1-rc4

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

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.PoisonException extends ChannelDataRejectedException implements Serializable

Serialized Fields

strength

int strength

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


Package org.jcsp.net

Class org.jcsp.net.AbstractID extends 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

String name

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

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

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

Serialized Fields

source

Object source
The object which threw this exception.

Class org.jcsp.net.LinkManager.LinkEstablishmentException extends 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 Error implements Serializable

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

Serialized Fields

channelLabel

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 Object implements Serializable

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

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException
Throws:
IOException
ClassNotFoundException

writeObject

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

addressIDs

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


unrecognisedAddressIDs

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

String name
A name assigned to this Node.

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

Class org.jcsp.net.NodeUI extends 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 Object implements Serializable

Serialized Fields

position

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

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

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

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

Serialized Fields

config

JCSPConfig config

Package org.jcsp.net.cns

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

Class org.jcsp.net.cns.ChannelNameKey extends 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

String name

accessLevel

NameAccessLevel accessLevel

cnsServiceName

String cnsServiceName

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

Serialized Fields

abstractID

AbstractID abstractID

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

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


Package org.jcsp.net.dynamic

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

Class org.jcsp.net.dynamic.ChannelEndNotMoveableException extends 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 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 RuntimeException implements Serializable

Serialized Fields

cause

Throwable cause
The actual exception.


Package org.jcsp.net.security

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

Serialized Fields

reason

String reason
The reason the exception was raised.


auth

SecurityAuthority auth
The security authority raising the exception.

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

Serialized Fields

currentUser

UserToken currentUser
The token of the current user.


allowedUsers

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 RuntimeException implements Serializable


Package org.jcsp.net.tcpip

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

Serialized Fields

host

InetAddress host

port

int port

protocolID

ProtocolID protocolID

stringForm

String stringForm

isUnique

boolean isUnique

Class org.jcsp.net.tcpip.TCPIPNodeFactory extends 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 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.filter

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


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