Package | Description |
---|---|
org.jcsp.awt |
This provides CSP extensions for all AWT
Component components:
GUI events and widget configurations map to channel communications. |
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.net |
This is main package for JCSP.NET.
|
org.jcsp.net.dynamic |
Supports dynamic operations over the JCSP.NET infrastructure.
|
org.jcsp.net2 | |
org.jcsp.net2.mobile | |
org.jcsp.plugNplay |
This provides an assortment of plug-and-play CSP components to wire together
(with Object-carrying wires) and reuse.
|
org.jcsp.plugNplay.ints |
This provides an assortment of plug-and-play CSP components to wire together
(with int-carrying wires) and reuse.
|
org.jcsp.test | |
org.jcsp.util.filter |
This defines filtering channels that can apply transformations to objects
as they are read and/or written.
|
Modifier and Type | Method and Description |
---|---|
void |
ActiveCheckboxMenuItem.addActionEventChannel(ChannelOutput actionEvent)
Add a new channel to this component that will be used to notify that
an ActionEvent has occurred.
|
void |
ActiveApplet.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveButton.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveCanvas.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveCheckbox.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveChoice.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveComponent.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveContainer.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveDialog.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveFileDialog.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveFrame.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveLabel.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveList.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActivePanel.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveScrollPane.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveScrollbar.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveTextArea.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveTextField.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveWindow.addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that
a ComponentEvent has occurred.
|
void |
ActiveApplet.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveContainer.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveDialog.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveFileDialog.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveFrame.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActivePanel.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveScrollPane.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveWindow.addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that
a ContainerEvent has occurred.
|
void |
ActiveButton.addEventChannel(ChannelOutput event)
Add a new channel to this component that will be used to notify that
the button has been pressed.
|
void |
ActiveApplet.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveButton.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveCanvas.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveCheckbox.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveChoice.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveComponent.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveContainer.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveDialog.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveFileDialog.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveFrame.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveLabel.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveList.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActivePanel.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveScrollPane.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveScrollbar.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveTextArea.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveTextField.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveWindow.addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that
a FocusEvent has occurred.
|
void |
ActiveList.addItemEventChannel(ChannelOutput itemEvent)
Add a new channel to this component that will be used to notify that
an ItemEvent has occurred.
|
void |
ActiveApplet.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveButton.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveCanvas.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveCheckbox.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveChoice.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveComponent.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveContainer.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveDialog.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveFileDialog.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveFrame.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveLabel.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveList.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActivePanel.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveScrollPane.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveScrollbar.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveTextArea.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveTextField.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveWindow.addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that
a KeyEvent has occurred.
|
void |
ActiveApplet.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveButton.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveCanvas.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveCheckbox.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveChoice.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveComponent.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveContainer.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveDialog.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveFileDialog.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveFrame.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveLabel.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveList.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActivePanel.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveScrollPane.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveScrollbar.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveTextArea.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveTextField.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveWindow.addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that
a MouseEvent has occurred.
|
void |
ActiveApplet.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveButton.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveCanvas.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveCheckbox.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveChoice.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveComponent.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveContainer.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveDialog.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveFileDialog.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveFrame.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveLabel.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveList.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActivePanel.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveScrollPane.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveScrollbar.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveTextArea.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveTextField.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveWindow.addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that
a MouseMotionEvent has occurred.
|
void |
ActiveFileDialog.addWindowEventChannel(ChannelOutput windowEvent)
Add a new channel to this component that will be used to notify that
a WindowEvent has occurred.
|
void |
ActiveCanvas.setGraphicsChannels(ChannelInput toGraphics,
ChannelOutput fromGraphics)
Set the toGraphics/fromGraphics channels for configuring
and/or examining this component.
|
Constructor and Description |
---|
ActiveButton(ChannelInput configure,
ChannelOutput event)
Constructs a new ActiveButton with no initial label.
|
ActiveButton(ChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveButton.
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments.
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments.
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState,
boolean verbose)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments, with a verbose reporting option.
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState,
boolean verbose)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments, with a verbose reporting option.
|
ActiveCheckbox(ChannelInput configure,
ChannelOutput event)
Constructs an ActiveCheckbox with no label, initial state false
and configuration and event channels.
|
ActiveCheckbox(ChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a ActiveCheckbox with the label s,
initial state false and configuration and event channels.
|
ActiveCheckbox(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
boolean state)
Constructs an ActiveCheckbox with the label s,
initial state and configuration and event channels.
|
ActiveCheckbox(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
boolean state,
java.awt.CheckboxGroup group)
Constructs an ActiveCheckbox in the CheckboxGroup
group with the label s, initial state
and configuration and event channels.
|
ActiveCheckboxMenuItem(ChannelInput configure,
ChannelOutput event)
Constructs a new unchecked ActiveCheckboxMenuItem with no initial label.
|
ActiveCheckboxMenuItem(ChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new unchecked ActiveCheckboxMenuItem.
|
ActiveCheckboxMenuItem(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
boolean state)
Constructs a new ActiveCheckboxMenuItem.
|
ActiveChoice(ChannelInput configure,
ChannelOutput event)
Constructs an ActiveChoice with configuration and event channels.
|
ActiveClosingFrame(ChannelInput configure,
ChannelOutput event)
Constructs a new ActiveClosingFrame with configuration
and event channels, but no title.
|
ActiveClosingFrame(ChannelInput configure,
ChannelOutput event,
java.lang.String title)
Constructs a new ActiveClosingFrame with configuration
and event channels and a title.
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent)
Constructs a new non-modal ActiveDialog with a blank title.
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent,
boolean modal)
Constructs a new ActiveDialog with a blank title.
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent,
java.lang.String title)
Constructs a new non-modal ActiveDialog.
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent,
java.lang.String title,
boolean modal)
Constructs a new ActiveDialog.
|
ActiveFileDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent)
Constructs a new ActiveFileDialog with a blank title for loading a file.
|
ActiveFileDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent,
int mode)
Constructs a new ActiveFileDialog with a blank title.
|
ActiveFileDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent,
java.lang.String title)
Constructs a new ActiveFileDialog for loading a file.
|
ActiveFileDialog(ChannelInput configure,
ChannelOutput event,
java.awt.Frame parent,
java.lang.String title,
int mode)
Constructs a new ActiveFileDialog.
|
ActiveFrame(ChannelInput configure,
ChannelOutput event)
Constructs a new ActiveFrame with configuration
and event channels, but no title.
|
ActiveFrame(ChannelInput configure,
ChannelOutput event,
java.lang.String title)
Constructs a new ActiveFrame with configuration
and event channels and a title.
|
ActiveList(ChannelInput configure,
ChannelOutput event)
Constructs an ActiveList with configuration and event channels,
but no visible items and only one item selectable.
|
ActiveList(ChannelInput configure,
ChannelOutput event,
int rows)
Constructs an ActiveList with configuration and event channels,
the specified number of visible lines and only one item selectable.
|
ActiveList(ChannelInput configure,
ChannelOutput event,
int rows,
boolean multipleMode)
Constructs an ActiveList with configuration and event channels,
the specified number of visible lines and a multiple selection option.
|
ActiveMenu(ChannelInput configure,
ChannelOutput event)
Constructs an ActiveMenu with configuration and event channels,
but with no initial label.
|
ActiveMenu(ChannelInput configure,
ChannelOutput event,
java.lang.String label)
Constructs an ActiveMenu with configuration and event channels
and an initial label.
|
ActiveMenu(ChannelInput configure,
ChannelOutput event,
java.lang.String label,
boolean tearOff)
Constructs an ActiveMenu with configuration and event channels,
an initial label and a tear-off option.
|
ActiveMenuItem(ChannelInput configure,
ChannelOutput event)
Constructs a new ActiveMenuItem with no label and no shortcut.
|
ActiveMenuItem(ChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveMenuItem with no shortcut.
|
ActiveMenuItem(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
java.awt.MenuShortcut ms)
Constructs a new ActiveMenuItem.
|
ActiveTextArea(ChannelInput configure,
ChannelOutput event)
Constructs a new ActiveTextArea with configuration and event channels and scrollbars,
but with no initial text or size.
|
ActiveTextArea(ChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveTextArea with configuration and event channels
and scrollbars and initial text, but with no initial size.
|
ActiveTextArea(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
int rows,
int columns)
Constructs a new ActiveTextArea with configuration and event channels
and scrollbars and initial text and size.
|
ActiveTextArea(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
int rows,
int columns,
int scrollbars)
Constructs a new ActiveTextArea with configuration and event channels
and user-defined scrollbars and initial text and size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event)
Constructs a new ActiveTextEnterArea with configuration and event channels and scrollbars,
but with no initial text or size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveTextEnterArea with configuration and event channels
and scrollbars and initial text, but with no initial size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s,
int rows,
int columns)
Constructs a new ActiveTextEnterArea with configuration and event channels
and scrollbars and initial text and size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s,
int rows,
int columns,
int scrollbars)
Constructs a new ActiveTextEnterArea with configuration and event channels
and user-defined scrollbars and initial text and size.
|
ActiveTextEnterField(AltingChannelInput configure,
ChannelOutput event)
Constructs a new ActiveTextEnterField with configuration and event channels,
but no initial text.
|
ActiveTextEnterField(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveTextEnterField with configuration and event channels,
initial text and default width.
|
ActiveTextEnterField(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s,
int columns)
Constructs a new ActiveTextEnterField with configuration and event channels,
initial text and width.
|
ActiveTextField(ChannelInput configure,
ChannelOutput event)
Constructs a new ActiveTextField with configuration and event channels,
but no initial text.
|
ActiveTextField(ChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveTextField with configuration and event channels,
initial text and default width.
|
ActiveTextField(ChannelInput configure,
ChannelOutput event,
java.lang.String s,
int columns)
Constructs a new ActiveTextField with configuration and event channels,
initial text and width.
|
ActiveWindow(ChannelInput configure,
ChannelOutput event,
java.awt.Frame f)
Constructs a new ActiveWindow.
|
Modifier and Type | Interface and Description |
---|---|
interface |
RejectableChannelOutput
Deprecated.
This channel is superceded by the poison mechanisms, please see
PoisonException . It remains only because it is used by some of the networking features. |
interface |
SharedChannelOutput<T>
This is the same as
ChannelOutput except that it is guaranteed
safe to pass on to more than one internal process for parallel writing. |
Modifier and Type | Class and Description |
---|---|
class |
AltingChannelOutput<T>
This extends
Guard and ChannelOutput
to enable a process
to choose between many integer output (and other) events. |
class |
BlackHoleChannel
This implements
ChannelOutput with black hole semantics. |
class |
ChannelOutputWrapper
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
|
Modifier and Type | Method and Description |
---|---|
static <T> ChannelOutput<T>[] |
Channel.getOutputArray(One2AnyChannel<T>[] c)
This extracts the output-ends from the given channel array.
|
static <T> ChannelOutput<T>[] |
Channel.getOutputArray(One2OneChannel<T>[] c)
This extracts the output-ends from the given channel array.
|
ChannelOutput<T> |
One2AnyChannel.out()
Returns the output end of the channel.
|
ChannelOutput<T> |
One2OneChannel.out()
Returns the output channel end.
|
Constructor and Description |
---|
AltingConnectionClientImpl(AltingChannelInput fromServer,
ChannelOutput openToServer,
ChannelOutput reqToServer,
ChannelOutput backToClient)
Constructs a new instance.
|
AltingConnectionClientImpl(AltingChannelInput fromServer,
ChannelOutput openToServer,
ChannelOutput reqToServer,
ChannelOutput backToClient)
Constructs a new instance.
|
AltingConnectionClientImpl(AltingChannelInput fromServer,
ChannelOutput openToServer,
ChannelOutput reqToServer,
ChannelOutput backToClient)
Constructs a new instance.
|
ChannelOutputWrapper(ChannelOutput out)
Deprecated.
Creates a new wrapper for the given channel end.
|
SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent) |
SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent) |
SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent) |
Modifier and Type | Method and Description |
---|---|
protected ChannelOutput |
Link.getTxChannel()
Returns channel to use for transmitting.
|
Modifier and Type | Interface and Description |
---|---|
interface |
MigratableChannelOutput
A migratable networked channel output end.
|
Modifier and Type | Interface and Description |
---|---|
interface |
NetChannelOutput<T>
An interface defining a ChannelOutput that is networked.
|
interface |
NetSharedChannelOutput<T>
Defines a networked ChannelOutput that is safe to be used by multiple concurrent processes.
|
Modifier and Type | Method and Description |
---|---|
protected ChannelOutput |
Link.getTxChannel()
Gets the channel that is connected to the Link Tx process.
|
Modifier and Type | Class and Description |
---|---|
class |
MobileChannelOutput |
Constructor and Description |
---|
And(ChannelInput in0,
ChannelInput in1,
ChannelOutput out)
Construct a new And process with the input Channels in0 and in1 and the
output Channel out.
|
Delta(ChannelInput in,
ChannelOutput[] out)
Construct a new Delta process with the input Channel in and the output
Channels out.
|
Delta2(ChannelInput in,
ChannelOutput out0,
ChannelOutput out1)
Construct a new Delta2 process with the input Channel in and the output
Channels out0 and out1.
|
Delta2(ChannelInput in,
ChannelOutput out0,
ChannelOutput out1)
Construct a new Delta2 process with the input Channel in and the output
Channels out0 and out1.
|
Demultiplex(ChannelInput in,
ChannelOutput[] out)
Construct a new Demultiplex process with the input Channel in and the output
Channels out.
|
Deparaplex(ChannelInput in,
ChannelOutput[] out)
Construct a new Deparaplex process with the input Channel in and the output
Channels out.
|
DynamicDelta(AltingChannelInput in,
AltingChannelInput config,
ChannelOutput[] out)
Construct a new DynamicDelta process with the input channel in,
the configuration channel configure and the initial output
channels out.
|
Fibonacci(ChannelOutput out)
Construct a new Fibonacci process with the output Channel out.
|
FixedDelay(long delayTime,
ChannelInput in,
ChannelOutput out)
This process copies input to output, imposing a fixed time delay
between these events.
|
FramedButton(java.lang.String title,
int pixDown,
int pixAcross,
ChannelInput configure,
ChannelOutput event)
Construct a framed button process.
|
FramedButtonArray(java.lang.String title,
int nButtons,
int pixDown,
int pixAcross,
boolean horizontal,
ChannelInput[] configure,
ChannelOutput[] event)
Construct a framed button array process.
|
FramedButtonGrid(java.lang.String title,
int nDown,
int nAcross,
int pixDown,
int pixAcross,
ChannelInput[][] configure,
ChannelOutput[][] event)
Construct a framed button grid process.
|
Generate(ChannelOutput out,
int n)
Construct a new Generate process with the output channel out.
|
Identity(ChannelInput in,
ChannelOutput out)
Construct a new Identity process with the input Channel in and the
output Channel out.
|
Integrate(ChannelInput in,
ChannelOutput out)
Construct a new Integrate process with the input Channel in and the
output Channel out.
|
Merge(ChannelInput[] in,
ChannelOutput out)
Construct a new Merge2 process with the input channels
inand the output channel out.
|
Merge2(ChannelInput in0,
ChannelInput in1,
ChannelOutput out)
Construct a new Merge2 process with the input channels
in0 and in1 and the output channel out.
|
Mult(int n,
ChannelInput in,
ChannelOutput out)
Construct a new Mult process with the input Channel in and the
output Channel out.
|
Multiplex(AltingChannelInput[] in,
ChannelOutput out)
Construct a new Multiplex process with the input Channel in and the output
Channels out.
|
Nand(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Nand process with the input Channels in1 and in2 and the
output Channel out.
|
Nor(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Nor process with the input Channels in1 and in2 and the
output Channel out.
|
Numbers(ChannelOutput out)
Construct a new Numbers process with the output Channel out.
|
Or(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Or process with the input Channels in1 and in2 and the
output Channel out.
|
Pairs(ChannelInput in,
ChannelOutput out)
Construct a new Pairs process with the input Channel in and the
output Channel out.
|
Paraplex(ChannelInput[] in,
ChannelOutput out)
Construct a new ParaplexInt process from the array of input channels
to the output channel.
|
Plex(AltingChannelInput[] in,
ChannelOutput out)
Construct a new Plex process with input channels
in and output channel out.
|
Plex2(AltingChannelInput in0,
AltingChannelInput in1,
ChannelOutput out)
Construct a new Plex2 process with the input channels
in0 and in1 and the output channel out.
|
Plus(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Plus process with the input Channels in1 and in2 and the
output Channel out.
|
Prefix(java.lang.Object o,
ChannelInput in,
ChannelOutput out)
Construct a new Prefix process with the input Channel in and the
output Channel out.
|
ProcessWrite(ChannelOutput out)
Construct a new ProcessWrite.
|
Regular(ChannelOutput out,
int n,
long interval)
Construct the process.
|
Regulate(AltingChannelInput in,
AltingChannelInput reset,
ChannelOutput out,
long initialInterval)
Construct the process.
|
Sign(java.lang.String sign,
ChannelInput in,
ChannelOutput out)
Construct a new Sign process with the input Channel in and the
output Channel out.
|
Squares(ChannelOutput out)
Construct a new Squares process with the output Channel out.
|
Substitute(ChannelInput in,
ChannelOutput out,
java.lang.Object o)
Construct a new Substitute process.
|
Successor(ChannelInput in,
ChannelOutput out)
Construct a new Successor process with the input Channel in and the
output Channel out.
|
Tail(ChannelInput in,
ChannelOutput out)
Construct a new Tail process with the input Channel in and the
output Channel out.
|
Times(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Times process with the input Channels in1 and in2 and the
output Channel out.
|
Xor(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Xor process with the input Channels in1 and in2 and the
output Channel out.
|
Constructor and Description |
---|
ParaplexInt(ChannelInputInt[] in,
ChannelOutput out)
Construct a new ParaplexInt process from the array of input channels
to the output channel.
|
SignInt(java.lang.String sign,
ChannelInputInt in,
ChannelOutput out)
Construct a new Sign process with the input Channel in and the
output Channel out.
|
Modifier and Type | Method and Description |
---|---|
void |
TestExtendedRendezvous.helper_testChannelOneWriter(ChannelInput in,
ChannelOutput out) |
void |
TestExtendedRendezvous.helper_testFIFOChannelOneWriter(ChannelInput in,
ChannelOutput out) |
Constructor and Description |
---|
WriterProcess(ChannelOutput out,
java.util.List values,
AltingBarrier event) |
WriterProcess(ChannelOutput out,
java.util.List values,
AltingBarrier[][] events) |
Modifier and Type | Interface and Description |
---|---|
interface |
FilteredChannelOutput
Interface for a channel output end that supports write filtering operations.
|
interface |
FilteredSharedChannelOutput
Interface for an output channel end that supports filtering operations and can be shared by multiple
concurrent processes.
|
Modifier and Type | Class and Description |
---|---|
class |
FilteredSharedChannelOutputWrapper
This is wrapper for a
SharedChannelOutput that adds
write filtering. |
Modifier and Type | Method and Description |
---|---|
static FilteredChannelOutput |
FilteredChannelEnd.createFiltered(ChannelOutput out)
Creates a new filtered output channel end around an existing output channel end.
|
FilteredChannelOutput |
FilteredChannelEndFactory.createFiltered(ChannelOutput out)
Creates a new filtered channel output end around an existing channel end.
|
Copyright © 1996–2024. All rights reserved.