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

A

accept(CSProcess) - Method in class org.jcsp.lang.Any2AnyCallChannel

This is invoked by a server when it commits to accepting a CALL from a client.

accept(CSProcess) - Method in class org.jcsp.lang.Any2OneCallChannel

This is invoked by a server when it commits to accepting a CALL from a client.

accept(CSProcess) - Method in interface org.jcsp.lang.ChannelAccept

This is invoked by a server when it commits to accepting a CALL from a client.

accept(CSProcess) - Method in class org.jcsp.lang.One2AnyCallChannel

This is invoked by a server when it commits to accepting a CALL from a client.

accept(CSProcess) - Method in class org.jcsp.lang.One2OneCallChannel

This is invoked by a server when it commits to accepting a CALL from a client.

ActiveApplet - Class in org.jcsp.awt

java.applet.Applet with a channel interface, specialising in the operation of CSProcess networks as applets.

ActiveApplet() - Constructor for class org.jcsp.awt.ActiveApplet

ActiveApplet.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveButton - Class in org.jcsp.awt

java.awt.Button with a channel interface.

ActiveButton() - Constructor for class org.jcsp.awt.ActiveButton

Constructs a new ActiveButton with no label, configuration or event channels.

ActiveButton(String) - Constructor for class org.jcsp.awt.ActiveButton

Constructs a new ActiveButton with no configuration or event channels.

ActiveButton(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveButton

Constructs a new ActiveButton with no initial label.

ActiveButton(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveButton

Constructs a new ActiveButton.

ActiveButton.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveButtonControl - Class in org.jcsp.awt

This is a user-programmable finite state machine for controlling an array of ActiveButtons.

ActiveButtonControl(AltingChannelInput[], ChannelOutput[], ChannelOutput, String[][], ActiveButtonState[], int) - Constructor for class org.jcsp.awt.ActiveButtonControl

Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments.

ActiveButtonControl(AltingChannelInput[], ChannelOutput[], ChannelOutput, String[][], ActiveButtonState[], int, boolean) - Constructor for class org.jcsp.awt.ActiveButtonControl

Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments, with a verbose reporting option.

ActiveButtonControl.BadArguments - Exception in org.jcsp.awt

This gets thrown if a consistency check fails in the ActiveButtonControl constructor.

ActiveButtonControl.BadArguments(String) - Constructor for exception org.jcsp.awt.ActiveButtonControl.BadArguments

ActiveButtonState - Class in org.jcsp.awt

A state of the ActiveButtonControl finite state machine.

ActiveButtonState(int[], boolean[], int[]) - Constructor for class org.jcsp.awt.ActiveButtonState

Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments.

ActiveButtonState(int[], boolean[], int[], boolean) - Constructor for class org.jcsp.awt.ActiveButtonState

Constructs a new ActiveButtonState, performing consistency checks on its supplied arguments, with a verbose reporting option.

ActiveButtonState.BadArguments - Exception in org.jcsp.awt

This gets thrown if a consistency check fails in the ActiveButtonState constructor.

ActiveButtonState.BadArguments(String) - Constructor for exception org.jcsp.awt.ActiveButtonState.BadArguments

ActiveCanvas - Class in org.jcsp.awt

java.awt.Canvas with a channel interface.

ActiveCanvas() - Constructor for class org.jcsp.awt.ActiveCanvas

ActiveCheckbox - Class in org.jcsp.awt

java.awt.Checkbox with a channel interface.

ActiveCheckbox() - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox with no label, initial state false and no configuration or event channels.

ActiveCheckbox(String) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox with the label s, initial state false and no configuration or event channels.

ActiveCheckbox(String, boolean) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox with the label s, initial state and no configuration or event channels.

ActiveCheckbox(String, boolean, CheckboxGroup) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox in the CheckboxGroup group with the label s, initial state and no configuration or event channels.

ActiveCheckbox(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox with no label, initial state false and configuration and event channels.

ActiveCheckbox(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs a ActiveCheckbox with the label s, initial state false and configuration and event channels.

ActiveCheckbox(ChannelInput, ChannelOutput, String, boolean) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox with the label s, initial state and configuration and event channels.

ActiveCheckbox(ChannelInput, ChannelOutput, String, boolean, CheckboxGroup) - Constructor for class org.jcsp.awt.ActiveCheckbox

Constructs an ActiveCheckbox in the CheckboxGroup group with the label s, initial state and configuration and event channels.

ActiveCheckbox.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveCheckboxMenuItem - Class in org.jcsp.awt

java.awt.CheckboxMenuItem with a channel interface.

ActiveCheckboxMenuItem() - Constructor for class org.jcsp.awt.ActiveCheckboxMenuItem

Constructs a new unchecked ActiveCheckboxMenuItem with no initial label and no configuration or event channels.

ActiveCheckboxMenuItem(String) - Constructor for class org.jcsp.awt.ActiveCheckboxMenuItem

Constructs a new unchecked ActiveCheckboxMenuItem with no configuration or event channels.

ActiveCheckboxMenuItem(String, boolean) - Constructor for class org.jcsp.awt.ActiveCheckboxMenuItem

Constructs a new ActiveCheckboxMenuItem with no configuration or event channels.

ActiveCheckboxMenuItem(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveCheckboxMenuItem

Constructs a new unchecked ActiveCheckboxMenuItem with no initial label.

ActiveCheckboxMenuItem(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveCheckboxMenuItem

Constructs a new unchecked ActiveCheckboxMenuItem.

ActiveCheckboxMenuItem(ChannelInput, ChannelOutput, String, boolean) - Constructor for class org.jcsp.awt.ActiveCheckboxMenuItem

Constructs a new ActiveCheckboxMenuItem.

ActiveCheckboxMenuItem.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveChoice - Class in org.jcsp.awt

java.awt.Choice with a channel interface.

ActiveChoice() - Constructor for class org.jcsp.awt.ActiveChoice

Constructs an ActiveChoice with no configuration or event channels.

ActiveChoice(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveChoice

Constructs an ActiveChoice with configuration and event channels.

ActiveChoice.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveClosingFrame - Class in org.jcsp.awt

A specialisation of ActiveFrame that forces a System.exit upon a Window Closing event.

ActiveClosingFrame() - Constructor for class org.jcsp.awt.ActiveClosingFrame

Constructs a new ActiveClosingFrame with no title and no configuration or event channels.

ActiveClosingFrame(String) - Constructor for class org.jcsp.awt.ActiveClosingFrame

Constructs a new ActiveClosingFrame with a title but no configuration or event channels.

ActiveClosingFrame(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveClosingFrame

Constructs a new ActiveClosingFrame with configuration and event channels, but no title.

ActiveClosingFrame(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveClosingFrame

Constructs a new ActiveClosingFrame with configuration and event channels and a title.

ActiveComponent - Class in org.jcsp.awt

java.awt.Component with a channel interface.

ActiveComponent() - Constructor for class org.jcsp.awt.ActiveComponent

Constructs a new ActiveComponent with no configuration channel.

ActiveComponent(ChannelInput) - Constructor for class org.jcsp.awt.ActiveComponent

Constructs a new ActiveComponent with a configuration channel.

ActiveComponent.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveContainer - Class in org.jcsp.awt

java.awt.Container with a channel interface.

ActiveContainer() - Constructor for class org.jcsp.awt.ActiveContainer

Constructs a new ActiveContainer with no configuration channel.

ActiveContainer(ChannelInput) - Constructor for class org.jcsp.awt.ActiveContainer

Constructs a new ActiveContainer with a configuration channel.

ActiveContainer.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveDialog - Class in org.jcsp.awt

java.awt.Dialog with a channel interface.

ActiveDialog(Frame) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new non-modal ActiveDialog with a blank title and no configuration or event channels.

ActiveDialog(Frame, boolean) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new ActiveDialog with a blank title and no configuration or event channels.

ActiveDialog(Frame, String) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new non-modal ActiveDialog with no configuration or event channels.

ActiveDialog(Frame, String, boolean) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new ActiveDialog with no configuration or event channels.

ActiveDialog(ChannelInput, ChannelOutput, Frame) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new non-modal ActiveDialog with a blank title.

ActiveDialog(ChannelInput, ChannelOutput, Frame, boolean) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new ActiveDialog with a blank title.

ActiveDialog(ChannelInput, ChannelOutput, Frame, String) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new non-modal ActiveDialog.

ActiveDialog(ChannelInput, ChannelOutput, Frame, String, boolean) - Constructor for class org.jcsp.awt.ActiveDialog

Constructs a new ActiveDialog.

ActiveDialog.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveFileDialog - Class in org.jcsp.awt

java.awt.FileDialog with a channel interface.

ActiveFileDialog(Frame) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveDialog with a blank title for loading a file and with no configuration or event channels.

ActiveFileDialog(Frame, int) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog with a blank title and no configuration or event channels.

ActiveFileDialog(Frame, String) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog for loading a file and no configuration or event channels.

ActiveFileDialog(Frame, String, int) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog with no configuration or event channels.

ActiveFileDialog(ChannelInput, ChannelOutput, Frame) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog with a blank title for loading a file.

ActiveFileDialog(ChannelInput, ChannelOutput, Frame, int) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog with a blank title.

ActiveFileDialog(ChannelInput, ChannelOutput, Frame, String) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog for loading a file.

ActiveFileDialog(ChannelInput, ChannelOutput, Frame, String, int) - Constructor for class org.jcsp.awt.ActiveFileDialog

Constructs a new ActiveFileDialog.

ActiveFileDialog.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveFrame - Class in org.jcsp.awt

java.awt.Frame with a channel interface.

ActiveFrame() - Constructor for class org.jcsp.awt.ActiveFrame

Constructs a new ActiveFrame with no title and no configuration or event channels.

ActiveFrame(String) - Constructor for class org.jcsp.awt.ActiveFrame

Constructs a new ActiveFrame with a title but no configuration or event channels.

ActiveFrame(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveFrame

Constructs a new ActiveFrame with configuration and event channels, but no title.

ActiveFrame(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveFrame

Constructs a new ActiveFrame with configuration and event channels and a title.

ActiveFrame.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveLabel - Class in org.jcsp.awt

java.awt.Label with a channel interface.

ActiveLabel() - Constructor for class org.jcsp.awt.ActiveLabel

Constructs a new ActiveLabel with no label or configuration channel.

ActiveLabel(String) - Constructor for class org.jcsp.awt.ActiveLabel

Constructs a new ActiveLabel with no configuration channel.

ActiveLabel(ChannelInput) - Constructor for class org.jcsp.awt.ActiveLabel

Constructs a new ActiveLabel with no initial label.

ActiveLabel(ChannelInput, String) - Constructor for class org.jcsp.awt.ActiveLabel

Constructs a new ActiveLabel.

ActiveLabel.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveList - Class in org.jcsp.awt

java.awt.List with a channel interface.

ActiveList() - Constructor for class org.jcsp.awt.ActiveList

Constructs an ActiveList with no visible lines, no configuration or event channels and only one item selectable.

ActiveList(int) - Constructor for class org.jcsp.awt.ActiveList

Constructs an ActiveList with the specified number of visible lines, but with no configuration or event channels and only one item selectable.

ActiveList(int, boolean) - Constructor for class org.jcsp.awt.ActiveList

Constructs an ActiveList with the specified number of visible lines and a multiple selection option, but with no configuration or event channels.

ActiveList(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveList

Constructs an ActiveList with configuration and event channels, but no visible items and only one item selectable.

ActiveList(ChannelInput, ChannelOutput, int) - Constructor for class org.jcsp.awt.ActiveList

Constructs an ActiveList with configuration and event channels, the specified number of visible lines and only one item selectable.

ActiveList(ChannelInput, ChannelOutput, int, boolean) - Constructor for class org.jcsp.awt.ActiveList

Constructs an ActiveList with configuration and event channels, the specified number of visible lines and a multiple selection option.

ActiveList.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveMenu - Class in org.jcsp.awt

java.awt.Menu with a channel interface.

ActiveMenu() - Constructor for class org.jcsp.awt.ActiveMenu

Constructs an ActiveMenu with no initial label and no configuration or event channels.

ActiveMenu(String) - Constructor for class org.jcsp.awt.ActiveMenu

Constructs an ActiveMenu with an initial label, but with no configuration or event channels.

ActiveMenu(String, boolean) - Constructor for class org.jcsp.awt.ActiveMenu

Constructs an ActiveMenu with an initial label and a tear-off option, but with no configuration or event channels.

ActiveMenu(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveMenu

Constructs an ActiveMenu with configuration and event channels, but with no initial label.

ActiveMenu(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveMenu

Constructs an ActiveMenu with configuration and event channels and an initial label.

ActiveMenu(ChannelInput, ChannelOutput, String, boolean) - Constructor for class org.jcsp.awt.ActiveMenu

Constructs an ActiveMenu with configuration and event channels, an initial label and a tear-off option.

ActiveMenu.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveMenuItem - Class in org.jcsp.awt

java.awt.MenuItem with a channel interface.

ActiveMenuItem() - Constructor for class org.jcsp.awt.ActiveMenuItem

Constructs a new ActiveMenuItem with no label and no shortcut and no configuration or event channels.

ActiveMenuItem(String) - Constructor for class org.jcsp.awt.ActiveMenuItem

Constructs a new ActiveMenuItem with no shortcut and no configuration or event channels.

ActiveMenuItem(String, MenuShortcut) - Constructor for class org.jcsp.awt.ActiveMenuItem

Constructs a new ActiveMenuItem with no configuration or event channels.

ActiveMenuItem(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveMenuItem

Constructs a new ActiveMenuItem with no label and no shortcut.

ActiveMenuItem(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveMenuItem

Constructs a new ActiveMenuItem with no shortcut.

ActiveMenuItem(ChannelInput, ChannelOutput, String, MenuShortcut) - Constructor for class org.jcsp.awt.ActiveMenuItem

Constructs a new ActiveMenuItem.

ActiveMenuItem.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActivePanel - Class in org.jcsp.awt

java.awt.Panel with a channel interface.

ActivePanel() - Constructor for class org.jcsp.awt.ActivePanel

Constructs a new ActivePanel with no configuration channel.

ActivePanel(ChannelInput) - Constructor for class org.jcsp.awt.ActivePanel

Constructs a new ActivePanel with a configuration channel.

ActivePanel.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveScrollbar - Class in org.jcsp.awt

java.awt.Scrollbar with a channel interface.

ActiveScrollbar() - Constructor for class org.jcsp.awt.ActiveScrollbar

Constructs a vertical ActiveScrollbar with no configuration or event channels.

ActiveScrollbar(int) - Constructor for class org.jcsp.awt.ActiveScrollbar

Constructs a ActiveScrollbar with the specified orientation, but still with no configuration or event channels.

ActiveScrollbar(int, int, int, int, int) - Constructor for class org.jcsp.awt.ActiveScrollbar

Constructs a ActiveScrollbar with all its options, but still with no configuration or event channels.

ActiveScrollbar(ChannelInput, ChannelOutputInt) - Constructor for class org.jcsp.awt.ActiveScrollbar

Constructs a vertical ActiveScrollbar with configuration and event channels.

ActiveScrollbar(ChannelInput, ChannelOutputInt, int) - Constructor for class org.jcsp.awt.ActiveScrollbar

Constructs a ActiveScrollbar with configuration and event channels and the specified orientation.

ActiveScrollbar(ChannelInput, ChannelOutputInt, int, int, int, int, int) - Constructor for class org.jcsp.awt.ActiveScrollbar

Constructs a ActiveScrollbar with configuration and event channels and all its options.

ActiveScrollbar.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveScrollPane - Class in org.jcsp.awt

java.awt.ScrollPane with a channel interface.

ActiveScrollPane() - Constructor for class org.jcsp.awt.ActiveScrollPane

Constructs a new ActiveScrollPane with a display policy of java.awt.ScrollPane.SCROLLBARS_AS_NEEDED and without a configure channel.

ActiveScrollPane(int) - Constructor for class org.jcsp.awt.ActiveScrollPane

Constructs a new ActiveScrollPane without a configure channel.

ActiveScrollPane(int, ChannelInput) - Constructor for class org.jcsp.awt.ActiveScrollPane

Constructs a new ActiveScrollPane.

ActiveScrollPane.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveTextArea - Class in org.jcsp.awt

java.awt.TextArea with a channel interface.

ActiveTextArea() - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with scrollbars, but with no configuration or event channels or initial text or size.

ActiveTextArea(String) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with scrollbars and initial text, but with no configuration or event channels or initial size.

ActiveTextArea(String, int, int) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with scrollbars and initial text and size, but with no configuration or event channels.

ActiveTextArea(String, int, int, int) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with user-defined scrollbars and initial text and size, but with no configuration or event channels.

ActiveTextArea(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with configuration and event channels and scrollbars, but with no initial text or size.

ActiveTextArea(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with configuration and event channels and scrollbars and initial text, but with no initial size.

ActiveTextArea(ChannelInput, ChannelOutput, String, int, int) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with configuration and event channels and scrollbars and initial text and size.

ActiveTextArea(ChannelInput, ChannelOutput, String, int, int, int) - Constructor for class org.jcsp.awt.ActiveTextArea

Constructs a new ActiveTextArea with configuration and event channels and user-defined scrollbars and initial text and size.

ActiveTextArea.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveTextEnterArea - Class in org.jcsp.awt

A specialisation of ActiveTextArea that writes text to the event channel only when ESCAPE is pressed.

ActiveTextEnterArea() - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with scrollbars, but with no configuration or event channels or initial text or size.

ActiveTextEnterArea(String) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with scrollbars and initial text, but with no configuration or event channels or initial size.

ActiveTextEnterArea(String, int, int) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with scrollbars and initial text and size, but with no configuration or event channels.

ActiveTextEnterArea(String, int, int, int) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with user-defined scrollbars and initial text and size, but with no configuration or event channels.

ActiveTextEnterArea(AltingChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with configuration and event channels and scrollbars, but with no initial text or size.

ActiveTextEnterArea(AltingChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with configuration and event channels and scrollbars and initial text, but with no initial size.

ActiveTextEnterArea(AltingChannelInput, ChannelOutput, String, int, int) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with configuration and event channels and scrollbars and initial text and size.

ActiveTextEnterArea(AltingChannelInput, ChannelOutput, String, int, int, int) - Constructor for class org.jcsp.awt.ActiveTextEnterArea

Constructs a new ActiveTextEnterArea with configuration and event channels and user-defined scrollbars and initial text and size.

ActiveTextEnterField - Class in org.jcsp.awt

A specialisation of ActiveTextField that writes text to the event channel only when ENTER or ESCAPE is pressed.

ActiveTextEnterField(AltingChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveTextEnterField

Constructs a new ActiveTextEnterField with configuration and event channels, but no initial text.

ActiveTextEnterField(AltingChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveTextEnterField

Constructs a new ActiveTextEnterField with configuration and event channels, initial text and default width.

ActiveTextEnterField(AltingChannelInput, ChannelOutput, String, int) - Constructor for class org.jcsp.awt.ActiveTextEnterField

Constructs a new ActiveTextEnterField with configuration and event channels, initial text and width.

ActiveTextField - Class in org.jcsp.awt

java.awt.TextField with a channel interface.

ActiveTextField() - Constructor for class org.jcsp.awt.ActiveTextField

Constructs a new ActiveTextField with no initial text, configuration or event channels.

ActiveTextField(String) - Constructor for class org.jcsp.awt.ActiveTextField

Constructs a new ActiveTextField with initial text and default width, but no configuration or event channels.

ActiveTextField(String, int) - Constructor for class org.jcsp.awt.ActiveTextField

Constructs a new ActiveTextField with initial text and width, but no configuration or event channels.

ActiveTextField(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.awt.ActiveTextField

Constructs a new ActiveTextField with configuration and event channels, but no initial text.

ActiveTextField(ChannelInput, ChannelOutput, String) - Constructor for class org.jcsp.awt.ActiveTextField

Constructs a new ActiveTextField with configuration and event channels, initial text and default width.

ActiveTextField(ChannelInput, ChannelOutput, String, int) - Constructor for class org.jcsp.awt.ActiveTextField

Constructs a new ActiveTextField with configuration and event channels, initial text and width.

ActiveTextField.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

ActiveWindow - Class in org.jcsp.awt

java.awt.Window with a channel interface.

ActiveWindow(Frame) - Constructor for class org.jcsp.awt.ActiveWindow

Constructs a new ActiveWindow.

ActiveWindow(ChannelInput, ChannelOutput, Frame) - Constructor for class org.jcsp.awt.ActiveWindow

Constructs a new ActiveWindow.

ActiveWindow.Configure - Interface in org.jcsp.awt

This enables general configuration of this component.

addActionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCheckboxMenuItem

Add a new channel to this component that will be used to notify that an ActionEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveApplet

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveButton

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCanvas

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCheckbox

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveChoice

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveComponent

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveContainer

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveDialog

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFrame

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveLabel

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveList

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActivePanel

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollbar

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollPane

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextArea

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextField

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addComponentEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveWindow

Add a new channel to this component that will be used to notify that a ComponentEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveApplet

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveContainer

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveDialog

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFrame

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActivePanel

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollPane

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addContainerEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveWindow

Add a new channel to this component that will be used to notify that a ContainerEvent has occurred.

addEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveButton

Add a new channel to this component that will be used to notify that the button has been pressed.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveApplet

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveButton

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCanvas

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCheckbox

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveChoice

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveComponent

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveContainer

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveDialog

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFrame

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveLabel

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveList

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActivePanel

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollbar

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollPane

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextArea

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextField

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addFocusEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveWindow

Add a new channel to this component that will be used to notify that a FocusEvent has occurred.

addItemEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveList

Add a new channel to this component that will be used to notify that an ItemEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveApplet

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveButton

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCanvas

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCheckbox

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveChoice

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveComponent

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveContainer

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveDialog

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFrame

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveLabel

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveList

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActivePanel

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollbar

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollPane

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextArea

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextField

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addKeyEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveWindow

Add a new channel to this component that will be used to notify that a KeyEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveApplet

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveButton

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCanvas

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCheckbox

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveChoice

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveComponent

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveContainer

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveDialog

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFrame

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveLabel

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveList

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActivePanel

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollbar

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollPane

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextArea

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextField

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveWindow

Add a new channel to this component that will be used to notify that a MouseEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveApplet

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveButton

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCanvas

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveCheckbox

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveChoice

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveComponent

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveContainer

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveDialog

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFrame

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveLabel

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveList

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActivePanel

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollbar

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveScrollPane

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextArea

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveTextField

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addMouseMotionEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveWindow

Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred.

addProcess(CSProcess) - Method in class org.jcsp.lang.Parallel

Add the process to the Parallel object.

addProcess(CSProcess[]) - Method in class org.jcsp.lang.Parallel

Add the array of processes to the Parallel object.

addProcess(CSProcess) - Method in class org.jcsp.lang.Sequence

Add the process to the Sequence object.

addProcess(CSProcess[]) - Method in class org.jcsp.lang.Sequence

Add the array of processes to the Sequence object.

addReadFilter(Filter) - Method in class org.jcsp.util.filter.FilteredAltingChannelInput

addReadFilter(Filter, int) - Method in class org.jcsp.util.filter.FilteredAltingChannelInput

addReadFilter(Filter) - Method in class org.jcsp.util.filter.FilteredSharedChannelInputWrapper

addReadFilter(Filter, int) - Method in class org.jcsp.util.filter.FilteredSharedChannelInputWrapper

addReadFilter(Filter) - Method in interface org.jcsp.util.filter.ReadFiltered

Installs a read filter defining a transformation to be applied by the read method of the channel end.

addReadFilter(Filter, int) - Method in interface org.jcsp.util.filter.ReadFiltered

Installs a read filter defining a transformation to be applied by the read method of the channel end at a specific index.

addWindowEventChannel(ChannelOutput) - Method in class org.jcsp.awt.ActiveFileDialog

Add a new channel to this component that will be used to notify that a WindowEvent has occurred.

addWriteFilter(Filter) - Method in class org.jcsp.util.filter.FilteredSharedChannelOutputWrapper

addWriteFilter(Filter, int) - Method in class org.jcsp.util.filter.FilteredSharedChannelOutputWrapper

addWriteFilter(Filter) - Method in interface org.jcsp.util.filter.WriteFiltered

Installs a write filter defining a transformation to be applied by the write method of the channel end.

addWriteFilter(Filter, int) - Method in interface org.jcsp.util.filter.WriteFiltered

Installs a write filter defining a transformation to be applied by the write method of the channel end at a specific index.

after(long) - Method in class org.jcsp.lang.CSTimer

Puts the process to sleep until an absolute time is reached.

Alternative - Class in org.jcsp.lang

This enables a process to wait passively for and choose between a number of Guard events.

Alternative(Guard[]) - Constructor for class org.jcsp.lang.Alternative

Construct an Alternative object operating on the Guard array of events.

AlternativeError - Error in org.jcsp.lang

This is thrown for an illegal operation on an Alternative.

AlternativeError(String) - Constructor for error org.jcsp.lang.AlternativeError

AlternativeSelect - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

AlternativeSelectWithTimeout - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

AltingBarrier - Class in org.jcsp.lang

This is the front-end for a barrier that can be used as a Guard in an Alternative.

AltingBarrierCoordinateStartEnable - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

AltingBarrierError - Error in org.jcsp.lang

This is thrown for an illegal operation on an AltingBarrier.

AltingBarrierError(String) - Constructor for error org.jcsp.lang.AltingBarrierError

AltingChannelAccept - Class in org.jcsp.lang

This extends Guard and ChannelAccept to enable a process to choose between many CALL channel (and other) events.

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

AltingChannelInput - Class in org.jcsp.lang

This extends Guard and ChannelInput to enable a process to choose between many object input (and other) events.

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

AltingChannelInputInt - Class in org.jcsp.lang

This extends Guard and ChannelInputInt to enable a process to choose between many integer input (and other) events.

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

AltingChannelInputWrapper - Class in org.jcsp.lang

This class wraps an ALTable channel so that only the reading part is available to the caller.

AltingChannelInputWrapper(AltingChannelInput) - Constructor for class org.jcsp.lang.AltingChannelInputWrapper

Creates a new AltingChannelInputWrapper which wraps the specified channel.

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

This constructor does not wrap a channel.

AltingChannelOutput - Class in org.jcsp.lang

This extends Guard and ChannelOutputInt to enable a process to choose between many integer output (and other) events.

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

AltingChannelOutputInt - Class in org.jcsp.lang

This extends Guard and ChannelOutputInt to enable a process to choose between many integer output (and other) events.

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

AltingConnectionClient - Class in org.jcsp.lang

This class is sub-classed by JCSP.NET classes to provide ConnectionClient objects which can have their receive() method alted over.

AltingConnectionClient(AltingChannelInput) - Constructor for class org.jcsp.lang.AltingConnectionClient

Constructor.

AltingConnectionClientImpl - Class in org.jcsp.lang

This class does not need to be used by standard JCSP users.

AltingConnectionClientImpl(AltingChannelInput, ChannelOutput, ChannelOutput, ChannelOutput) - Constructor for class org.jcsp.lang.AltingConnectionClientImpl

Constructs a new instance.

AltingConnectionServer - Class in org.jcsp.lang

An interface to connection.

AltingConnectionServer(AltingChannelInput) - Constructor for class org.jcsp.lang.AltingConnectionServer

Constructor.

AltingConnectionServerImpl - Class in org.jcsp.lang

This class does not need to be used by standard JCSP users.

AltingConnectionServerImpl(AltingChannelInput, AltingChannelInput) - Constructor for class org.jcsp.lang.AltingConnectionServerImpl

Constructs a new server instance.

altMonitor - Variable in class org.jcsp.lang.Alternative

The monitor synchronising the writers and alting reader

And - Class in org.jcsp.plugNplay

Bitwise ands two Integer streams to one stream.

And(ChannelInput, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.And

Construct a new And process with the input Channels in0 and in1 and the output Channel out.

AndInt - Class in org.jcsp.plugNplay.ints

Bitwise ands two integer streams to one stream.

AndInt(ChannelInputInt, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.AndInt

Construct a new AndInt process with the input Channels in0 and in1 and the output Channel out.

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

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

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

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

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

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

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

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

Any2AnyCallChannel - Class in org.jcsp.lang

This is the super-class for any-to-any interface-specific CALL channels, safe for use by many clients and many servers.

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

Any2AnyChannel - Interface in org.jcsp.lang

This defines the interface for an any-to-any object channel, safe for use by many writers and many readers.

Any2AnyChannelInt - Interface in org.jcsp.lang

This defines an interface for an any-to-any integer channel, safe for use by many writers and many readers.

Any2AnyChannelIntRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2AnyChannelIntWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2AnyChannelIntXRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2AnyChannelIntXWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2AnyChannelRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2AnyChannelWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2AnyChannelXRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2AnyChannelXWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2AnyConnection - Interface in org.jcsp.lang

Defines an interface for a connection shared by multiple clients and multiple servers.

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

any2anyInt(ChannelDataStoreInt) - Static method in class org.jcsp.lang.Channel

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

any2anyInt(ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.Channel

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

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

any2anyIntArray(int, ChannelDataStoreInt) - Static method in class org.jcsp.lang.Channel

any2anyIntArray(int, ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.Channel

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

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

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

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

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

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

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

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

Any2OneCallChannel - Class in org.jcsp.lang

This is the super-class for any-to-one interface-specific CALL channels, safe for use by many clients and one server.

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

Any2OneChannel - Interface in org.jcsp.lang

This defines an interface for an any-to-one object channel, safe for use by many writers and one reader.

Any2OneChannelInt - Interface in org.jcsp.lang

This defines an interface for an any-to-one integer channel, safe for use by many writers and one reader.

Any2OneChannelIntRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2OneChannelIntWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2OneChannelIntXRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2OneChannelIntXWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2OneChannelRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2OneChannelWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2OneChannelXRead - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.getSpuriousWakeUpCounts()), indicating the class and operation that suffered.

Any2OneChannelXWrite - Static variable in class org.jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Any2OneConnection - Interface in org.jcsp.lang

Defines an interface for a connection that can be shared by multiple concurrent clients but used by a single server.

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

any2oneInt(ChannelDataStoreInt) - Static method in class org.jcsp.lang.Channel

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

any2oneInt(ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.Channel

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

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

any2oneIntArray(int, ChannelDataStoreInt) - Static method in class org.jcsp.lang.Channel

any2oneIntArray(int, ChannelDataStoreInt, int) - Static method in class org.jcsp.lang.Channel