Uses of Interface
org.jcsp.lang.Any2OneChannelInt
Packages that use Any2OneChannelInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of Any2OneChannelInt in org.jcsp.lang
Classes in org.jcsp.lang that implement Any2OneChannelIntModifier and TypeClassDescription(package private) class
This implements an any-to-one integer channel, safe for use by many writers and one reader.Refer to theAny2OneChannelInt
interface for a fuller description.(package private) class
(package private) class
This implements an any-to-one integer channel with user-definable buffering, safe for use by many writers and one reader.(package private) class
(package private) class
Methods in org.jcsp.lang that return Any2OneChannelIntModifier and TypeMethodDescriptionstatic Any2OneChannelInt[]
ChannelInt.any2oneArray
(int n) Deprecated.Constructs and returns an array ofAny2OneChannelInt
objects.static Any2OneChannelInt[]
ChannelInt.any2oneArray
(ChannelDataStoreInt buffer, int n) Deprecated.Constructs and returns an array ofAny2OneChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.static Any2OneChannelInt
Channel.any2oneInt()
This constructs an integer carrying channel that may be connected to any number of writer processes, but only one reader at a time.static Any2OneChannelInt
Channel.any2oneInt
(int immunity) This constructs a poisonable any-one integer channel.static Any2OneChannelInt
Channel.any2oneInt
(ChannelDataStoreInt buffer) This constructs an any-one integer channel with user chosen buffering size and policy.static Any2OneChannelInt
Channel.any2oneInt
(ChannelDataStoreInt buffer, int immunity) This constructs a buffered poisonable any-one integer channel.static Any2OneChannelInt[]
Channel.any2oneIntArray
(int size) This constructs an array of any-one integer channels.static Any2OneChannelInt[]
Channel.any2oneIntArray
(int size, int immunity) This constructs an array of poisonable any-one integer channels.static Any2OneChannelInt[]
Channel.any2oneIntArray
(int size, ChannelDataStoreInt buffer) This constructs an array of buffered any-one integer channels.static Any2OneChannelInt[]
Channel.any2oneIntArray
(int size, ChannelDataStoreInt buffer, int immunity) This constructs an array of buffered poisonable any-one integer channels.BufferedChannelIntArrayFactory.createAny2One
(ChannelDataStoreInt buffer, int n) Deprecated.Creates a populated array ofn
Any2One
channels with the specified buffering behaviour.BufferedChannelIntFactory.createAny2One
(ChannelDataStoreInt buffer) Deprecated.Creates a newAny2One
channel with the given buffering behaviour.static Any2OneChannelInt
ChannelInt.createAny2One()
Deprecated.Constructs and returns anAny2OneChannelInt
object.static Any2OneChannelInt
ChannelInt.createAny2One
(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aAny2OneChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.ChannelIntArrayFactory.createAny2One
(int n) Deprecated.Creates a populated array ofn
Any2One
channels.ChannelIntFactory.createAny2One()
Deprecated.Creates a newAny2One
channel.StandardChannelIntFactory.createAny2One()
Constructs and returns anAny2OneChannelInt
object.StandardChannelIntFactory.createAny2One
(int n) Constructs and returns an array ofAny2OneChannelInt
objects.StandardChannelIntFactory.createAny2One
(ChannelDataStoreInt buffer) Constructs and returns aAny2OneChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createAny2One
(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofAny2OneChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.Methods in org.jcsp.lang with parameters of type Any2OneChannelIntModifier and TypeMethodDescriptionstatic AltingChannelInputInt[]
Channel.getInputArray
(Any2OneChannelInt[] 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 SharedChannelOutputInt[]
Channel.getOutputArray
(Any2OneChannelInt[] c) This extracts the output-ends from the given channel array.static SharedChannelOutputInt[]
ChannelInt.getOutputArray
(Any2OneChannelInt[] c) Deprecated.Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.