Uses of Interface
org.jcsp.lang.ChannelOutputInt
Packages that use ChannelOutputInt
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 Object-carrying wires) and reuse.
This provides an assortment of plug-and-play CSP components to wire together
(with int-carrying wires) and reuse.
-
Uses of ChannelOutputInt in org.jcsp.awt
Fields in org.jcsp.awt declared as ChannelOutputIntModifier and TypeFieldDescriptionprivate ChannelOutputInt
ActiveApplet.destroy
If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.private ChannelOutputInt
AdjustmentEventHandler.event
The Channel AdjustmentEvent notifications are sent down.private ChannelOutputInt
ActiveApplet.stopStart
If this channel is set, the default stop/start behaviour changes - see the user-defined stop/start response.Methods in org.jcsp.awt with parameters of type ChannelOutputIntModifier 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.void
ActiveApplet.setStopStartChannel
(ChannelOutputInt stopStart) This sets a stopStart channel to allow a user-defined stop/start response.Constructors in org.jcsp.awt with parameters of type ChannelOutputIntModifierConstructorDescriptionActiveScrollbar
(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.Constructs a new AdjustmentEventHandler with the specified event Channel. -
Uses of ChannelOutputInt in org.jcsp.lang
Subinterfaces of ChannelOutputInt in org.jcsp.langModifier and TypeInterfaceDescriptioninterface
This is the same asChannelOutputInt
except that it is guaranteed safe to pass on to more than one internal process for parallel writing.Classes in org.jcsp.lang that implement ChannelOutputIntModifier and TypeClassDescriptionclass
This extendsGuard
andChannelOutputInt
to enable a process to choose between many integer output (and other) events.(package private) class
class
This implementsChannelOutputInt
with black hole semantics.(package private) class
(package private) class
Fields in org.jcsp.lang declared as ChannelOutputIntModifier and TypeFieldDescriptionprivate final ChannelOutputInt
AltingChannelOutputIntSymmetricImpl.out
Methods in org.jcsp.lang that return ChannelOutputIntModifier and TypeMethodDescriptionstatic ChannelOutputInt[]
Channel.getOutputArray
(One2AnyChannelInt[] c) This extracts the output-ends from the given channel array.static ChannelOutputInt[]
Channel.getOutputArray
(One2OneChannelInt[] c) This extracts the output-ends from the given channel array.static ChannelOutputInt[]
ChannelInt.getOutputArray
(One2AnyChannelInt[] c) Deprecated.Constructs and returns an array of output channel ends, each of which can only be used by a single writer.static ChannelOutputInt[]
ChannelInt.getOutputArray
(One2OneChannelInt[] c) Deprecated.Constructs and returns an array of output channel ends, each of which can only be used by a single writer.BufferedOne2OneChannelIntImpl.out()
Returns theChannelOutputInt
object to use for this channel.One2AnyChannelInt.out()
Returns the output end of the channel.One2AnyIntImpl.out()
One2OneChannelInt.out()
Returns the output end of the channel.One2OneChannelIntImpl.out()
Returns theChannelOutputInt
object to use for this channel.PoisonableBufferedOne2OneChannelInt.out()
Returns theChannelOutput
object to use for this channel.PoisonableOne2OneChannelIntImpl.out()
Returns theChannelOutput
object to use for this channel.Constructors in org.jcsp.lang with parameters of type ChannelOutputIntModifierConstructorDescription -
Uses of ChannelOutputInt in org.jcsp.plugNplay
Constructors in org.jcsp.plugNplay with parameters of type ChannelOutputIntModifierConstructorDescriptionFramedScrollbar
(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. -
Uses of ChannelOutputInt in org.jcsp.plugNplay.ints
Fields in org.jcsp.plugNplay.ints declared as ChannelOutputIntModifier and TypeFieldDescriptionprivate final ChannelOutputInt
AndInt.out
The output Channelprivate final ChannelOutputInt[]
DeltaInt.out
The output Channelsprivate final ChannelOutputInt[]
DemultiplexInt.out
The output Channelsprivate final ChannelOutputInt[]
DeparaplexInt.out
The output Channelsprivate final ChannelOutputInt
FibonacciInt.out
The output Channelprivate final ChannelOutputInt
FixedDelayInt.out
The output Channelprivate final ChannelOutputInt
GenerateInt.out
The output Channelprivate final ChannelOutputInt
IdentityInt.out
The output Channelprivate final ChannelOutputInt
IntegrateInt.out
The output Channelprivate final ChannelOutputInt
Merge2Int.out
The output Channelprivate final ChannelOutputInt
MergeInt.out
The output channelprivate final ChannelOutputInt
MultInt.out
The output Channelprivate final ChannelOutputInt
MultiplexInt.out
The output channelprivate final ChannelOutputInt
NandInt.out
The output Channelprivate final ChannelOutputInt
NorInt.out
The output Channelprivate final ChannelOutputInt
NumbersInt.out
The output Channelprivate final ChannelOutputInt
OrInt.out
The output Channelprivate final ChannelOutputInt
PairsInt.out
The output Channelprivate final ChannelOutputInt
Plex2Int.out
The output Channelprivate final ChannelOutputInt
PlexInt.out
The output Channelprivate final ChannelOutputInt
PlusInt.out
The output Channelprivate final ChannelOutputInt
PrefixInt.out
The output Channelprivate ChannelOutputInt
ProcessWriteInt.out
The channel to which to writeprivate final ChannelOutputInt
RegularInt.out
private final ChannelOutputInt
RegulateInt.out
private final ChannelOutputInt
SquaresInt.out
The output Channelprivate final ChannelOutputInt
SubstituteInt.out
The output Channelprivate final ChannelOutputInt
SuccessorInt.out
The output Channelprivate final ChannelOutputInt
TailInt.out
The output Channelprivate final ChannelOutputInt
TimesInt.out
The output Channelprivate final ChannelOutputInt
XorInt.out
The output Channelprivate final ChannelOutputInt
Delta2Int.out0
The first output Channelprivate final ChannelOutputInt
Delta2Int.out1
The second output ChannelMethods in org.jcsp.plugNplay.ints with parameters of type ChannelOutputIntModifier and TypeMethodDescriptionprivate void
DynamicDeltaInt.addOutputChannel
(ChannelOutputInt c) Adds a Channel to the list of output Channels.private void
DynamicDeltaInt.removeOutputChannel
(ChannelOutputInt c) Removes a Channel from the list of output Channels.Constructors in org.jcsp.plugNplay.ints with parameters of type ChannelOutputIntModifierConstructorDescriptionAndInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new AndInt process with the input Channels in0 and in1 and the output Channel out.Delta2Int
(ChannelInputInt in, ChannelOutputInt out0, ChannelOutputInt out1) Construct a new Delta2Int process with the input Channel in and the output Channels out0 and out1.DeltaInt
(ChannelInputInt in, ChannelOutputInt[] out) Construct a new DeltaInt process with the input Channel in and the output Channels out.DemultiplexInt
(ChannelInputInt in, ChannelOutputInt[] out) Construct a new DemultiplexInt process with the input Channel in and the output Channels out.DeparaplexInt
(ChannelInput in, ChannelOutputInt[] out) Construct a new DeparaplexInt process with the input Channel in and the output Channels out.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.Construct a new FibonacciInt process with the output Channel out.FixedDelayInt
(long delayTime, ChannelInputInt in, ChannelOutputInt out) Construct a new FixedDelayInt process with the input Channel in and the output Channel out.GenerateInt
(ChannelOutputInt out, int n) Construct a new GenerateInt process with the output channel out.IdentityInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new IdentityInt process with the input Channel in and the output Channel out.IntegrateInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new IntegrateInt process with the input Channel in and the output Channel out.Merge2Int
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new Merge2Int process with the input channels in0 and in1 and the output channel out.MergeInt
(ChannelInputInt[] in, ChannelOutputInt out) Construct a new Merge2Int process with the input channels inand the output channel out.MultInt
(int n, ChannelInputInt in, ChannelOutputInt out) Construct a new MultInt process with the input Channel in and the output Channel out.MultiplexInt
(AltingChannelInputInt[] in, ChannelOutputInt out) Construct a new MultiplexInt process with the input Channel in and the output Channels out.NandInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new NandInt process with the input Channels in0 and in1 and the output Channel out.NorInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new NorInt process with the input Channels in0 and in1 and the output Channel out.Construct a new NumbersInt process with the output Channel out.OrInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new OrInt process with the input Channels in0 and in1 and the output Channel out.PairsInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new PairsInt process with the input Channel in and the output Channel 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.PlusInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new PlusInt process with the input Channels in0 and in1 and the output Channel out.PrefixInt
(int n, ChannelInputInt in, ChannelOutputInt out) Construct a new PrefixInt process with the input Channel in and the output Channel out.Construct a new ProcessWriteInt.RegularInt
(ChannelOutputInt out, int n, long interval) Construct the process.RegulateInt
(AltingChannelInputInt in, AltingChannelInput reset, ChannelOutputInt out, long initialInterval) Construct the process.Construct a new SquaresInt process with the output Channel out.SubstituteInt
(ChannelInputInt in, ChannelOutputInt out, int n) Construct a new SubstituteInt process.SuccessorInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new SuccessorInt process with the input Channel in and the output Channel out.TailInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new TailInt process with the input Channel in and the output Channel out.TimesInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new TimesInt process with the input Channels in0 and in1 and the output Channel out.XorInt
(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out) Construct a new XorInt process with the input Channels in0 and in1 and the output Channel out. -
Uses of ChannelOutputInt in org.jcsp.test
Fields in org.jcsp.test declared as ChannelOutputIntConstructors in org.jcsp.test with parameters of type ChannelOutputIntModifierConstructorDescriptionWriterProcessInt
(ChannelOutputInt out, int[] values, AltingBarrier event) WriterProcessInt
(ChannelOutputInt out, int[] values, AltingBarrier[][] events)