All Classes and Interfaces
Class
Description
java.applet.Applet
with a channel interface, specialising in the operation
of CSProcess
networks as applets.This enables general configuration of this component.
java.awt.Button
with a channel interface.This enables general configuration of this component.
This is a user-programmable finite state machine for
controlling an array of
ActiveButton
s.This gets thrown if a consistency check fails in the
ActiveButtonControl
constructor.A state of the
ActiveButtonControl
finite state machine.This gets thrown if a consistency check fails in the
ActiveButtonState
constructor.java.awt.Canvas
with a channel interface.java.awt.Checkbox
with a channel interface.This enables general configuration of this component.
java.awt.CheckboxMenuItem
with a channel interface.This enables general configuration of this component.
java.awt.Choice
with a channel interface.This enables general configuration of this component.
A specialisation of
ActiveFrame
that forces a System.exit
upon a Window Closing event.java.awt.Component
with a channel interface.This enables general configuration of this component.
java.awt.Container
with a channel interface.This enables general configuration of this component.
java.awt.Dialog
with a channel interface.This enables general configuration of this component.
java.awt.FileDialog
with a channel interface.This enables general configuration of this component.
java.awt.Frame
with a channel interface.This enables general configuration of this component.
java.awt.Label
with a channel interface.This enables general configuration of this component.
java.awt.List
with a channel interface.This enables general configuration of this component.
java.awt.Menu
with a channel interface.This enables general configuration of this component.
java.awt.MenuItem
with a channel interface.This enables general configuration of this component.
java.awt.Panel
with a channel interface.This enables general configuration of this component.
java.awt.Scrollbar
with a channel interface.This enables general configuration of this component.
java.awt.ScrollPane
with a channel interface.This enables general configuration of this component.
java.awt.TextArea
with a channel interface.This enables general configuration of this component.
A specialisation of
ActiveTextArea
that writes text to
the event channel only when ESCAPE is pressed.A specialisation of
ActiveTextField
that writes text to
the event channel only when ENTER or ESCAPE is pressed.java.awt.TextField
with a channel interface.This enables general configuration of this component.
java.awt.Window
with a channel interface.This enables general configuration of this component.
This enables a process to wait passively for and choose
between a number of
Guard
events.This is thrown for an illegal operation on an Alternative.
This is the front-end for a barrier that can be used as
a
Guard
in an Alternative
.This is thrown for an illegal operation on an
AltingBarrier
.This extends
Guard
and ChannelAccept
to enable a process to choose between many CALL channel (and other) events.This extends
Guard
and ChannelInput
to enable a process to choose between many object input (and other) events.This extends
Guard
and ChannelInputInt
to enable a process
to choose between many integer input (and other) events.Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
This extends
Guard
and ChannelOutput
to enable a process
to choose between many integer output (and other) events.This extends
Guard
and ChannelOutputInt
to enable a process
to choose between many integer output (and other) events.
This class is sub-classed by JCSP.NET classes
to provide
ConnectionClient
objects which can
have their receive()
method alted over.This class does not need to be used by standard JCSP users.
An interface to connection.
This class does not need to be used by standard JCSP users.
Bitwise ands two Integer streams to one stream.
Bitwise ands two integer streams to one stream.
This is the super-class for any-to-any interface-specific CALL channels,
safe for use by many clients and many servers.
This defines the interface for an any-to-any Object channel,
safe for use by many writers and many readers.
This defines an interface for an any-to-any integer channel,
safe for use by many writers and many readers.
Defines an interface for a connection shared by multiple clients and multiple servers.
This is the super-class for any-to-one interface-specific CALL channels,
safe for use by many clients and one server.
This defines an interface for an any-to-one Object channel,
safe for use by many writers and one reader.
This defines an interface for an any-to-one integer channel,
safe for use by many writers and one reader.
Defines an interface for a connection that can be shared
by multiple concurrent clients but used by
a single server.
This enables barrier synchronisation between a set of processes.
This is thrown for an illegal operation on an Barrier.
Black holes anything sent to it.
This implements
ChannelOutput
with black hole semantics.This implements
ChannelOutputInt
with black hole semantics.Black holes anything sent to it.
This enables bucket synchronisation between a set of processes.
This is used to create a buffered object channel that never loses data.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
This is used to create a buffered integer channel that never loses data.
This is thrown if an attempt is made to create some variety of buffered channel
with a zero or negative sized buffer.
This is thrown if an attempt is made to create some variety of buffered channel
with a zero or negative sized buffer.
This class provides static factory methods for constructing
all the different types of channel.
This defines the interface for accepting CALL channels.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
This is the interface for object channel plug-ins that define their buffering
characteristics.
This is the interface for integer channel plug-ins that define their buffering
characteristics.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
This defines the interface for reading from an Object channel.
This defines the interface for reading from object channels.
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
Deprecated.
To create integer channels, use the methods in the Channel class.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
Deprecated.
These channel factories are deprecated in favour of the new one2one() methods in the Channel class.
This defines the interface for writing to object channels.
This defines the interface for writing to integer channels.
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
This class provides static factory methods for constructing
different types of connection.
Defines an interface for a factory that can create arrays of connections.
This is an interface to be implemented by classes that wish
to act as a client to connect to a
ConnectionServer
.
Defines an interface for a factory than can create connections.
This interface should be implemented by classes that wish to
act as connection servers and to accept requests from
ConnectionClient
objects.This provides a Concurrent Read Exclusive Write (CREW) lock for synchronising
fair and secure access to a shared resource.
This is the JCSP interface for a process - an active component that encapsulates
the data structures on which it operates.
This is a
Guard
for setting timeouts in an Alternative
.This process broadcasts objects arriving on its input channel in parallel
to its array of output channels.
This process broadcasts objects arriving on its input channel in parallel
to its two output channels.
This process broadcasts integers arriving on its input channel in parallel
to its two output channels.
This process broadcasts integers arriving on its input channel in parallel
to its array of output channels.
This demultiplexes data from its input channel to its output channel array.
This demultiplexes data from its input channel to its output channel array.
This demultiplexes data from its input channel to its output channel array.
This demultiplexes data from its input channel to its output channel array.
Objects implementing this interface provide graphics services to a
CSProcess
.This process broadcasts objects arriving on its input channel in parallel
to its output channel array -- those output channels can be changed dynamically.
This process broadcasts integers arriving on its input channel in parallel
to its output channel array -- those output channels can be changed dynamically.
This generates the Fibonacci sequence on its output channel.
This generates the Fibonacci sequence on its output channel.
Interface for channel plug-ins that define filtering operations -
transformations on the data as it is read or written.
Implements an
AltingChannelInput
channel end that also supports read filters.Interface for an Any2Any channel that has support for filtering at both ends.
Interface for an Any2One channel that supports filtering operations at each end.
Static factory for creating filtered channels.
Static factory for creating channel end wrappers that support filtering.
Factory for creating filtered channel ends around existing channel ends.
This class is used for constructing Filtered Channels.
Interface for a channel input end that supports filtering operations.
Interface for a channel output end that supports write filtering operations.
Interface for an
Any2Any
channel that supports both read and write filters.Interface for a
One2One
channel that supports filtering operations at each end.Interface for a channel input end that supports filtering and can be shared by multiple processes.
This is wrapper for a
SharedChannelInput
that adds
read filtering.Interface for an output channel end that supports filtering operations and can be shared by multiple
concurrent processes.
This is wrapper for a
SharedChannelOutput
that adds
write filtering.This process copies input to output, imposing a fixed time delay
between these events.
This holds on to data from its input channel for a fixed delay before passing
it on to its output channel.
A free-standing button process in its own frame, with configure and
event channels.
A free-standing array of button processes in their own frame,
with configure and event channels.
A free-standing grid of button processes in their own frame,
with configure and event channels.
A free-standing scrollbar process in its own frame, with configure and
event channels.
Generates an infinite (constant) sequence of Integers.
Generates an infinite (constant) sequence of ints.
This is the tagged protocol interpreted by objects
(such as
DisplayList
) that implement the Display
interface.This is the (immutable) command object for
java.awt.Graphics.clearRect
.This is the (immutable) command object for
java.awt.Graphics.clipRect
.This is the (immutable) command object for
java.awt.Graphics.copyArea
.This is the (immutable) command object for
java.awt.Graphics.draw3DRect
.This is the (immutable) command object for
java.awt.Graphics.drawArc
.This is the (immutable) command object for
java.awt.Graphics.drawBytes
.This is the (immutable) command object for
java.awt.Graphics.drawChars
.This is the (immutable) command object for
java.awt.Graphics.drawImage
.This is the (immutable) command object for
java.awt.Graphics.drawLine
.This is the (immutable) command object for
java.awt.Graphics.drawOval
.This is the (immutable) command object for
java.awt.Graphics.drawPolygon
.This is the (immutable) command object for
java.awt.Graphics.drawPolyline
.This is the (immutable) command object for
java.awt.Graphics.drawRect
.This is the (immutable) command object for
java.awt.Graphics.drawRoundRect
.This is the (immutable) command object for
java.awt.Graphics.drawString
.This is the (immutable) command object for
java.awt.Graphics.translate
.This is the (immutable) command object for
java.awt.Graphics.fillArc
.This is the (immutable) command object for
java.awt.Graphics.fillOval
.This is the (immutable) command object for
java.awt.Graphics.fillPolygon
.This is the (immutable) command object for
java.awt.Graphics.fillRect
.This is the (immutable) command object for
java.awt.Graphics.fillRoundRect
.This is the command object holding a
GraphicsCommand.Graphic
object
implementing an arbitrary set of graphics operations.This is the (immutable) command object for
java.awt.Graphics.setClip
.This is the (immutable) command object for
java.awt.Graphics.setColor
.This is the (immutable) command object for
java.awt.Graphics.setFont
.This is the (immutable) command object for
java.awt.Graphics.setXORMode
.This is the (immutable) command object for
java.awt.Graphics.translate
.This is the tagged protocol for use over the toGraphics
configuration channel of an active graphics component.
This is the interface for general configuration of the graphics component.
This is a general configuration class for the graphics component.
This is a configuration class to associate a java.awt.image.MemoryImageSource
with the graphics component.
This is a configuration class for setting the background java.awt.Color
of the active graphics component.
This is a configuration class to register a org.jcsp.awt.Paintable object
with the graphics component.
This is the super-class for all
Alternative
events selectable by a process.This copies its input stream to its output stream unchanged.
This copies its input stream to its output stream unchanged.
This is used to create a buffered object channel that always accepts and
never loses any input.
This is used to create a buffered integer channel that always accepts and
never loses any input.
This class is experimental (i.e.
This is a running-sum integrator of the Integers on its input stream
to its output stream.
This is a running-sum integrator of the ints on its input stream
to its output stream.
This is thrown by an inconsistency detected in the internal structures of JCSP.
Merges an array of strictly increasing Integer input streams into one
strictly increasing output stream.
Merges two strictly increasing Integer input streams into one
strictly increasing output stream.
Merges two strictly increasing int input streams into one
strictly increasing output stream.
Merges an array of strictly increasing int input streams into one
strictly increasing output stream.
Scales an Integer stream.
Scales an integer stream.
Fair multiplexes its input Object stream array into one output stream
(carrying source channel and data pairs).
Fair multiplexes its input integer stream array into one output stream
(carrying source channel and data pairs).
Bitwise nands two Integer streams to one stream.
Bitwise nands two integer streams to one stream.
Bitwise nors two Integer streams to one stream.
Bitwise nors two integer streams to one stream.
Plugs together a network of low-level stateless components
to generate the sequence of natural numbers.
Plugs together a network of low-level stateless components
to generate the sequence of natural numbers.
This is the super-class for one-to-any interface-specific CALL channels,
safe for use by one client and many servers.
This defines the interface for a one-to-any Object channel,
safe for use by one writer and many readers.
This defines the interface for a one-to-any integer channel,
safe for use by one writer and many readers.
An interface for a connection which can be used by only one client but which can be used by multiple
concurrent servers.
This is the super-class for one-to-one interface-specific CALL channels.
This defines the interface for a one-to-one Object channel.
This defines the interface for a one-to-one integer channel.
This defines the interface for a symmetric one-to-one Object channel.
This defines the interface for a symmetric one-to-one integer channel.
Defines an interface for a connection that can be used by a single server and single client.
Bitwise ors two Integer streams to one stream.
Bitwise ors two integer streams to one stream.
This is used to create a buffered object channel that always accepts input,
discarding its last entered data if full.
This is used to create a buffered integer channel that always accepts input,
discarding its last entered data if full.
This is used to create a buffered object channel that always accepts input,
overwriting its oldest data if full.
This is used to create a buffered integer channel that always accepts input,
overwriting its oldest data if full.
This is used to create a buffered object channel that always accepts input,
overwriting its last entered data if full.
This is used to create a buffered integer channel that always accepts input,
overwriting its last entered data if full.
Active components may delegate their paint and update
methods to objects implementing this interface.
Generates sums of successive pairs of input Integers.
Generates sums of successive pairs of input values.
This process constructor taks an array of CSProcesses
and returns a CSProcess that is the parallel composition of
its process arguments.
Parallel multiplexes its input Object stream array on to one output stream.
Parallel multiplexes its input integer stream array on to one output stream.
Fair multiplexes its input Object stream array into one output stream.
Fair multiplexes two Object streams into one.
Fair multiplexes two integer streams into one.
Fair multiplexes its input integer stream array into one output stream.
Sums two Integer streams to one stream.
Sums two integer streams to one stream.
All channel-ends implement this inteface.
This exception is thrown when a process tries to use a channel that
has been poisoned.
This filter will throw a
PoisonException
when filter(Object)
is called.Deprecated.
Use poison directly instead
Prefixes a user-supplied object to the Object stream
flowing through.
Prefixes a user-supplied integer to the int stream
flowing through.
Prints each Object from its input channel to a PrintStream.
Prints each int from its input channel to a PrintStream.
This is an extension of the
Parallel
class that prioritises
the processes given to its control.This is thrown if a process is interrupted whilst blocked during synchronisation
- processes should never be interrupted.
This enables a
CSProcess
to be spawned
concurrently with the process doing the spawning.Reads one Object from its input channel.
Reads one int from its input channel.
Writes one Object to its output channel.
Writes one int to its output channel.
Interface for a channel end supporting read filtering operations.
This process generates a constant stream of Integers at a regular rate.
This process generates a constant stream of Integers at a regular rate.
This process controls the rate of flow of traffic from its input to output channels.
This process controls the rate of flow of traffic from its input to output channels.
This constructor taks an array of CSProcesses
and returns a CSProcess that is the sequential composition of
its process arguments.
Implements a client end of a Connection which can have multiple
client processes.
This is the same as
ChannelInput
except that it is guaranteed
safe to pass on to more than one internal process for parallel reading.This is the same as
ChannelInputInt
except that it is guaranteed
safe to pass on to more than one internal process for parallel reading.This is the same as
ChannelOutput
except that it is guaranteed
safe to pass on to more than one internal process for parallel writing.This is the same as
ChannelOutputInt
except that it is guaranteed
safe to pass on to more than one internal process for parallel writing.
Defines an interface for a client end of a connection that
can be shared by multiple clients.
Defines an interface for a server end of a connection that
can be shared by multiple concurrent processes.
This class does not need to be used by standard JCSP users.
Converts each input Object to a String, prefixing it
with a user-defined sign.
Converts each input int to a String, prefixing it
with a user-defined sign.
This is a process that immediately terminates and
a
Guard
that is always ready.This holds the log of spurious wakeups and early timeouts.
Generates the Integer stream 1*1, 2*2, 3*3, etc by a somewhat unusual route.
Generates the integer stream 1*1, 2*2, 3*3, etc by a somewhat unusual route.
This class acts as a Factory for creating
channels.
This class acts as a Factory for creating
channels.
Implements a factory for creating connections.
This is a process that starts, engages in no events, performs no
computation but refuses to terminate.
Substitutes a user-configured Object for each Object in the stream
flowing through.
Substitutes a user-configured constant for each integer in the stream
flowing through.
Adds one to each Integer in the stream flowing through.
Adds one to each integer in the stream flowing through.
TaggedProtocol is the base class for messages carrying
an occam2-like tagged (CASE) protocol over JCSP channels.
The output stream is the tail of its input stream.
The output stream is the tail of its input stream.
Multiplies two Integer streams to one stream.
Multiplies two integer streams to one stream.
Interface for a channel end supporting write filtering operations.
Bitwise xors two Integer streams to one stream.
Bitwise xors two integer streams to one stream.
This is used to create a zero-buffered object channel that never loses data.
This is used to create a zero-buffered integer channel that never loses data.