Uses of Interface
org.jcsp.lang.One2OneChannelInt

Packages that use One2OneChannelInt

Package	Description
org.jcsp.lang	This provides classes and interfaces corresponding to the fundamental primitives of CSP.

Uses of One2OneChannelInt in org.jcsp.lang

Classes in org.jcsp.lang that implement One2OneChannelInt

Modifier and Type	Class	Description
(package private) class	BufferedOne2OneChannelIntImpl	This implements a one-to-one integer channel with user-definable buffering.
(package private) class	One2OneChannelIntImpl	This implements a one-to-one integer channel.
(package private) class	PoisonableBufferedOne2OneChannelInt
(package private) class	PoisonableOne2OneChannelIntImpl

Fields in org.jcsp.lang declared as One2OneChannelInt

Modifier and Type	Field	Description
private final One2OneChannelInt	BasicOne2OneChannelSymmetricInt.c

Methods in org.jcsp.lang that return One2OneChannelInt

Modifier and Type	Method	Description
static One2OneChannelInt[]	One2OneChannelIntImpl.create(int n)	Creates an array of One2OneChannelInts.
static One2OneChannelInt[]	One2OneChannelIntImpl.create(int n, ChannelDataStoreInt store)	Creates an array of One2OneChannelInts using the specified ChannelDataStoreInt.
static One2OneChannelInt	One2OneChannelIntImpl.create(ChannelDataStoreInt store)	Creates a One2OneChannelIntImpl using the specified ChannelDataStoreInt.
One2OneChannelInt[]	BufferedChannelIntArrayFactory.createOne2One(ChannelDataStoreInt buffer, int n)	Deprecated. Creates a populated array of n One2One channels with the specified buffering behaviour.
One2OneChannelInt	BufferedChannelIntFactory.createOne2One(ChannelDataStoreInt buffer)	Deprecated. Creates a new One2One channel with the given buffering behaviour.
static One2OneChannelInt	ChannelInt.createOne2One()	Deprecated. Constructs and returns a One2OneChannelInt object.
static One2OneChannelInt[]	ChannelInt.createOne2One(int n)	Deprecated. Constructs and returns an array of One2OneChannelInt objects.
static One2OneChannelInt	ChannelInt.createOne2One(ChannelDataStoreInt buffer)	Deprecated. Constructs and returns a One2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
static One2OneChannelInt[]	ChannelInt.createOne2One(ChannelDataStoreInt buffer, int n)	Deprecated. Constructs and returns an array of One2OneChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
One2OneChannelInt[]	ChannelIntArrayFactory.createOne2One(int n)	Deprecated. Creates a populated array of n One2One channels.
One2OneChannelInt	ChannelIntFactory.createOne2One()	Deprecated. Creates a new One2One channel.
One2OneChannelInt	StandardChannelIntFactory.createOne2One()	Constructs and returns a One2OneChannelInt object.
One2OneChannelInt[]	StandardChannelIntFactory.createOne2One(int n)	Constructs and returns an array of One2OneChannelInt objects.
One2OneChannelInt	StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer)	Constructs and returns a One2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
One2OneChannelInt[]	StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer, int n)	Constructs and returns an array of One2OneChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
static One2OneChannelInt	Channel.one2oneInt()	This constructs an integer carrying channel that may only be connected to one writer and one reader process at a time.
static One2OneChannelInt	Channel.one2oneInt(int immunity)	This constructs a poisonable one-one integer channel.
static One2OneChannelInt	Channel.one2oneInt(ChannelDataStoreInt buffer)	This constructs a one-one integer channel with user chosen buffering size and policy.
static One2OneChannelInt	Channel.one2oneInt(ChannelDataStoreInt buffer, int immunity)	This constructs a buffered poisonable one-one integer channel.
static One2OneChannelInt[]	Channel.one2oneIntArray(int size)	This constructs an array of one-one integer channels.
static One2OneChannelInt[]	Channel.one2oneIntArray(int size, int immunity)	This constructs an array of poisonable one-one integer channels.
static One2OneChannelInt[]	Channel.one2oneIntArray(int size, ChannelDataStoreInt buffer)	This constructs an array of buffered one-one integer channels.
static One2OneChannelInt[]	Channel.one2oneIntArray(int size, ChannelDataStoreInt buffer, int immunity)	This constructs an array of buffered poisonable one-one integer channels.

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

Modifier and Type	Method	Description
static AltingChannelInputInt[]	Channel.getInputArray(One2OneChannelInt[] c)	This extracts the input-ends from the given channel array.
static AltingChannelInputInt[]	ChannelInt.getInputArray(One2OneChannelInt[] c)	Deprecated. Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
static ChannelOutputInt[]	Channel.getOutputArray(One2OneChannelInt[] c)	This extracts the output-ends from the given channel array.
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.