Serialized Form
-
Package org.jcsp.awt
-
Class org.jcsp.awt.ActiveApplet extends java.applet.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
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveButton extends java.awt.Button implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
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
-
fromGraphics
ChannelOutput fromGraphics
-
paintable
Paintable paintable
-
requestedHeight
int requestedHeight
-
requestedWidth
int requestedWidth
-
toGraphics
ChannelInput toGraphics
-
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveCheckbox extends java.awt.Checkbox implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveCheckboxMenuItem extends java.awt.CheckboxMenuItem implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveChoice extends java.awt.Choice implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveComponent extends java.awt.Component implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveContainer extends java.awt.Container implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveDialog extends java.awt.Dialog implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveFileDialog extends java.awt.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
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveFrame extends java.awt.Frame implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveLabel extends java.awt.Label implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveList extends java.awt.List implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveMenu extends java.awt.Menu implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveMenuItem extends java.awt.MenuItem implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActivePanel extends java.awt.Panel implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveScrollbar extends java.awt.Scrollbar implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveScrollPane extends java.awt.ScrollPane implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveTextArea extends java.awt.TextArea implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveTextField extends java.awt.TextField implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
Class org.jcsp.awt.ActiveWindow extends java.awt.Window implements Serializable
-
Serialized Fields
-
configure
ChannelInput configure
The channel from which configuration messages arrive. -
vec
java.util.Vector vec
The Vector construct containing the handlers.
-
-
-
-
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. -
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 thejoin
andfork
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 ofaccept
. -
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 thejoin
andfork
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 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 thejoin
andfork
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 ofaccept
. -
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 thejoin
andfork
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 extends java.lang.Object implements Serializable
-
Serialized Fields
-
barrierLock
java.lang.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.
-
-
-
Class org.jcsp.lang.BarrierError extends java.lang.Error implements Serializable
-
Class org.jcsp.lang.Bucket extends java.lang.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
java.lang.Object bucketLock
The monitor lock used for synchronization -
nHolding
int nHolding
The number of processes currently enrolled on this bucket.
-
-
-
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. -
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 thejoin
andfork
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 ofaccept
. -
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 thejoin
andfork
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 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 thejoin
andfork
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 ofaccept
. -
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 thejoin
andfork
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.ProcessInterruptedException extends java.lang.Error 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
-
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) -
initialSize
int initialSize
The initial size of the buffer -
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.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
-
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 < 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
-
-
-