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 class 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 interface 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 class jcsp.awt.DisplayList

Changes the array of GraphicsCommands to be executed by replacing element i with the new one.

change(GraphicsCommand, int) - Method in interface jcsp.awt.Display

Changes the array of GraphicsCommands to be executed by replacing element i with the new one.

Channel - interface jcsp.lang.Channel.

This defines the interface for reading and writing object channels.

ChannelAccept - interface jcsp.lang.ChannelAccept.

This defines the interface for accepting CALL channels.

ChannelDataStore - interface jcsp.util.ChannelDataStore.

This is the interface for object channel plug-ins that define their buffering characteristics.

ChannelDataStoreInt - interface jcsp.util.ints.ChannelDataStoreInt.

This is the interface for integer channel plug-ins that define their buffering characteristics.

ChannelInput - interface jcsp.lang.ChannelInput.

This defines the interface for reading from object channels.

ChannelInputInt - interface jcsp.lang.ChannelInputInt.

This defines the interface for reading from integer channels.

ChannelInt - interface jcsp.lang.ChannelInt.

This defines the interface for reading and writing integer channels.

ChannelOutput - interface jcsp.lang.ChannelOutput.

This defines the interface for writing to object channels.

ChannelOutputInt - interface jcsp.lang.ChannelOutputInt.

This defines the interface for writing to integer channels.

clone() - Method in class jcsp.util.ZeroBuffer

Returns a new (and EMPTY) ZeroBuffer with the same creation parameters as this one.

clone() - Method in class jcsp.util.Buffer

Returns a new (and EMPTY) Buffer with the same creation parameters as this one.

clone() - Method in class jcsp.util.OverFlowingBuffer

Returns a new (and EMPTY) OverFlowingBuffer with the same creation parameters as this one.

clone() - Method in class jcsp.util.InfiniteBuffer

Returns a new (and EMPTY) InfiniteBuffer with the same creation parameters as this one.

clone() - Method in class jcsp.util.OverWriteOldestBuffer

Returns a new (and EMPTY) OverWriteOldestBuffer with the same creation parameters as this one.

clone() - Method in interface jcsp.util.ChannelDataStore

Returns a new (and EMPTY) ChannelDataStore with the same creation parameters as this one.

clone() - Method in class jcsp.util.OverWritingBuffer

Returns a new (and EMPTY) OverWritingBuffer with the same creation parameters as this one.

clone() - Method in class jcsp.util.ints.OverFlowingBufferInt

Returns a new (and EMPTY) OverFlowingBufferInt with the same creation parameters as this one.

clone() - Method in interface jcsp.util.ints.ChannelDataStoreInt

Returns a new (and EMPTY) ChannelDataStoreInt with the same creation parameters as this one.

clone() - Method in class jcsp.util.ints.OverWritingBufferInt

Returns a new (and EMPTY) OverWritingBufferInt with the same creation parameters as this one.

clone() - Method in class jcsp.util.ints.ZeroBufferInt

Returns a new (and EMPTY) ZeroBufferInt with the same creation parameters as this one.

clone() - Method in class jcsp.util.ints.InfiniteBufferInt

Returns a new (and EMPTY) InfiniteBufferInt with the same creation parameters as this one.

clone() - Method in class jcsp.util.ints.BufferInt

Returns a new (and EMPTY) BufferInt with the same creation parameters as this one.

clone() - Method in class jcsp.util.ints.OverWriteOldestBufferInt

Returns a new (and EMPTY) OverWriteOldestBufferInt with the same creation parameters as this one.

configure(Applet) - Method in interface jcsp.awt.ActiveApplet.Configure

configure(Button) - Method in interface jcsp.awt.ActiveButton.Configure

configure(Checkbox) - Method in interface jcsp.awt.ActiveCheckbox.Configure

configure(CheckboxMenuItem) - Method in interface jcsp.awt.ActiveCheckboxMenuItem.Configure

configure(Choice) - Method in interface jcsp.awt.ActiveChoice.Configure

configure(Component) - Method in interface jcsp.awt.ActiveComponent.Configure

configure(Component) - Method in interface jcsp.awt.GraphicsProtocol.Configure

configure(Container) - Method in interface jcsp.awt.ActiveContainer.Configure

configure(Dialog) - Method in interface jcsp.awt.ActiveDialog.Configure

configure(FileDialog) - Method in interface jcsp.awt.ActiveFileDialog.Configure

configure(Frame) - Method in interface jcsp.awt.ActiveFrame.Configure

configure(Label) - Method in interface jcsp.awt.ActiveLabel.Configure

configure(List) - Method in interface jcsp.awt.ActiveList.Configure

configure(Menu) - Method in interface jcsp.awt.ActiveMenu.Configure

configure(MenuItem) - Method in interface jcsp.awt.ActiveMenuItem.Configure

configure(Panel) - Method in interface jcsp.awt.ActivePanel.Configure

configure(Scrollbar) - Method in interface jcsp.awt.ActiveScrollbar.Configure

configure(ScrollPane) - Method in interface jcsp.awt.ActiveScrollPane.Configure

configure(TextArea) - Method in interface jcsp.awt.ActiveTextArea.Configure

configure(TextField) - Method in interface jcsp.awt.ActiveTextField.Configure

configure(Window) - Method in interface jcsp.awt.ActiveWindow.Configure

create(ChannelDataStore) - Static method in class jcsp.lang.One2OneChannel

Creates a One2OneChannel using the specified ChannelDataStore.

create(ChannelDataStore) - Static method in class jcsp.lang.Any2AnyChannel

Creates a Any2AnyChannel using the specified ChannelDataStore.

create(ChannelDataStore) - Static method in class jcsp.lang.One2AnyChannel

Creates a One2AnyChannel using the specified ChannelDataStore.

create(ChannelDataStore) - Static method in class jcsp.lang.Any2OneChannel

Creates a Any2OneChannel using the specified ChannelDataStore.

create(ChannelDataStoreInt) - Static method in class jcsp.lang.Any2OneChannelInt

Creates a Any2OneChannelInt using the specified ChannelDataStoreInt.

create(ChannelDataStoreInt) - Static method in class jcsp.lang.Any2AnyChannelInt

Creates a Any2AnyChannelInt using the specified ChannelDataStoreInt.

create(ChannelDataStoreInt) - Static method in class jcsp.lang.One2OneChannelInt

Creates a One2OneChannelInt using the specified ChannelDataStoreInt.

create(ChannelDataStoreInt) - Static method in class jcsp.lang.One2AnyChannelInt

Creates a One2AnyChannelInt using the specified ChannelDataStoreInt.

create(int) - Static method in class jcsp.lang.Any2OneChannelInt

Creates an array of Any2OneChannelInts.

create(int) - Static method in class jcsp.lang.One2OneChannel

Creates an array of One2OneChannels.

create(int) - Static method in class jcsp.lang.Any2AnyChannelInt

Creates an array of Any2AnyChannelInts.

create(int) - Static method in class jcsp.lang.One2OneChannelInt

Creates an array of One2OneChannelInts.

create(int) - Static method in class jcsp.lang.Any2AnyChannel

Creates an array of Any2AnyChannels.

create(int) - Static method in class jcsp.lang.One2AnyChannelInt

Creates an array of One2AnyChannelInts.

create(int) - Static method in class jcsp.lang.Bucket

Creates an array of Buckets.

create(int) - Static method in class jcsp.lang.One2AnyChannel

Creates an array of One2AnyChannels.

create(int) - Static method in class jcsp.lang.Any2OneChannel

Creates an array of Any2OneChannels.

create(int, ChannelDataStore) - Static method in class jcsp.lang.One2OneChannel

Creates an array of One2OneChannels using the specified ChannelDataStore.

create(int, ChannelDataStore) - Static method in class jcsp.lang.Any2AnyChannel

Creates an array of Any2AnyChannels using the specified ChannelDataStore.

create(int, ChannelDataStore) - Static method in class jcsp.lang.One2AnyChannel

Creates an array of One2AnyChannels using the specified ChannelDataStore.

create(int, ChannelDataStore) - Static method in class jcsp.lang.Any2OneChannel

Creates an array of Any2OneChannel using the specified ChannelDataStore.

create(int, ChannelDataStoreInt) - Static method in class jcsp.lang.Any2OneChannelInt

Creates an array of Any2OneChannelInt using the specified ChannelDataStoreInt.

create(int, ChannelDataStoreInt) - Static method in class jcsp.lang.Any2AnyChannelInt

Creates an array of Any2AnyChannelInts using the specified ChannelDataStoreInt.

create(int, ChannelDataStoreInt) - Static method in class jcsp.lang.One2OneChannelInt

Creates an array of One2OneChannelInts using the specified ChannelDataStoreInt.

create(int, ChannelDataStoreInt) - Static method in class jcsp.lang.One2AnyChannelInt

Creates an array of One2AnyChannelInts using the specified ChannelDataStoreInt.

Crew - class jcsp.lang.Crew.

This provides a Concurrent Read Exclusive Write (CREW) lock for synchronising fair and secure access to a shared resource.

Crew() - Constructor for class jcsp.lang.Crew

Construct a lock for CREW-guarded operations on a shared resource.

Crew(Object) - Constructor for class jcsp.lang.Crew

Construct a lock for CREW-guarded operations on a shared resource.

CSProcess - interface jcsp.lang.CSProcess.

This is the JCSP interface for a process - an active component that encapsulates the data structures on which it operates.

CSTimer - class jcsp.lang.CSTimer.

This is a Guard for setting timeouts in an Alternative.

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