A B C D E F G H I J M N O P R S T U V W X Z

C

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 various different types of channel objects.

ChannelAccept - Interface in org.jcsp.lang

This defines the interface for accepting CALL channels.

ChannelArrayFactory - Interface in org.jcsp.lang

Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.

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

Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.

ChannelInput - Interface in org.jcsp.lang

This defines the interface for reading from object channels.

ChannelInputInt - Interface in org.jcsp.lang

This defines the interface for reading from integer channels.

ChannelInputWrapper - Class in org.jcsp.lang

Deprecated. There is no longer any need to use this class, after the 1.1 class reorganisation.

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

Deprecated. To create integer channels, use the methods in the Channel class.

ChannelIntArrayFactory - Interface in org.jcsp.lang

Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.

ChannelIntFactory - Interface in org.jcsp.lang

Deprecated. These channel factories are deprecated in favour of the new one2one() methods in the Channel class.

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

Deprecated. There is no longer any need to use this class, after the 1.1 class reorganisation.

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

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.

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.

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

Deprecated. Use the any2any() function instead.

createAny2Any(int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the any2anyArray() function instead.

createAny2Any(ChannelDataStore) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the any2any() function instead.

createAny2Any(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the any2anyArray() function instead.

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

Deprecated. Use the any2one() function instead.

createAny2One(int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the any2oneArray() function instead.

createAny2One(ChannelDataStore) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the any2one() function instead.

createAny2One(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the any2oneArray() function instead.

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(int) - Static method in class org.jcsp.lang.ChannelInt

Deprecated. Constructs and returns an array of Any2OneChannelInt objects.

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(ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.ChannelInt

Deprecated. Constructs and returns an array of Any2OneChannelInt objects which use 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) - 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

Deprecated. Use the one2any() function instead.

createOne2Any(int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the one2anyArray() function instead.

createOne2Any(ChannelDataStore) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the one2any() function instead.

createOne2Any(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the one2anyArray() function instead.

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

Deprecated. Use the one2one() function instead.

createOne2One(int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the one2oneArray() function instead.

createOne2One(ChannelDataStore) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the one2one() function instead.

createOne2One(ChannelDataStore, int) - Static method in class org.jcsp.lang.Channel

Deprecated. Use the one2oneArray() function instead.

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

This is a Guard for setting timeouts in an Alternative.

CSTimer() - Constructor for class org.jcsp.lang.CSTimer