Uses of Interface
org.jcsp.lang.Any2OneChannelInt

Packages that use Any2OneChannelInt

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

Modifier and Type	Class	Description
(package private) class	Any2OneChannelIntImpl	This implements an any-to-one integer channel, safe for use by many writers and one reader.Refer to the Any2OneChannelInt interface for a fuller description.
(package private) class	Any2OneIntImpl
(package private) class	BufferedAny2OneChannelIntImpl	This implements an any-to-one integer channel with user-definable buffering, safe for use by many writers and one reader.
(package private) class	PoisonableAny2OneChannelIntImpl
(package private) class	PoisonableBufferedAny2OneChannelInt

Methods in org.jcsp.lang that return Any2OneChannelInt

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

Methods in org.jcsp.lang with parameters of type Any2OneChannelInt

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