Uses of Interface
org.jcsp.lang.One2AnyChannelInt
Packages that use One2AnyChannelInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of One2AnyChannelInt in org.jcsp.lang
Classes in org.jcsp.lang that implement One2AnyChannelIntModifier and TypeClassDescription(package private) class
This implements a one-to-any integer channel with user-definable buffering, safe for use by many writers and many readers.(package private) class
This implements a one-to-any integer channel, safe for use by one writer and many readers.(package private) class
(package private) class
(package private) class
Methods in org.jcsp.lang that return One2AnyChannelIntModifier and TypeMethodDescriptionBufferedChannelIntArrayFactory.createOne2Any
(ChannelDataStoreInt buffer, int n) Deprecated.Creates a populated array ofn
One2Any
channels with the specified buffering behaviour.BufferedChannelIntFactory.createOne2Any
(ChannelDataStoreInt buffer) Deprecated.Creates a newOne2Any
channel with the given buffering behaviour.static One2AnyChannelInt
ChannelInt.createOne2Any()
Deprecated.Constructs and returns aOne2AnyChannelInt
object.static One2AnyChannelInt[]
ChannelInt.createOne2Any
(int n) Deprecated.Constructs and returns an array ofOne2AnyChannelInt
objects.static One2AnyChannelInt
ChannelInt.createOne2Any
(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aOne2AnyChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.static One2AnyChannelInt[]
ChannelInt.createOne2Any
(ChannelDataStoreInt buffer, int n) Deprecated.Constructs and returns an array ofOne2AnyChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.ChannelIntArrayFactory.createOne2Any
(int n) Deprecated.Creates a populated array ofn
One2Any
channels.ChannelIntFactory.createOne2Any()
Deprecated.Creates a newOne2Any
channel.StandardChannelIntFactory.createOne2Any()
Constructs and returns aOne2AnyChannelInt
object.StandardChannelIntFactory.createOne2Any
(int n) Constructs and returns an array ofOne2AnyChannelInt
objects.StandardChannelIntFactory.createOne2Any
(ChannelDataStoreInt buffer) Constructs and returns aOne2AnyChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createOne2Any
(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofOne2AnyChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.static One2AnyChannelInt
Channel.one2anyInt()
This constructs an integer carrying channel that may only be connected to one writer at a time, but any number of reader processes.static One2AnyChannelInt
Channel.one2anyInt
(int immunity) This constructs a poisonable one-any integer channel.static One2AnyChannelInt
Channel.one2anyInt
(ChannelDataStoreInt buffer) This constructs a one-any integer channel with user chosen buffering size and policy.static One2AnyChannelInt
Channel.one2anyInt
(ChannelDataStoreInt buffer, int immunity) This constructs a buffered poisonable one-any integer channel.static One2AnyChannelInt[]
Channel.one2anyIntArray
(int size) This constructs an array of one-any integer channels.static One2AnyChannelInt[]
Channel.one2anyIntArray
(int size, int immunity) This constructs an array of poisonable one-any integer channels.static One2AnyChannelInt[]
Channel.one2anyIntArray
(int size, ChannelDataStoreInt buffer) This constructs an array of buffered one-any integer channels.static One2AnyChannelInt[]
Channel.one2anyIntArray
(int size, ChannelDataStoreInt buffer, int immunity) This constructs an array of buffered poisonable one-any integer channels.Methods in org.jcsp.lang with parameters of type One2AnyChannelIntModifier and TypeMethodDescriptionstatic SharedChannelInputInt[]
Channel.getInputArray
(One2AnyChannelInt[] c) This extracts the input-ends from the given channel array.static SharedChannelInputInt[]
ChannelInt.getInputArray
(One2AnyChannelInt[] c) Deprecated.Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.static ChannelOutputInt[]
Channel.getOutputArray
(One2AnyChannelInt[] 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.