Uses of Class
org.jcsp.lang.AltingChannelInputInt
Packages that use AltingChannelInputInt
Package
Description
This provides CSP extensions for all AWT
Component
components:
GUI events and widget configurations map to channel communications.This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
This provides an assortment of plug-and-play CSP components to wire together
(with int-carrying wires) and reuse.
-
Uses of AltingChannelInputInt in org.jcsp.awt
Fields in org.jcsp.awt declared as AltingChannelInputIntModifier and TypeFieldDescriptionprivate AltingChannelInputInt
ActiveApplet.destroyAck
If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.Methods in org.jcsp.awt with parameters of type AltingChannelInputIntModifier and TypeMethodDescriptionvoid
ActiveApplet.setDestroyChannels
(ChannelOutputInt destroy, AltingChannelInputInt destroyAck) This sets destroy/destroyAck channels to allow a user-defined destroy response.void
ActiveApplet.setDestroyChannels
(ChannelOutputInt destroy, AltingChannelInputInt destroyAck, int timeoutAck) This sets destroy/destroyAck channels to allow a user-defined destroy response. -
Uses of AltingChannelInputInt in org.jcsp.lang
Subclasses of AltingChannelInputInt in org.jcsp.langModifier and TypeClassDescription(package private) class
(package private) class
Fields in org.jcsp.lang declared as AltingChannelInputIntModifier and TypeFieldDescriptionprivate final AltingChannelInputInt
CrewServer.poison
private final AltingChannelInputInt
CrewServer.readerRelease
private final AltingChannelInputInt
CrewServer.request
private final AltingChannelInputInt
CrewServer.writerControl
Methods in org.jcsp.lang that return AltingChannelInputIntModifier and TypeMethodDescriptionstatic AltingChannelInputInt[]
Channel.getInputArray
(Any2OneChannelInt[] c) This extracts the input-ends from the given channel array.static AltingChannelInputInt[]
Channel.getInputArray
(One2OneChannelInt[] c) This extracts the input-ends from the given channel array.static AltingChannelInputInt[]
ChannelInt.getInputArray
(Any2OneChannelInt[] c) Deprecated.Constructs and returns an array of input channel ends, each of which can be used as guards in anAlternative
.static AltingChannelInputInt[]
ChannelInt.getInputArray
(One2OneChannelInt[] c) Deprecated.Constructs and returns an array of input channel ends, each of which can be used as guards in anAlternative
.Any2OneChannelInt.in()
Returns the input end of the channel.Any2OneIntImpl.in()
BasicOne2OneChannelSymmetricInt.in()
BufferedOne2OneChannelIntImpl.in()
Returns theAltingChannelInputInt
object to use for this channel.One2OneChannelInt.in()
Returns the input end of the channel.One2OneChannelIntImpl.in()
Returns theAltingChannelInputInt
object to use for this channel.One2OneChannelSymmetricInt.in()
Returns the input channel end.PoisonableBufferedOne2OneChannelInt.in()
Returns theAltingChannelInput
to use for this channel.PoisonableOne2OneChannelIntImpl.in()
Returns theAltingChannelInput
to use for this channel.Constructors in org.jcsp.lang with parameters of type AltingChannelInputIntModifierConstructorDescriptionCrewServer
(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison) -
Uses of AltingChannelInputInt in org.jcsp.plugNplay.ints
Fields in org.jcsp.plugNplay.ints declared as AltingChannelInputIntModifier and TypeFieldDescriptionprivate AltingChannelInputInt
DynamicDeltaInt.in
private final AltingChannelInputInt[]
MultiplexInt.in
The input channelsprivate final AltingChannelInputInt[]
PlexInt.in
The first input Channelprivate final AltingChannelInputInt
RegulateInt.in
private final AltingChannelInputInt
Plex2Int.in0
The first input Channelprivate final AltingChannelInputInt
Plex2Int.in1
The second input ChannelConstructors in org.jcsp.plugNplay.ints with parameters of type AltingChannelInputIntModifierConstructorDescriptionDynamicDeltaInt
(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.MultiplexInt
(AltingChannelInputInt[] in, ChannelOutputInt out) Construct a new MultiplexInt process with the input Channel in and the output Channels out.Plex2Int
(AltingChannelInputInt in0, AltingChannelInputInt in1, ChannelOutputInt out) Construct a new Plex2Int process with the input channels in0 and in1 and the output channel out.PlexInt
(AltingChannelInputInt[] in, ChannelOutputInt out) Construct a new PlexInt process with input channels in and output channel out.RegulateInt
(AltingChannelInputInt in, AltingChannelInput reset, ChannelOutputInt out, long initialInterval) Construct the process.