Uses of Interface
org.jcsp.util.ints.ChannelDataStoreInt

Packages that use ChannelDataStoreInt

Package	Description
org.jcsp.lang	This provides classes and interfaces corresponding to the fundamental primitives of CSP.
org.jcsp.util.ints	This provides classes and interfaces to customise the semantics of int channels.

Uses of ChannelDataStoreInt in org.jcsp.lang

Fields in org.jcsp.lang declared as ChannelDataStoreInt

Modifier and Type	Field	Description
private final ChannelDataStoreInt	BufferedOne2OneChannelIntImpl.data	The ChannelDataStoreInt used to store the data for the channel
private final ChannelDataStoreInt	PoisonableBufferedOne2OneChannelInt.data	The ChannelDataStore used to store the data for the channel

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

Modifier and Type	Method	Description
static Any2AnyChannelInt	Channel.any2anyInt(ChannelDataStoreInt buffer)	This constructs an any-any integer channel with user chosen buffering size and policy.
static Any2AnyChannelInt	Channel.any2anyInt(ChannelDataStoreInt buffer, int immunity)	This constructs a buffered poisonable any-any integer channel.
static Any2AnyChannelInt[]	Channel.any2anyIntArray(int size, ChannelDataStoreInt buffer)	This constructs an array of buffered any-any integer channels.
static Any2AnyChannelInt[]	Channel.any2anyIntArray(int size, ChannelDataStoreInt buffer, int immunity)	This constructs an array of buffered poisonable any-any integer channels.
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(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, 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.
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.
Any2AnyChannelInt[]	BufferedChannelIntArrayFactory.createAny2Any(ChannelDataStoreInt buffer, int n)	Deprecated. Creates a populated array of n Any2Any channels with the specified buffering behaviour.
Any2AnyChannelInt	BufferedChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer)	Deprecated. Creates a new Any2Any channel with the given buffering behaviour.
static Any2AnyChannelInt	ChannelInt.createAny2Any(ChannelDataStoreInt buffer)	Deprecated. Constructs and returns a Any2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
static Any2AnyChannelInt[]	ChannelInt.createAny2Any(ChannelDataStoreInt buffer, int n)	Deprecated. Constructs and returns an array of Any2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
Any2AnyChannelInt	StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer)	Constructs and returns a Any2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
Any2AnyChannelInt[]	StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer, int n)	Constructs and returns an array of Any2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
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(ChannelDataStoreInt buffer)	Deprecated. Constructs and returns a Any2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
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.
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(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	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.
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(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	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 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, 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.
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, 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.

Constructors in org.jcsp.lang with parameters of type ChannelDataStoreInt

Modifier	Constructor	Description
	BufferedAny2AnyChannelIntImpl(ChannelDataStoreInt data)
	BufferedAny2OneChannelIntImpl(ChannelDataStoreInt data)
	BufferedOne2AnyChannelIntImpl(ChannelDataStoreInt data)
	BufferedOne2OneChannelIntImpl(ChannelDataStoreInt data)	Constructs a new BufferedOne2OneChannelIntImpl with the specified ChannelDataStoreInt.
(package private)	PoisonableBufferedAny2AnyChannelInt(ChannelDataStoreInt _data, int _immunity)
(package private)	PoisonableBufferedAny2OneChannelInt(ChannelDataStoreInt _data, int _immunity)
(package private)	PoisonableBufferedOne2AnyChannelInt(ChannelDataStoreInt _data, int _immunity)
	PoisonableBufferedOne2OneChannelInt(ChannelDataStoreInt data, int _immunity)	Constructs a new BufferedOne2OneChannel with the specified ChannelDataStore.

Uses of ChannelDataStoreInt in org.jcsp.util.ints

Classes in org.jcsp.util.ints that implement ChannelDataStoreInt

Modifier and Type	Class	Description
class	BufferInt	This is used to create a buffered integer channel that never loses data.
class	InfiniteBufferInt	This is used to create a buffered integer channel that always accepts and never loses any input.
class	OverFlowingBufferInt	This is used to create a buffered integer channel that always accepts input, discarding its last entered data if full.
class	OverWriteOldestBufferInt	This is used to create a buffered integer channel that always accepts input, overwriting its oldest data if full.
class	OverWritingBufferInt	This is used to create a buffered integer channel that always accepts input, overwriting its last entered data if full.
class	ZeroBufferInt	This is used to create a zero-buffered integer channel that never loses data.