Uses of Interface
org.jcsp.lang.ChannelOutputInt
-
Packages that use ChannelOutputInt 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.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 -
-
Uses of ChannelOutputInt in org.jcsp.awt
Fields in org.jcsp.awt declared as ChannelOutputInt Modifier and Type Field Description private 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 ChannelOutputInt Modifier and Type Method Description void
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 ChannelOutputInt Constructor Description 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.AdjustmentEventHandler(ChannelOutputInt event)
Constructs a new AdjustmentEventHandler with the specified event Channel. -
Uses of ChannelOutputInt in org.jcsp.lang
Subinterfaces of ChannelOutputInt in org.jcsp.lang Modifier and Type Interface Description interface
SharedChannelOutputInt
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 ChannelOutputInt Modifier and Type Class Description class
AltingChannelOutputInt
This extendsGuard
andChannelOutputInt
to enable a process to choose between many integer output (and other) events.(package private) class
AltingChannelOutputIntSymmetricImpl
class
BlackHoleChannelInt
This implementsChannelOutputInt
with black hole semantics.(package private) class
ChannelOutputIntImpl
(package private) class
SharedChannelOutputIntImpl
Fields in org.jcsp.lang declared as ChannelOutputInt Modifier and Type Field Description private ChannelOutputInt
AltingChannelOutputIntSymmetricImpl. out
Methods in org.jcsp.lang that return ChannelOutputInt Modifier and Type Method Description static 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.ChannelOutputInt
BufferedOne2OneChannelIntImpl. out()
Returns theChannelOutputInt
object to use for this channel.ChannelOutputInt
One2AnyChannelInt. out()
Returns the output end of the channel.ChannelOutputInt
One2AnyIntImpl. out()
ChannelOutputInt
One2OneChannelInt. out()
Returns the output end of the channel.ChannelOutputInt
One2OneChannelIntImpl. out()
Returns theChannelOutputInt
object to use for this channel.ChannelOutputInt
PoisonableBufferedOne2OneChannelInt. out()
Returns theChannelOutput
object to use for this channel.ChannelOutputInt
PoisonableOne2OneChannelIntImpl. out()
Returns theChannelOutput
object to use for this channel.Constructors in org.jcsp.lang with parameters of type ChannelOutputInt Constructor Description AltingChannelOutputIntSymmetricImpl(AltingBarrier ab, ChannelOutputInt out)
-
Uses of ChannelOutputInt in org.jcsp.plugNplay
Constructors in org.jcsp.plugNplay with parameters of type ChannelOutputInt Constructor Description 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. -
Uses of ChannelOutputInt in org.jcsp.plugNplay.ints
Fields in org.jcsp.plugNplay.ints declared as ChannelOutputInt Modifier and Type Field Description private ChannelOutputInt
AndInt. out
The output Channelprivate ChannelOutputInt[]
DeltaInt. out
The output Channelsprivate ChannelOutputInt[]
DemultiplexInt. out
The output Channelsprivate ChannelOutputInt[]
DeparaplexInt. out
The output Channelsprivate ChannelOutputInt
FibonacciInt. out
The output Channelprivate ChannelOutputInt
FixedDelayInt. out
The output Channelprivate ChannelOutputInt
GenerateInt. out
The output Channelprivate ChannelOutputInt
IdentityInt. out
The output Channelprivate ChannelOutputInt
IntegrateInt. out
The output Channelprivate ChannelOutputInt
Merge2Int. out
The output Channelprivate ChannelOutputInt
MergeInt. out
The output channelprivate ChannelOutputInt
MultInt. out
The output Channelprivate ChannelOutputInt
MultiplexInt. out
The output channelprivate ChannelOutputInt
NandInt. out
The output Channelprivate ChannelOutputInt
NorInt. out
The output Channelprivate ChannelOutputInt
NumbersInt. out
The output Channelprivate ChannelOutputInt
OrInt. out
The output Channelprivate ChannelOutputInt
PairsInt. out
The output Channelprivate ChannelOutputInt
Plex2Int. out
The output Channelprivate ChannelOutputInt
PlexInt. out
The output Channelprivate ChannelOutputInt
PlusInt. out
The output Channelprivate ChannelOutputInt
PrefixInt. out
The output Channelprivate ChannelOutputInt
ProcessWriteInt. out
The channel to which to writeprivate ChannelOutputInt
RegularInt. out
private ChannelOutputInt
RegulateInt. out
private ChannelOutputInt
SquaresInt. out
The output Channelprivate ChannelOutputInt
SubstituteInt. out
The output Channelprivate ChannelOutputInt
SuccessorInt. out
The output Channelprivate ChannelOutputInt
TailInt. out
The output Channelprivate ChannelOutputInt
TimesInt. out
The output Channelprivate ChannelOutputInt
XorInt. out
The output Channelprivate ChannelOutputInt
Delta2Int. out0
The first output Channelprivate ChannelOutputInt
Delta2Int. out1
The second output ChannelMethods in org.jcsp.plugNplay.ints with parameters of type ChannelOutputInt Modifier and Type Method Description private 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 ChannelOutputInt Constructor Description AndInt(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.FibonacciInt(ChannelOutputInt 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.NumbersInt(ChannelOutputInt 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.ProcessWriteInt(ChannelOutputInt 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.SquaresInt(ChannelOutputInt out)
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 ChannelOutputInt Modifier and Type Field Description private ChannelOutputInt
WriterProcessInt. out
Constructors in org.jcsp.test with parameters of type ChannelOutputInt Constructor Description WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-