Uses of Interface
org.jcsp.lang.One2AnyChannelInt

Packages that use One2AnyChannelInt

Package	Description
org.jcsp.lang	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 One2AnyChannelInt

Modifier and Type	Class	Description
(package private) class	BufferedOne2AnyChannelIntImpl	This implements a one-to-any integer channel with user-definable buffering, safe for use by many writers and many readers.
(package private) class	One2AnyChannelIntImpl	This implements a one-to-any integer channel, safe for use by one writer and many readers.
(package private) class	One2AnyIntImpl
(package private) class	PoisonableBufferedOne2AnyChannelInt
(package private) class	PoisonableOne2AnyChannelIntImpl

Methods in org.jcsp.lang that return One2AnyChannelInt

Modifier and Type	Method	Description
One2AnyChannelInt[]	BufferedChannelIntArrayFactory.createOne2Any(ChannelDataStoreInt buffer, int n)	Deprecated. Creates a populated array of n One2Any channels with the specified buffering behaviour.
One2AnyChannelInt	BufferedChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)	Deprecated. Creates a new One2Any channel with the given buffering behaviour.
static One2AnyChannelInt	ChannelInt.createOne2Any()	Deprecated. Constructs and returns a One2AnyChannelInt object.
static One2AnyChannelInt[]	ChannelInt.createOne2Any(int n)	Deprecated. Constructs and returns an array of One2AnyChannelInt objects.
static One2AnyChannelInt	ChannelInt.createOne2Any(ChannelDataStoreInt buffer)	Deprecated. Constructs and returns a One2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
static One2AnyChannelInt[]	ChannelInt.createOne2Any(ChannelDataStoreInt buffer, int n)	Deprecated. Constructs and returns an array of One2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
One2AnyChannelInt[]	ChannelIntArrayFactory.createOne2Any(int n)	Deprecated. Creates a populated array of n One2Any channels.
One2AnyChannelInt	ChannelIntFactory.createOne2Any()	Deprecated. Creates a new One2Any channel.
One2AnyChannelInt	StandardChannelIntFactory.createOne2Any()	Constructs and returns a One2AnyChannelInt object.
One2AnyChannelInt[]	StandardChannelIntFactory.createOne2Any(int n)	Constructs and returns an array of One2AnyChannelInt objects.
One2AnyChannelInt	StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)	Constructs and returns a One2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
One2AnyChannelInt[]	StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer, int n)	Constructs and returns an array of One2AnyChannelInt objects which use the specified ChannelDataStoreInt 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 One2AnyChannelInt

Modifier and Type	Method	Description
static 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.