Uses of Interface
org.jcsp.lang.ChannelInput
-
Packages that use ChannelInput Package Description org.jcsp.awt This provides CSP extensions for all AWTComponent
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. -
-
Uses of ChannelInput in org.jcsp.awt
Methods in org.jcsp.awt with parameters of type ChannelInput Modifier and Type Method Description void
ActiveApplet. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveApplet.void
ActiveButton. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveButton.void
ActiveCheckbox. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveCheckbox.void
ActiveCheckboxMenuItem. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveCheckboxMenuItem.void
ActiveChoice. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveChoice.void
ActiveClosingFrame. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveButton.void
ActiveComponent. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveComponent.void
ActiveContainer. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveContainer.void
ActiveDialog. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveDialog.void
ActiveFileDialog. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveFileDialog.void
ActiveFrame. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveFrame.void
ActiveLabel. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveLabel.void
ActiveList. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveList.void
ActiveMenu. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveMenu.void
ActiveMenuItem. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveMenuItem.void
ActivePanel. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActivePanel.void
ActiveScrollbar. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveScrollbar.void
ActiveScrollPane. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveScrollPane.void
ActiveTextArea. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveTextArea.void
ActiveTextField. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveTextField.void
ActiveWindow. setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveWindow.void
ActiveCanvas. setGraphicsChannels(ChannelInput toGraphics, ChannelOutput fromGraphics)
Set the toGraphics/fromGraphics channels for configuring and/or examining this component.Constructors in org.jcsp.awt with parameters of type ChannelInput Constructor Description ActiveButton(ChannelInput configure, ChannelOutput event)
Constructs a new ActiveButton with no initial label.ActiveButton(ChannelInput configure, ChannelOutput event, 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, String s)
Constructs a ActiveCheckbox with the label s, initial state false and configuration and event channels.ActiveCheckbox(ChannelInput configure, ChannelOutput event, String s, boolean state)
Constructs an ActiveCheckbox with the label s, initial state and configuration and event channels.ActiveCheckbox(ChannelInput configure, ChannelOutput event, String s, boolean state, 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, String s)
Constructs a new unchecked ActiveCheckboxMenuItem.ActiveCheckboxMenuItem(ChannelInput configure, ChannelOutput event, 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, 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, Frame parent)
Constructs a new non-modal ActiveDialog with a blank title.ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent, boolean modal)
Constructs a new ActiveDialog with a blank title.ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent, String title)
Constructs a new non-modal ActiveDialog.ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent, String title, boolean modal)
Constructs a new ActiveDialog.ActiveFileDialog(ChannelInput configure, ChannelOutput event, Frame parent)
Constructs a new ActiveFileDialog with a blank title for loading a file.ActiveFileDialog(ChannelInput configure, ChannelOutput event, Frame parent, int mode)
Constructs a new ActiveFileDialog with a blank title.ActiveFileDialog(ChannelInput configure, ChannelOutput event, Frame parent, String title)
Constructs a new ActiveFileDialog for loading a file.ActiveFileDialog(ChannelInput configure, ChannelOutput event, Frame parent, 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, 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, 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, String label)
Constructs an ActiveMenu with configuration and event channels and an initial label.ActiveMenu(ChannelInput configure, ChannelOutput event, 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, String s)
Constructs a new ActiveMenuItem with no shortcut.ActiveMenuItem(ChannelInput configure, ChannelOutput event, String s, 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, 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, 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, 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, String s)
Constructs a new ActiveTextField with configuration and event channels, initial text and default width.ActiveTextField(ChannelInput configure, ChannelOutput event, String s, int columns)
Constructs a new ActiveTextField with configuration and event channels, initial text and width.ActiveWindow(ChannelInput configure, ChannelOutput event, Frame f)
Constructs a new ActiveWindow. -
Uses of ChannelInput in org.jcsp.lang
Subinterfaces of ChannelInput in org.jcsp.lang Modifier and Type Interface Description interface
RejectableChannelInput
Deprecated.This channel is superceded by the poison mechanisms, please seePoisonException
.interface
SharedChannelInput<T>
This is the same asChannelInput
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.Classes in org.jcsp.lang that implement ChannelInput Modifier and Type Class Description class
AltingChannelInput<T>
This extendsGuard
andChannelInput
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.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 seePoisonException
Constructors in org.jcsp.lang with parameters of type ChannelInput Constructor 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)
-
Uses of ChannelInput in org.jcsp.net
Subinterfaces of ChannelInput in org.jcsp.net Modifier and Type Interface Description interface
NetChannelInput
An interface implemented by classes wishing to be NetworkedChannelInput
objects.interface
NetSharedChannelInput
This interface should be implemented by classes that wish to act asNetChannelInput
objects which can be used by muliple concurrent processes.Classes in org.jcsp.net that implement ChannelInput Modifier and Type Class 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.AltingChannelInput
-
Uses of ChannelInput in org.jcsp.net.dynamic
Subinterfaces of ChannelInput in org.jcsp.net.dynamic Modifier and Type Interface Description interface
MigratableChannelInput
A migratable networked input channel end.Classes in org.jcsp.net.dynamic that implement ChannelInput Modifier and Type Class Description class
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within anAlternative
. -
Uses of ChannelInput in org.jcsp.net2
Subinterfaces of ChannelInput in org.jcsp.net2 Modifier and Type Interface Description interface
NetChannelInput<T>
This interface defines a ChannelInput that is also networked.interface
NetSharedChannelInput<T>
Defines a networked ChannelInput that is safe to be used by multiple concurrent processes.Classes in org.jcsp.net2 that implement ChannelInput Modifier and Type Class Description class
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard. -
Uses of ChannelInput in org.jcsp.net2.mobile
Classes in org.jcsp.net2.mobile that implement ChannelInput Modifier and Type Class Description class
MobileChannelInput
-
Uses of ChannelInput in org.jcsp.plugNplay
Constructors in org.jcsp.plugNplay with parameters of type ChannelInput Constructor 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.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(String title, int pixDown, int pixAcross, ChannelInput configure, ChannelOutput event)
Construct a framed button process.FramedButtonArray(String title, int nButtons, int pixDown, int pixAcross, boolean horizontal, ChannelInput[] configure, ChannelOutput[] event)
Construct a framed button array process.FramedButtonGrid(String title, int nDown, int nAcross, int pixDown, int pixAcross, ChannelInput[][] configure, ChannelOutput[][] event)
Construct a framed button grid process.FramedScrollbar(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.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.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.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.Prefix(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, PrintStream printStream)
Construct a new Printer with empty prefix and postfix strings.Printer(ChannelInput in, PrintStream printStream, String prefix, String postfix)
Construct a new Printer.Printer(ChannelInput in, String prefix, String postfix)
Construct a new Printer with System.out as its PrintStream.ProcessRead(ChannelInput in)
Construct a new ProcessRead.Sign(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, 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. -
Uses of ChannelInput in org.jcsp.plugNplay.ints
Constructors in org.jcsp.plugNplay.ints with parameters of type ChannelInput Constructor Description DeparaplexInt(ChannelInput in, ChannelOutputInt[] out)
Construct a new DeparaplexInt process with the input Channel in and the output Channels out. -
Uses of ChannelInput in org.jcsp.test
Constructors in org.jcsp.test with parameters of type ChannelInput Constructor Description ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)
ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)
-
Uses of ChannelInput in org.jcsp.util.filter
Subinterfaces of ChannelInput in org.jcsp.util.filter Modifier and Type Interface 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.Classes in org.jcsp.util.filter that implement ChannelInput Modifier and Type Class Description class
FilteredAltingChannelInput
Implements anAltingChannelInput
channel end that also supports read filters.class
FilteredSharedChannelInputWrapper
This is wrapper for aSharedChannelInput
that adds read filtering.Methods in org.jcsp.util.filter with parameters of type ChannelInput Modifier and Type Method Description static FilteredChannelInput
FilteredChannelEnd. createFiltered(ChannelInput in)
Creates a new filtered input channel end around an existing input channel end.FilteredChannelInput
FilteredChannelEndFactory. createFiltered(ChannelInput in)
Creates a new filtered channel input end around an existing channel end.
-