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.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 |
ActiveScrollPane.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveScrollPane.
|
void |
ActiveTextField.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveTextField.
|
void |
ActiveDialog.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveDialog.
|
void |
ActiveTextArea.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveTextArea.
|
void |
ActiveChoice.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveChoice.
|
void |
ActiveCheckboxMenuItem.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveCheckboxMenuItem.
|
void |
ActiveMenuItem.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveMenuItem.
|
void |
ActiveWindow.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveWindow.
|
void |
ActiveList.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveList.
|
void |
ActiveFrame.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveFrame.
|
void |
ActiveContainer.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveContainer.
|
void |
ActiveApplet.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveApplet.
|
void |
ActivePanel.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActivePanel.
|
void |
ActiveLabel.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveLabel.
|
void |
ActiveCheckbox.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveCheckbox.
|
void |
ActiveMenu.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveMenu.
|
void |
ActiveFileDialog.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveFileDialog.
|
void |
ActiveScrollbar.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveScrollbar.
|
void |
ActiveClosingFrame.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveButton.
|
void |
ActiveButton.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveButton.
|
void |
ActiveComponent.setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveComponent.
|
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.
|
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.
|
ActiveComponent(ChannelInput configure)
Constructs a new ActiveComponent with a configuration channel.
|
ActiveContainer(ChannelInput configure)
Constructs a new ActiveContainer with a configuration channel.
|
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.
|
ActiveLabel(ChannelInput configure)
Constructs a new ActiveLabel with no initial label.
|
ActiveLabel(ChannelInput configure,
java.lang.String s)
Constructs a new ActiveLabel.
|
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.
|
ActivePanel(ChannelInput configure)
Constructs a new ActivePanel with a configuration channel.
|
ActiveScrollbar(ChannelInput configure,
ChannelOutputInt event)
Constructs a vertical ActiveScrollbar with configuration and event channels.
|
ActiveScrollbar(ChannelInput configure,
ChannelOutputInt event,
int orientation)
Constructs a ActiveScrollbar with configuration and event channels and
the specified orientation.
|
ActiveScrollbar(ChannelInput configure,
ChannelOutputInt event,
int orientation,
int value,
int visible,
int minimum,
int maximum)
Constructs a ActiveScrollbar with configuration and event channels and
all its options.
|
ActiveScrollPane(int scrollbarDisplayPolicy,
ChannelInput configure)
Constructs a new ActiveScrollPane.
|
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.
|
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 |
RejectableChannelInput
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 |
SharedChannelInput<T>
This is the same as
ChannelInput except that it is guaranteed
safe to pass on to more than one internal process for parallel reading. |
Modifier and Type | Class and Description |
---|---|
class |
AltingChannelInput<T>
This extends
Guard and ChannelInput
to enable a process to choose between many object input (and other) events. |
class |
AltingChannelInputWrapper<T>
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
Note that usually you do not need the absolute guarantee that this class
provides - you can usually just cast the channel to an AltingChannelInput,
which prevents you from accidentally writing to the channel. This
class mainly exists for use by some of the org.jcsp.net classes, where the
absolute guarantee that you cannot write to it is important.
|
class |
ChannelInputWrapper
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
|
class |
RejectableAltingChannelInput
Deprecated.
This channel is superceded by the poison mechanisms, please see
PoisonException |
Constructor and Description |
---|
ChannelInputWrapper(ChannelInput in)
Deprecated.
Constructs a new wrapper around the given channel end.
|
SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent) |
SharedConnectionServerImpl(AltingChannelInput openIn,
AltingChannelInput requestIn,
ChannelInput synchIn,
SharedChannelOutput synchOut,
org.jcsp.lang.ConnectionWithSharedAltingServer parent) |
Modifier and Type | Interface and Description |
---|---|
interface |
NetChannelInput
An interface implemented by classes wishing to be Networked
ChannelInput objects. |
interface |
NetSharedChannelInput
This interface should be implemented by classes that
wish to act as
NetChannelInput objects
which can be used by muliple concurrent processes. |
Modifier and Type | Class and Description |
---|---|
class |
NetAltingChannelInput
An abstract class that is sub-classed by classes whose instances
should be networked channel ends that can be used as an
objects. |
Modifier and Type | Interface and Description |
---|---|
interface |
MigratableChannelInput
A migratable networked input channel end.
|
Modifier and Type | Class and Description |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an
Alternative . |
Modifier and Type | Class and Description |
---|---|
class |
MobileChannelInput |
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.
|
And(ChannelInput in0,
ChannelInput in1,
ChannelOutput out)
Construct a new And process with the input Channels in0 and in1 and the
output Channel out.
|
BlackHole(ChannelInput in)
Construct a new BlackHole process with the input Channel in.
|
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.
|
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.
|
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.
|
FramedScrollbar(java.lang.String title,
int pixDown,
int pixAcross,
ChannelInput configure,
ChannelOutputInt event,
boolean horizontal,
int value,
int visible,
int minimum,
int maximum)
Construct a framed scrollbar process.
|
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.
|
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.
|
Nand(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Nand process with the input Channels in1 and in2 and the
output Channel 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.
|
Nor(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Nor process with the input Channels in1 and in2 and 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.
|
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.
|
Plus(ChannelInput in1,
ChannelInput in2,
ChannelOutput out)
Construct a new Plus process with the input Channels in1 and in2 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.
|
Printer(ChannelInput in)
Construct a new Printer with System.out as
its PrintStream and empty prefix and postfix strings.
|
Printer(ChannelInput in,
java.io.PrintStream printStream)
Construct a new Printer with empty prefix and postfix strings.
|
Printer(ChannelInput in,
java.io.PrintStream printStream,
java.lang.String prefix,
java.lang.String postfix)
Construct a new Printer.
|
Printer(ChannelInput in,
java.lang.String prefix,
java.lang.String postfix)
Construct a new Printer with System.out as
its PrintStream.
|
ProcessRead(ChannelInput in)
Construct a new ProcessRead.
|
Sign(java.lang.String sign,
ChannelInput in,
ChannelOutput out)
Construct a new Sign process with the input Channel in and 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.
|
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.
|
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 |
---|
DeparaplexInt(ChannelInput in,
ChannelOutputInt[] out)
Construct a new DeparaplexInt process with the input Channel in and the output
Channels 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 |
---|
ExtendedReaderSync(AltingBarrier[][] barriers,
ChannelInput in,
int iterations) |
ExtendedReaderSync(AltingBarrier barrier,
ChannelInput in,
int iterations) |
Modifier and Type | Interface and Description |
---|---|
interface |
FilteredChannelInput
Interface for a channel input end that supports filtering operations.
|
interface |
FilteredSharedChannelInput
Interface for a channel input end that supports filtering and can be shared by multiple processes.
|
Modifier and Type | Class and Description |
---|---|
class |
FilteredAltingChannelInput
Implements an
AltingChannelInput channel end that also supports read filters. |
class |
FilteredSharedChannelInputWrapper
This is wrapper for a
SharedChannelInput that adds
read filtering. |
Modifier and Type | Method and Description |
---|---|
FilteredChannelInput |
FilteredChannelEndFactory.createFiltered(ChannelInput in)
Creates a new filtered channel input end around an existing channel end.
|
static FilteredChannelInput |
FilteredChannelEnd.createFiltered(ChannelInput in)
Creates a new filtered input channel end around an existing input channel end.
|
Copyright © 1996–2018. All rights reserved.