Package org.jcsp.lang
-
Interface Summary Interface Description Any2AnyChannel This defines the interface for an any-to-any Object channel, safe for use by many writers and many readers.Any2AnyChannelInt This defines an interface for an any-to-any integer channel, safe for use by many writers and many readers.Any2AnyConnection Defines an interface for a connection shared by multiple clients and multiple servers.Any2OneChannel This defines an interface for an any-to-one Object channel, safe for use by many writers and one reader.Any2OneChannelInt This defines an interface for an any-to-one integer channel, safe for use by many writers and one reader.Any2OneConnection Defines an interface for a connection that can be shared by multiple concurrent clients but used by a single server.BufferedChannelArrayFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.BufferedChannelFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.BufferedChannelIntArrayFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.BufferedChannelIntFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.ChannelAccept This defines the interface for accepting CALL channels.ChannelArrayFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.ChannelFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.ChannelInput This defines the interface for reading from an Object channel.ChannelInputInt This defines the interface for reading from object channels.ChannelIntArrayFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.ChannelIntFactory Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.ChannelOutput This defines the interface for writing to object channels.ChannelOutputInt This defines the interface for writing to integer channels.ConnectionArrayFactory Defines an interface for a factory that can create arrays of connections.ConnectionClient This is an interface to be implemented by classes that wish to act as a client to connect to aConnectionServer
.ConnectionFactory Defines an interface for a factory than can create connections.ConnectionServer This interface should be implemented by classes that wish to act as connection servers and to accept requests fromConnectionClient
objects.CSProcess This is the JCSP interface for a process - an active component that encapsulates the data structures on which it operates.One2AnyChannel This defines the interface for a one-to-any Object channel, safe for use by one writer and many readers.One2AnyChannelInt This defines the interface for a one-to-any integer channel, safe for use by one writer and many readers.One2AnyConnection An interface for a connection which can be used by only one client but which can be used by multiple concurrent servers.One2OneChannel This defines the interface for a one-to-one Object channel.One2OneChannelInt This defines the interface for a one-to-one integer channel.One2OneChannelSymmetric This defines the interface for a symmetric one-to-one Object channel.One2OneChannelSymmetricInt This defines the interface for a symmetric one-to-one integer channel.One2OneConnection Defines an interface for a connection that can be used by a single server and single client.Poisonable All channel-ends implement this inteface.RejectableChannel Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
.RejectableChannelInput Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
.RejectableChannelOutput Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
.SharedChannelInput This is the same asChannelInput
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.SharedChannelInputInt This is the same asChannelInputInt
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.SharedChannelOutput This is the same asChannelOutput
except that it is guaranteed safe to pass on to more than one internal process for parallel writing.SharedChannelOutputInt This is the same asChannelOutputInt
except that it is guaranteed safe to pass on to more than one internal process for parallel writing.SharedConnectionClient Defines an interface for a client end of a connection that can be shared by multiple clients.SharedConnectionServer Defines an interface for a server end of a connection that can be shared by multiple concurrent processes. -
Class Summary Class Description Alternative This enables a process to wait passively for and choose between a number ofGuard
events.AltingBarrier This is the front-end for a barrier that can be used as aGuard
in anAlternative
.AltingChannelAccept This extendsGuard
andChannelAccept
to enable a process to choose between many CALL channel (and other) events.AltingChannelInput This extendsGuard
andChannelInput
to enable a process to choose between many object input (and other) events.AltingChannelInputInt This extendsGuard
andChannelInputInt
to enable a process to choose between many integer input (and other) events.AltingChannelInputWrapper Deprecated. There is no longer any need to use this class, after the 1.1 class reorganisation.AltingChannelOutput This extendsGuard
andChannelOutput
to enable a process to choose between many integer output (and other) events.AltingChannelOutputInt This extendsGuard
andChannelOutputInt
to enable a process to choose between many integer output (and other) events.AltingConnectionClient This class is sub-classed by JCSP.NET classes to provideConnectionClient
objects which can have theirreceive()
method alted over.AltingConnectionClientImpl This class does not need to be used by standard JCSP users.AltingConnectionServer An interface to connection.AltingConnectionServerImpl This class does not need to be used by standard JCSP users.Any2AnyCallChannel This is the super-class for any-to-any interface-specific CALL channels, safe for use by many clients and many servers.Any2OneCallChannel This is the super-class for any-to-one interface-specific CALL channels, safe for use by many clients and one server.Barrier This enables barrier synchronisation between a set of processes.BlackHoleChannel This implementsChannelOutput
with black hole semantics.BlackHoleChannelInt This implementsChannelOutputInt
with black hole semantics.Bucket This enables bucket synchronisation between a set of processes.Channel This class provides static factory methods for constructing all the different types of channel.ChannelInputWrapper Deprecated. There is no longer any need to use this class, after the 1.1 class reorganisation.ChannelInt Deprecated. To create integer channels, use the methods in the Channel class.ChannelOutputWrapper Deprecated. There is no longer any need to use this class, after the 1.1 class reorganisation.Connection This class provides static factory methods for constructing different types of connection.Crew This provides a Concurrent Read Exclusive Write (CREW) lock for synchronising fair and secure access to a shared resource.CSTimer This is aGuard
for setting timeouts in anAlternative
.Guard This is the super-class for allAlternative
events selectable by a process.InlineAlternative This class is experimental (i.e.One2AnyCallChannel This is the super-class for one-to-any interface-specific CALL channels, safe for use by one client and many servers.One2OneCallChannel This is the super-class for one-to-one interface-specific CALL channels.Parallel This process constructor taks an array of CSProcesses and returns a CSProcess that is the parallel composition of its process arguments.PriParallel This is an extension of theParallel
class that prioritises the processes given to its control.ProcessManager This enables aCSProcess
to be spawned concurrently with the process doing the spawning.RejectableAltingChannelInput Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
RejectableBufferedOne2AnyChannel Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
RejectableBufferedOne2OneChannel Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
RejectableOne2AnyChannel Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
.RejectableOne2OneChannel Deprecated. This channel is superceded by the poison mechanisms, please seePoisonException
.Sequence This constructor taks an array of CSProcesses and returns a CSProcess that is the sequential composition of its process arguments.SharedAltingConnectionClient Implements a client end of a Connection which can have multiple client processes.SharedConnectionServerImpl This class does not need to be used by standard JCSP users.Skip This is a process that immediately terminates and aGuard
that is always ready.SpuriousLog This holds the log of spurious wakeups and early timeouts.StandardChannelFactory This class acts as a Factory for creating channels.StandardChannelIntFactory This class acts as a Factory for creating channels.StandardConnectionFactory Implements a factory for creating connections.Stop This is a process that starts, engages in no events, performs no computation but refuses to terminate.TaggedProtocol TaggedProtocol is the base class for messages carrying an occam2-like tagged (CASE) protocol over JCSP channels. -
Exception Summary Exception Description ChannelDataRejectedException Thrown by aread
or awrite
method of a channel when a reject has been called and the synchronization and data transfer will not complete.PoisonException This exception is thrown when a process tries to use a channel that has been poisoned. -
Error Summary Error Description AlternativeError This is thrown for an illegal operation on an Alternative.AltingBarrierError This is thrown for an illegal operation on anAltingBarrier
.BarrierError This is thrown for an illegal operation on an Barrier.JCSP_InternalError This is thrown by an inconsistency detected in the internal structures of JCSP.ProcessInterruptedException This is thrown if a process is interrupted whilst blocked during synchronisation - processes should never be interrupted.