- change(GraphicsCommand[], int) - Method in interface org.jcsp.awt.Display
-
Changes the array of GraphicsCommands to be interpreted by replacing elements
i onwards with the new ones.
- change(GraphicsCommand, int) - Method in interface org.jcsp.awt.Display
-
Changes the array of GraphicsCommands to be executed by replacing element
i with the new one.
- change(GraphicsCommand[], int) - Method in class org.jcsp.awt.DisplayList
-
Changes the array of GraphicsCommands to be executed by replacing elements
i onwards with the new ones.
- change(GraphicsCommand, int) - Method in class org.jcsp.awt.DisplayList
-
Changes the array of GraphicsCommands to be executed by replacing element
i with the new one.
- Channel - Class in org.jcsp.lang
-
This class provides static factory methods for constructing
all the different types of channel.
- ChannelAccept - Interface in org.jcsp.lang
-
This defines the interface for accepting CALL channels.
- ChannelArrayFactory - Interface in org.jcsp.lang
-
- ChannelDataStore - Interface in org.jcsp.util
-
This is the interface for object channel plug-ins that define their buffering
characteristics.
- ChannelDataStoreInt - Interface in org.jcsp.util.ints
-
This is the interface for integer channel plug-ins that define their buffering
characteristics.
- ChannelFactory - Interface in org.jcsp.lang
-
- ChannelInput - Interface in org.jcsp.lang
-
This defines the interface for reading from an Object channel.
- ChannelInputInt - Interface in org.jcsp.lang
-
This defines the interface for reading from object channels.
- ChannelInputWrapper - Class in org.jcsp.lang
-
- ChannelInputWrapper(ChannelInput) - Constructor for class org.jcsp.lang.ChannelInputWrapper
-
Deprecated.
Constructs a new wrapper around the given channel end.
- ChannelInt - Class in org.jcsp.lang
-
- ChannelIntArrayFactory - Interface in org.jcsp.lang
-
- ChannelIntFactory - Interface in org.jcsp.lang
-
- ChannelOutput - Interface in org.jcsp.lang
-
This defines the interface for writing to object channels.
- ChannelOutputInt - Interface in org.jcsp.lang
-
This defines the interface for writing to integer channels.
- ChannelOutputWrapper - Class in org.jcsp.lang
-
- ChannelOutputWrapper(ChannelOutput) - Constructor for class org.jcsp.lang.ChannelOutputWrapper
-
Deprecated.
Creates a new wrapper for the given channel end.
- claim() - Method in class org.jcsp.lang.AltingConnectionClientImpl
-
This claims a lock on the client.
- claim() - Method in class org.jcsp.lang.SharedAltingConnectionClient
-
- ClearRect(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.ClearRect
-
- client() - Method in interface org.jcsp.lang.Any2AnyConnection
-
Returns a reference to the client end of the connection for use by the client processes.
- client() - Method in interface org.jcsp.lang.Any2OneConnection
-
Returns a client end of the connection.
- client() - Method in interface org.jcsp.lang.One2AnyConnection
-
Returns the client part of the connection.
- client() - Method in interface org.jcsp.lang.One2OneConnection
-
Returns the client end of the connection.
- ClipRect(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.ClipRect
-
- clone() - Method in class org.jcsp.util.Buffer
-
Returns a new (and EMPTY) Buffer with the same
creation parameters as this one.
- clone() - Method in interface org.jcsp.util.ChannelDataStore
-
Returns a new (and EMPTY) ChannelDataStore with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.InfiniteBuffer
-
Returns a new (and EMPTY) InfiniteBuffer with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ints.BufferInt
-
Returns a new (and EMPTY) BufferInt with the same
creation parameters as this one.
- clone() - Method in interface org.jcsp.util.ints.ChannelDataStoreInt
-
Returns a new (and EMPTY) ChannelDataStoreInt with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ints.InfiniteBufferInt
-
Returns a new (and EMPTY) InfiniteBufferInt with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ints.OverFlowingBufferInt
-
Returns a new (and EMPTY) OverFlowingBufferInt with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt
-
Returns a new (and EMPTY) OverWriteOldestBufferInt with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ints.OverWritingBufferInt
-
Returns a new (and EMPTY) OverWritingBufferInt with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ints.ZeroBufferInt
-
Returns a new (and EMPTY) ZeroBufferInt with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.OverFlowingBuffer
-
Returns a new (and EMPTY) OverFlowingBuffer with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.OverWriteOldestBuffer
-
Returns a new (and EMPTY) OverWriteOldestBuffer with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.OverWritingBuffer
-
Returns a new (and EMPTY) OverWritingBuffer with the same
creation parameters as this one.
- clone() - Method in class org.jcsp.util.ZeroBuffer
-
Returns a new (and EMPTY) ZeroBuffer with the same
creation parameters as this one.
- configure(Applet) - Method in interface org.jcsp.awt.ActiveApplet.Configure
-
- configure(Button) - Method in interface org.jcsp.awt.ActiveButton.Configure
-
- configure(Checkbox) - Method in interface org.jcsp.awt.ActiveCheckbox.Configure
-
- configure(CheckboxMenuItem) - Method in interface org.jcsp.awt.ActiveCheckboxMenuItem.Configure
-
- configure(Choice) - Method in interface org.jcsp.awt.ActiveChoice.Configure
-
- configure(Component) - Method in interface org.jcsp.awt.ActiveComponent.Configure
-
- configure(Container) - Method in interface org.jcsp.awt.ActiveContainer.Configure
-
- configure(Dialog) - Method in interface org.jcsp.awt.ActiveDialog.Configure
-
- configure(FileDialog) - Method in interface org.jcsp.awt.ActiveFileDialog.Configure
-
- configure(Frame) - Method in interface org.jcsp.awt.ActiveFrame.Configure
-
- configure(Label) - Method in interface org.jcsp.awt.ActiveLabel.Configure
-
- configure(List) - Method in interface org.jcsp.awt.ActiveList.Configure
-
- configure(Menu) - Method in interface org.jcsp.awt.ActiveMenu.Configure
-
- configure(MenuItem) - Method in interface org.jcsp.awt.ActiveMenuItem.Configure
-
- configure(Panel) - Method in interface org.jcsp.awt.ActivePanel.Configure
-
- configure(Scrollbar) - Method in interface org.jcsp.awt.ActiveScrollbar.Configure
-
- configure(ScrollPane) - Method in interface org.jcsp.awt.ActiveScrollPane.Configure
-
- configure(TextArea) - Method in interface org.jcsp.awt.ActiveTextArea.Configure
-
- configure(TextField) - Method in interface org.jcsp.awt.ActiveTextField.Configure
-
- configure(Window) - Method in interface org.jcsp.awt.ActiveWindow.Configure
-
- configure(Component) - Method in interface org.jcsp.awt.GraphicsProtocol.Configure
-
- Connection - Class in org.jcsp.lang
-
This class provides static factory methods for constructing
different types of connection.
- ConnectionArrayFactory - Interface in org.jcsp.lang
-
Defines an interface for a factory that can create arrays of connections.
- ConnectionClient - Interface in org.jcsp.lang
-
This is an interface to be implemented by classes that wish
to act as a client to connect to a ConnectionServer
.
- ConnectionFactory - Interface in org.jcsp.lang
-
Defines an interface for a factory than can create connections.
- ConnectionServer - Interface in org.jcsp.lang
-
This interface should be implemented by classes that wish to
act as connection servers and to accept requests from
ConnectionClient
objects.
- contract(AltingBarrier[]) - Method in class org.jcsp.lang.AltingBarrier
-
This contracts the number of processes enrolled in this alting barrier.
- contract() - Method in class org.jcsp.lang.AltingBarrier
-
This contracts by one the number of processes enrolled in this alting
barrier.
- CopyArea(int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.CopyArea
-
- create(int) - Static method in class org.jcsp.lang.AltingBarrier
-
This creates a new alting barrier with an (initial) enrollment
count of n
.
- create() - Static method in class org.jcsp.lang.AltingBarrier
-
This creates a new alting barrier with an (initial) enrollment
count of 1
.
- create(int) - Static method in class org.jcsp.lang.Bucket
-
Creates an array of Buckets.
- createAny2Any(ChannelDataStore, int) - Method in interface org.jcsp.lang.BufferedChannelArrayFactory
-
Deprecated.
Creates a populated array of n
Any2Any
channels with the specified
buffering behaviour.
- createAny2Any(ChannelDataStore) - Method in interface org.jcsp.lang.BufferedChannelFactory
-
Deprecated.
Creates a new Any2Any
channel with the given buffering behaviour.
- createAny2Any(ChannelDataStoreInt, int) - Method in interface org.jcsp.lang.BufferedChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
Any2Any
channels with the
specified buffering behaviour.
- createAny2Any(ChannelDataStoreInt) - Method in interface org.jcsp.lang.BufferedChannelIntFactory
-
Deprecated.
Creates a new Any2Any
channel with the given buffering behaviour.
- createAny2Any() - Static method in class org.jcsp.lang.Channel
-
- createAny2Any(int) - Static method in class org.jcsp.lang.Channel
-
- createAny2Any(ChannelDataStore) - Static method in class org.jcsp.lang.Channel
-
- createAny2Any(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel
-
- createAny2Any(int) - Method in interface org.jcsp.lang.ChannelArrayFactory
-
Deprecated.
Creates a populated array of n
Any2Any
channels.
- createAny2Any() - Method in interface org.jcsp.lang.ChannelFactory
-
Deprecated.
Creates a new Any2Any
channel.
- createAny2Any() - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an Any2AnyChannelInt
object.
- createAny2Any(int) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an array of Any2AnyChannelInt
objects.
- createAny2Any(ChannelDataStoreInt) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns a Any2AnyChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createAny2Any(ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an array of Any2AnyChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createAny2Any(int) - Method in interface org.jcsp.lang.ChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
Any2Any
channels.
- createAny2Any() - Method in interface org.jcsp.lang.ChannelIntFactory
-
Deprecated.
Creates a new Any2Any
channel.
- createAny2Any() - Static method in class org.jcsp.lang.Connection
-
- createAny2Any(int) - Static method in class org.jcsp.lang.Connection
-
- createAny2Any(int) - Method in interface org.jcsp.lang.ConnectionArrayFactory
-
Constructs and returns an array of instances of an implementation of
Any2AnyConnection
.
- createAny2Any() - Method in interface org.jcsp.lang.ConnectionFactory
-
Constructs and returns an implementation of
Any2AnyConnection
.
- createAny2Any() - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an Any2AnyChannel
object.
- createAny2Any(int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of Any2AnyChannel
objects.
- createAny2Any(ChannelDataStore) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns a Any2AnyChannel
object which
uses the specified ChannelDataStore
object as a buffer.
- createAny2Any(ChannelDataStore, int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of Any2AnyChannel
objects
which use the specified ChannelDataStore
object as a
buffer.
- createAny2Any() - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an Any2AnyChannelInt
object.
- createAny2Any(int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of Any2AnyChannelInt
objects.
- createAny2Any(ChannelDataStoreInt) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns a Any2AnyChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createAny2Any(ChannelDataStoreInt, int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of Any2AnyChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createAny2Any() - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createAny2Any(int) - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createAny2Any() - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new Any2Any filtered channel.
- createAny2Any(int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of Any2AnyChannel
objects.
- createAny2Any(ChannelDataStore) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new Any2Any filtered channel with a given buffering behaviour.
- createAny2Any(ChannelDataStore, int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of Any2AnyChannel
objects with a given buffer.
- createAny2Any() - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new Any2Any channel with the filtering options set for this factory.
- createAny2Any(int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of Any2AnyChannel
objects.
- createAny2Any(ChannelDataStore) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new Any2Any channel with the filtering options set for this factory and the specified
data buffer.
- createAny2Any(ChannelDataStore, int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of Any2AnyChannel
objects with a given buffering behaviour.
- createAny2One(ChannelDataStore, int) - Method in interface org.jcsp.lang.BufferedChannelArrayFactory
-
Deprecated.
Creates a populated array of n
Any2One
channels with the specified
buffering behaviour.
- createAny2One(ChannelDataStore) - Method in interface org.jcsp.lang.BufferedChannelFactory
-
Deprecated.
Creates a new Any2One
channel with the given buffering behaviour.
- createAny2One(ChannelDataStoreInt, int) - Method in interface org.jcsp.lang.BufferedChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
Any2One
channels with the
specified buffering behaviour.
- createAny2One(ChannelDataStoreInt) - Method in interface org.jcsp.lang.BufferedChannelIntFactory
-
Deprecated.
Creates a new Any2One
channel with the given buffering behaviour.
- createAny2One() - Static method in class org.jcsp.lang.Channel
-
- createAny2One(int) - Static method in class org.jcsp.lang.Channel
-
- createAny2One(ChannelDataStore) - Static method in class org.jcsp.lang.Channel
-
- createAny2One(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel
-
- createAny2One(int) - Method in interface org.jcsp.lang.ChannelArrayFactory
-
Deprecated.
Creates a populated array of n
Any2One
channels.
- createAny2One() - Method in interface org.jcsp.lang.ChannelFactory
-
Deprecated.
Creates a new Any2One
channel.
- createAny2One() - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an Any2OneChannelInt
object.
- createAny2One(ChannelDataStoreInt) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns a Any2OneChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createAny2One(int) - Method in interface org.jcsp.lang.ChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
Any2One
channels.
- createAny2One() - Method in interface org.jcsp.lang.ChannelIntFactory
-
Deprecated.
Creates a new Any2One
channel.
- createAny2One() - Static method in class org.jcsp.lang.Connection
-
- createAny2One(int) - Method in interface org.jcsp.lang.ConnectionArrayFactory
-
Constructs and returns an array of instances of an implementation of
Any2OneConnection
.
- createAny2One() - Method in interface org.jcsp.lang.ConnectionFactory
-
Constructs and returns an implementation of
Any2OneConnection
.
- createAny2One() - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an Any2OneChannel
object.
- createAny2One(int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of Any2OneChannel
objects.
- createAny2One(ChannelDataStore) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns a Any2OneChannel
object which
uses the specified ChannelDataStore
object as a buffer.
- createAny2One(ChannelDataStore, int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of Any2OneChannel
objects
which use the specified ChannelDataStore
object as a
buffer.
- createAny2One() - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an Any2OneChannelInt
object.
- createAny2One(int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of Any2OneChannelInt
objects.
- createAny2One(ChannelDataStoreInt) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns a Any2OneChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createAny2One(ChannelDataStoreInt, int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of Any2OneChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createAny2One() - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createAny2One(int) - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createAny2One() - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new Any2One filtered channel.
- createAny2One(int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of Any2OneChannel
objects.
- createAny2One(ChannelDataStore) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new Any2One filtered channel with a given buffering behaviour.
- createAny2One(ChannelDataStore, int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of Any2OneChannel
objects with a given buffer.
- createAny2One() - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new Any2One channel with the filtering options set for this factory.
- createAny2One(int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of Any2OneChannel
objects.
- createAny2One(ChannelDataStore) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new Any2One channel with the filtering options set for this factory and the specified
data buffer.
- createAny2One(ChannelDataStore, int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of Any2OneChannel
objects with a given buffering behaviour.
- createFiltered(AltingChannelInput) - Static method in class org.jcsp.util.filter.FilteredChannelEnd
-
Creates a new filtered input channel end around an existing input channel end.
- createFiltered(ChannelInput) - Static method in class org.jcsp.util.filter.FilteredChannelEnd
-
Creates a new filtered input channel end around an existing input channel end.
- createFiltered(SharedChannelInput) - Static method in class org.jcsp.util.filter.FilteredChannelEnd
-
Creates a new filtered input channel end around an existing input channel end that can be
shared by multiple processes.
- createFiltered(ChannelOutput) - Static method in class org.jcsp.util.filter.FilteredChannelEnd
-
Creates a new filtered output channel end around an existing output channel end.
- createFiltered(SharedChannelOutput) - Static method in class org.jcsp.util.filter.FilteredChannelEnd
-
Creates a new filtered output channel end around an existing output channel end that can be
shared by multiple processes.
- createFiltered(AltingChannelInput) - Method in class org.jcsp.util.filter.FilteredChannelEndFactory
-
Creates a new filtered channel input end around an existing channel end.
- createFiltered(ChannelInput) - Method in class org.jcsp.util.filter.FilteredChannelEndFactory
-
Creates a new filtered channel input end around an existing channel end.
- createFiltered(SharedChannelInput) - Method in class org.jcsp.util.filter.FilteredChannelEndFactory
-
Creates a new filtered channel input end around an existing channel end.
- createFiltered(ChannelOutput) - Method in class org.jcsp.util.filter.FilteredChannelEndFactory
-
Creates a new filtered channel output end around an existing channel end.
- createFiltered(SharedChannelOutput) - Method in class org.jcsp.util.filter.FilteredChannelEndFactory
-
Creates a new filtered channel output end around an existing channel end.
- createOne2Any(ChannelDataStore, int) - Method in interface org.jcsp.lang.BufferedChannelArrayFactory
-
Deprecated.
Creates a populated array of n
One2Any
channels with the specified
buffering behaviour.
- createOne2Any(ChannelDataStore) - Method in interface org.jcsp.lang.BufferedChannelFactory
-
Deprecated.
Creates a new One2Any
channel with the given buffering behaviour.
- createOne2Any(ChannelDataStoreInt, int) - Method in interface org.jcsp.lang.BufferedChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
One2Any
channels with the
specified buffering behaviour.
- createOne2Any(ChannelDataStoreInt) - Method in interface org.jcsp.lang.BufferedChannelIntFactory
-
Deprecated.
Creates a new One2Any
channel with the given buffering behaviour.
- createOne2Any() - Static method in class org.jcsp.lang.Channel
-
- createOne2Any(int) - Static method in class org.jcsp.lang.Channel
-
- createOne2Any(ChannelDataStore) - Static method in class org.jcsp.lang.Channel
-
- createOne2Any(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel
-
- createOne2Any(int) - Method in interface org.jcsp.lang.ChannelArrayFactory
-
Deprecated.
Creates a populated array of n
One2Any
channels.
- createOne2Any() - Method in interface org.jcsp.lang.ChannelFactory
-
Deprecated.
Creates a new One2Any
channel.
- createOne2Any() - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns a One2AnyChannelInt
object.
- createOne2Any(int) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an array of One2AnyChannelInt
objects.
- createOne2Any(ChannelDataStoreInt) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns a One2AnyChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createOne2Any(ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an array of One2AnyChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createOne2Any(int) - Method in interface org.jcsp.lang.ChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
One2Any
channels.
- createOne2Any() - Method in interface org.jcsp.lang.ChannelIntFactory
-
Deprecated.
Creates a new One2Any
channel.
- createOne2Any() - Static method in class org.jcsp.lang.Connection
-
- createOne2Any(int) - Static method in class org.jcsp.lang.Connection
-
- createOne2Any(int) - Method in interface org.jcsp.lang.ConnectionArrayFactory
-
Constructs and returns an array of instances of an implementation of
One2AnyConnection
.
- createOne2Any() - Method in interface org.jcsp.lang.ConnectionFactory
-
Constructs and returns an implementation of
One2AnyConnection
.
- createOne2Any() - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns a One2AnyChannel
object.
- createOne2Any(int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of One2AnyChannel
objects.
- createOne2Any(ChannelDataStore) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns a One2AnyChannel
object which
uses the specified ChannelDataStore
object as a buffer.
- createOne2Any(ChannelDataStore, int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of One2AnyChannel
objects
which use the specified ChannelDataStore
object as a
buffer.
- createOne2Any() - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns a One2AnyChannelInt
object.
- createOne2Any(int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of One2AnyChannelInt
objects.
- createOne2Any(ChannelDataStoreInt) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns a One2AnyChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createOne2Any(ChannelDataStoreInt, int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of One2AnyChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createOne2Any() - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createOne2Any(int) - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createOne2Any() - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new One2Any filtered channel.
- createOne2Any(int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of One2AnyChannel
objects.
- createOne2Any(ChannelDataStore) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new One2Any filtered channel with a given buffering behaviour.
- createOne2Any(ChannelDataStore, int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of One2AnyChannel
objects with a given buffer.
- createOne2Any() - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new One2Any channel with the filtering options set for this factory.
- createOne2Any(int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of One2AnyChannel
objects.
- createOne2Any(ChannelDataStore) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new One2Any channel with the filtering options set for this factory and the specified
data buffer.
- createOne2Any(ChannelDataStore, int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of One2AnyChannel
objects with a given buffering behaviour.
- createOne2One(ChannelDataStore, int) - Method in interface org.jcsp.lang.BufferedChannelArrayFactory
-
Deprecated.
Creates a populated array of n
One2One
channels with the
specified buffering behaviour.
- createOne2One(ChannelDataStore) - Method in interface org.jcsp.lang.BufferedChannelFactory
-
Deprecated.
Creates a new One2One
channel with the given buffering behaviour.
- createOne2One(ChannelDataStoreInt, int) - Method in interface org.jcsp.lang.BufferedChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
One2One
channels with the
specified buffering behaviour.
- createOne2One(ChannelDataStoreInt) - Method in interface org.jcsp.lang.BufferedChannelIntFactory
-
Deprecated.
Creates a new One2One
channel with the given buffering behaviour.
- createOne2One() - Static method in class org.jcsp.lang.Channel
-
- createOne2One(int) - Static method in class org.jcsp.lang.Channel
-
- createOne2One(ChannelDataStore) - Static method in class org.jcsp.lang.Channel
-
- createOne2One(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel
-
- createOne2One(int) - Method in interface org.jcsp.lang.ChannelArrayFactory
-
Deprecated.
Creates a populated array of n
One2One
channels.
- createOne2One() - Method in interface org.jcsp.lang.ChannelFactory
-
Deprecated.
Creates a new One2One
channel.
- createOne2One() - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns a One2OneChannelInt
object.
- createOne2One(int) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an array of One2OneChannelInt
objects.
- createOne2One(ChannelDataStoreInt) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns a One2OneChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createOne2One(ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.ChannelInt
-
Deprecated.
Constructs and returns an array of One2OneChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createOne2One(int) - Method in interface org.jcsp.lang.ChannelIntArrayFactory
-
Deprecated.
Creates a populated array of n
One2One
channels.
- createOne2One() - Method in interface org.jcsp.lang.ChannelIntFactory
-
Deprecated.
Creates a new One2One
channel.
- createOne2One() - Static method in class org.jcsp.lang.Connection
-
- createOne2One(int) - Static method in class org.jcsp.lang.Connection
-
- createOne2One(int) - Method in interface org.jcsp.lang.ConnectionArrayFactory
-
Constructs and returns an array of instances of an implementation of
One2OneConnection
.
- createOne2One() - Method in interface org.jcsp.lang.ConnectionFactory
-
Constructs and returns an implementation of
One2OneConnection
.
- createOne2One() - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns a One2OneChannel
object.
- createOne2One(int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of One2OneChannel
objects.
- createOne2One(ChannelDataStore) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns a One2OneChannel
object which
uses the specified ChannelDataStore
object as a buffer.
- createOne2One(ChannelDataStore, int) - Method in class org.jcsp.lang.StandardChannelFactory
-
Constructs and returns an array of One2OneChannel
objects
which use the specified ChannelDataStore
object as a
buffer.
- createOne2One() - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns a One2OneChannelInt
object.
- createOne2One(int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of One2OneChannelInt
objects.
- createOne2One(ChannelDataStoreInt) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns a One2OneChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.
- createOne2One(ChannelDataStoreInt, int) - Method in class org.jcsp.lang.StandardChannelIntFactory
-
Constructs and returns an array of One2OneChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.
- createOne2One() - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createOne2One(int) - Method in class org.jcsp.lang.StandardConnectionFactory
-
- createOne2One() - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new One2One filtered channel.
- createOne2One(int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of One2OneChannel
objects.
- createOne2One(ChannelDataStore) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Creates a new One2One filtered channel with a given buffering behaviour.
- createOne2One(ChannelDataStore, int) - Static method in class org.jcsp.util.filter.FilteredChannel
-
Constructs and returns an array of One2OneChannel
objects using a given buffer.
- createOne2One() - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new One2One channel with the filtering options set for this factory.
- createOne2One(int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of One2OneChannel
objects.
- createOne2One(ChannelDataStore) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Creates a new One2One channel with the filtering options set for this factory and the specified
data buffer.
- createOne2One(ChannelDataStore, int) - Method in class org.jcsp.util.filter.FilteredChannelFactory
-
Constructs and returns an array of One2OneChannel
objects with a given buffering behaviour.
- Crew - Class in org.jcsp.lang
-
This provides a Concurrent Read Exclusive Write (CREW) lock for synchronising
fair and secure access to a shared resource.
- Crew() - Constructor for class org.jcsp.lang.Crew
-
Construct a lock for CREW-guarded operations on a shared resource.
- Crew(Object) - Constructor for class org.jcsp.lang.Crew
-
Construct a lock for CREW-guarded operations on a shared resource.
- CSProcess - Interface in org.jcsp.lang
-
This is the JCSP interface for a process - an active component that encapsulates
the data structures on which it operates.
- CSTimer - Class in org.jcsp.lang
-
- CSTimer() - Constructor for class org.jcsp.lang.CSTimer
-