Uses of Class
org.jcsp.lang.AltingChannelInput
-
Packages that use AltingChannelInput 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.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.util.filter This defines filtering channels that can apply transformations to objects as they are read and/or written. -
-
Uses of AltingChannelInput in org.jcsp.awt
Methods in org.jcsp.awt with parameters of type AltingChannelInput Modifier and Type Method Description void
ActiveTextEnterArea. setConfigureChannel(AltingChannelInput configure)
Sets the configuration channel for this ActiveTextEnterArea.void
ActiveTextEnterField. setConfigureChannel(AltingChannelInput configure)
Sets the configuration channel for this ActiveTextEnterField.Constructors in org.jcsp.awt with parameters of type AltingChannelInput Constructor Description ActiveButtonControl(AltingChannelInput[] event, ChannelOutput[] configure, ChannelOutput report, String[][] label, ActiveButtonState[] state, int startState)
Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments.ActiveButtonControl(AltingChannelInput[] event, ChannelOutput[] configure, ChannelOutput report, String[][] label, ActiveButtonState[] state, int startState, boolean verbose)
Constructs a new ActiveButtonControl, performing consistency checks on its supplied arguments, with a verbose reporting option.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, 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, 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, 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, String s)
Constructs a new ActiveTextEnterField with configuration and event channels, initial text and default width.ActiveTextEnterField(AltingChannelInput configure, ChannelOutput event, String s, int columns)
Constructs a new ActiveTextEnterField with configuration and event channels, initial text and width. -
Uses of AltingChannelInput in org.jcsp.lang
Subclasses of AltingChannelInput in org.jcsp.lang Modifier and Type Class Description class
AltingChannelInputWrapper<T>
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
Methods in org.jcsp.lang that return AltingChannelInput Modifier and Type Method Description protected AltingChannelInput<T>
AltingConnectionClient. getAltingChannel()
Returns the channel used to implement the Guard.protected AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>>
AltingConnectionServer. getAltingChannel()
Returns the channel used to implement the Guard.protected AltingChannelInput
AltingChannelInputWrapper. getChannel()
Deprecated.Get the real channel.static <T> AltingChannelInput<T>[]
Channel. getInputArray(Any2OneChannel<T>[] c)
This extracts the input-ends from the given channel array.static <T> AltingChannelInput<T>[]
Channel. getInputArray(One2OneChannel<T>[] c)
This extracts the input-ends from the given channel array.AltingChannelInput<T>
Any2OneChannel. in()
Returns the input end of the channel.AltingChannelInput<T>
One2OneChannel. in()
Returns the input channel end.AltingChannelInput<T>
One2OneChannelSymmetric. in()
Returns the input channel end.Methods in org.jcsp.lang with parameters of type AltingChannelInput Modifier and Type Method Description protected void
AltingConnectionClient. setAltingChannel(AltingChannelInput<T> chan)
ConnectionServer
implementations are likely to be implemented over channels.protected void
AltingConnectionServer. setAltingChannel(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> chan)
ConnectionServer
implementations are likely to be implemented over channels.protected void
AltingChannelInputWrapper. setChannel(AltingChannelInput<T> chan)
Deprecated.Sets the real channel to be used.Constructors in org.jcsp.lang with parameters of type AltingChannelInput Constructor Description AltingChannelInputWrapper(AltingChannelInput<T> channel)
Deprecated.Creates a new AltingChannelInputWrapper which wraps the specified channel.AltingConnectionClient(AltingChannelInput<T> altingChannel)
Constructor.AltingConnectionClientImpl(AltingChannelInput fromServer, ChannelOutput openToServer, ChannelOutput reqToServer, ChannelOutput backToClient)
Constructs a new instance.AltingConnectionServer(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> altingChannel)
Constructor.AltingConnectionServerImpl(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> openIn, AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> furtherRequestIn)
Constructs a new server instance.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 AltingChannelInput in org.jcsp.net
Subclasses of AltingChannelInput in org.jcsp.net 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
Methods in org.jcsp.net that return AltingChannelInput Modifier and Type Method Description AltingChannelInput
Node. getLinkLostEventChannel()
This method allows users to obtain notification of link failure.Constructors in org.jcsp.net with parameters of type AltingChannelInput Constructor Description NetAltingChannelInput(AltingChannelInput channel)
Constructs a channel end and takes the actual channel to use to deliver the data. -
Uses of AltingChannelInput in org.jcsp.net.dynamic
Subclasses of AltingChannelInput in org.jcsp.net.dynamic Modifier and Type Class Description class
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within anAlternative
. -
Uses of AltingChannelInput in org.jcsp.net2
Subclasses of AltingChannelInput in org.jcsp.net2 Modifier and Type Class Description class
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard.Methods in org.jcsp.net2 that return AltingChannelInput Modifier and Type Method Description AltingChannelInput
Node. getLinkLostEventChannel()
Constructors in org.jcsp.net2 with parameters of type AltingChannelInput Constructor Description NetAltingChannelInput(AltingChannelInput<T> in)
Creates a new NetAltingChannelInput, with the given channel as the guard -
Uses of AltingChannelInput in org.jcsp.plugNplay
Constructors in org.jcsp.plugNplay with parameters of type AltingChannelInput Constructor Description DynamicDelta(AltingChannelInput in, AltingChannelInput config)
Construct a new DynamicDelta process with the input channel in and the configuration channel configure.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.Multiplex(AltingChannelInput[] in, ChannelOutput out)
Construct a new Multiplex process with the input Channel in and the output Channels out.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.Regulate(AltingChannelInput in, AltingChannelInput reset, ChannelOutput out, long initialInterval)
Construct the process. -
Uses of AltingChannelInput in org.jcsp.plugNplay.ints
Constructors in org.jcsp.plugNplay.ints with parameters of type AltingChannelInput Constructor Description DynamicDeltaInt(AltingChannelInputInt in, AltingChannelInput config)
Construct a new DynamicDeltaInt process with the input channel in and the configuration channel configure.DynamicDeltaInt(AltingChannelInputInt in, AltingChannelInput config, ChannelOutputInt[] out)
Construct a new DynamicDeltaInt process with the input channel in, the configuration channel configure and the initial output channels out.RegulateInt(AltingChannelInputInt in, AltingChannelInput reset, ChannelOutputInt out, long initialInterval)
Construct the process. -
Uses of AltingChannelInput in org.jcsp.util.filter
Subclasses of AltingChannelInput in org.jcsp.util.filter Modifier and Type Class Description class
FilteredAltingChannelInput
Implements anAltingChannelInput
channel end that also supports read filters.Methods in org.jcsp.util.filter with parameters of type AltingChannelInput Modifier and Type Method Description static FilteredAltingChannelInput
FilteredChannelEnd. createFiltered(AltingChannelInput in)
Creates a new filtered input channel end around an existing input channel end.FilteredAltingChannelInput
FilteredChannelEndFactory. createFiltered(AltingChannelInput in)
Creates a new filtered channel input end around an existing channel end.
-