Package org.jcsp.lang
package org.jcsp.lang
-
ClassDescriptionThis 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 aGuard
in anAlternative
.This is thrown for an illegal operation on anAltingBarrier
.This extendsGuard
andChannelAccept
to enable a process to choose between many CALL channel (and other) events.This extendsGuard
andChannelInput
to enable a process to choose between many object input (and other) events.This extendsGuard
andChannelInputInt
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 extendsGuard
andChannelOutput
to enable a process to choose between many integer output (and other) events.This extendsGuard
andChannelOutputInt
to enable a process to choose between many integer output (and other) events.This class is sub-classed by JCSP.NET classes to provideConnectionClient
objects which can have theirreceive()
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.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.This implementsChannelOutput
with black hole semantics.This implementsChannelOutputInt
with black hole semantics.This enables bucket synchronisation between a set of processes.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 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.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 aConnectionServer
.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 fromConnectionClient
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 aGuard
for setting timeouts in anAlternative
.This is the super-class for allAlternative
events selectable by a process.This class is experimental (i.e.This is thrown by an inconsistency detected in the internal structures of JCSP.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.This process constructor taks an array of CSProcesses and returns a CSProcess that is the parallel composition of its process arguments.All channel-ends implement this inteface.This exception is thrown when a process tries to use a channel that has been poisoned.This is an extension of theParallel
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 aCSProcess
to be spawned concurrently with the process doing the spawning.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 asChannelInput
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.This is the same asChannelInputInt
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.This is the same asChannelOutput
except that it is guaranteed safe to pass on to more than one internal process for parallel writing.This is the same asChannelOutputInt
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.This is a process that immediately terminates and aGuard
that is always ready.This holds the log of spurious wakeups and early timeouts.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.TaggedProtocol is the base class for messages carrying an occam2-like tagged (CASE) protocol over JCSP channels.