Uses of Interface
org.jcsp.util.ChannelDataStore

Packages that use ChannelDataStore

Package	Description
org.jcsp.lang	This provides classes and interfaces corresponding to the fundamental primitives of CSP.
org.jcsp.net	This is main package for JCSP.NET.
org.jcsp.util	This provides classes and interfaces to customise the semantics of Object channels.
org.jcsp.util.filter	This defines filtering channels that can apply transformations to objects as they are read and/or written.

Uses of ChannelDataStore in org.jcsp.lang

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

Modifier and Type	Method	Description
static <T> Any2AnyChannel<T>	Channel.any2any(ChannelDataStore<T> buffer)	This constructs an any-any Object channel with user chosen buffering size and policy.
static <T> Any2AnyChannel<T>	Channel.any2any(ChannelDataStore<T> buffer, int immunity)	This constructs a buffered poisonable any-any Object channel.
static <T> Any2AnyChannel<T>[]	Channel.any2anyArray(int size, ChannelDataStore<T> buffer)	This constructs an array of buffered any-any Object channels.
static <T> Any2AnyChannel<T>[]	Channel.any2anyArray(int size, ChannelDataStore<T> buffer, int immunity)	This constructs an array of buffered poisonable any-any Object channels.
static <T> Any2OneChannel<T>	Channel.any2one(ChannelDataStore<T> buffer)	This constructs an any-one Object channel with user chosen buffering size and policy.
static <T> Any2OneChannel<T>	Channel.any2one(ChannelDataStore<T> buffer, int immunity)	This constructs a buffered poisonable any-one Object channel.
static <T> Any2OneChannel<T>[]	Channel.any2oneArray(int size, ChannelDataStore<T> buffer)	This constructs an array of buffered any-one Object channels.
static <T> Any2OneChannel<T>[]	Channel.any2oneArray(int size, ChannelDataStore<T> buffer, int immunity)	This constructs an array of buffered poisonable any-one Object channels.
Any2AnyChannel<T>[]	BufferedChannelArrayFactory.createAny2Any(ChannelDataStore<T> buffer, int n)	Deprecated. Creates a populated array of n Any2Any channels with the specified buffering behaviour.
Any2AnyChannel<T>	BufferedChannelFactory.createAny2Any(ChannelDataStore<T> buffer)	Deprecated. Creates a new Any2Any channel with the given buffering behaviour.
static Any2AnyChannel	Channel.createAny2Any(ChannelDataStore buffer)	Deprecated. Use the Channel.any2any(ChannelDataStore) method instead.
static Any2AnyChannel[]	Channel.createAny2Any(ChannelDataStore buffer, int n)	Deprecated. Use the Channel.any2anyArray(int,ChannelDataStore) method instead.
Any2AnyChannel<T>	StandardChannelFactory.createAny2Any(ChannelDataStore<T> buffer)	Constructs and returns a Any2AnyChannel object which uses the specified ChannelDataStore object as a buffer.
Any2AnyChannel<T>[]	StandardChannelFactory.createAny2Any(ChannelDataStore<T> buffer, int n)	Constructs and returns an array of Any2AnyChannel objects which use the specified ChannelDataStore object as a buffer.
Any2OneChannel<T>[]	BufferedChannelArrayFactory.createAny2One(ChannelDataStore<T> buffer, int n)	Deprecated. Creates a populated array of n Any2One channels with the specified buffering behaviour.
Any2OneChannel<T>	BufferedChannelFactory.createAny2One(ChannelDataStore<T> buffer)	Deprecated. Creates a new Any2One channel with the given buffering behaviour.
static Any2OneChannel	Channel.createAny2One(ChannelDataStore buffer)	Deprecated. Use the Channel.any2one(ChannelDataStore) method instead.
static Any2OneChannel[]	Channel.createAny2One(ChannelDataStore buffer, int n)	Deprecated. Use the Channel.any2oneArray(int,ChannelDataStore) method instead.
Any2OneChannel<T>	StandardChannelFactory.createAny2One(ChannelDataStore<T> buffer)	Constructs and returns a Any2OneChannel object which uses the specified ChannelDataStore object as a buffer.
Any2OneChannel<T>[]	StandardChannelFactory.createAny2One(ChannelDataStore<T> buffer, int n)	Constructs and returns an array of Any2OneChannel objects which use the specified ChannelDataStore object as a buffer.
One2AnyChannel<T>[]	BufferedChannelArrayFactory.createOne2Any(ChannelDataStore<T> buffer, int n)	Deprecated. Creates a populated array of n One2Any channels with the specified buffering behaviour.
One2AnyChannel<T>	BufferedChannelFactory.createOne2Any(ChannelDataStore<T> buffer)	Deprecated. Creates a new One2Any channel with the given buffering behaviour.
static One2AnyChannel	Channel.createOne2Any(ChannelDataStore buffer)	Deprecated. Use the Channel.one2any(ChannelDataStore) method instead.
static One2AnyChannel[]	Channel.createOne2Any(ChannelDataStore buffer, int n)	Deprecated. Use the Channel.one2anyArray(int,ChannelDataStore) method instead.
One2AnyChannel<T>	StandardChannelFactory.createOne2Any(ChannelDataStore<T> buffer)	Constructs and returns a One2AnyChannel object which uses the specified ChannelDataStore object as a buffer.
One2AnyChannel<T>[]	StandardChannelFactory.createOne2Any(ChannelDataStore<T> buffer, int n)	Constructs and returns an array of One2AnyChannel objects which use the specified ChannelDataStore object as a buffer.
One2OneChannel<T>[]	BufferedChannelArrayFactory.createOne2One(ChannelDataStore<T> buffer, int n)	Deprecated. Creates a populated array of n One2One channels with the specified buffering behaviour.
One2OneChannel<T>	BufferedChannelFactory.createOne2One(ChannelDataStore<T> buffer)	Deprecated. Creates a new One2One channel with the given buffering behaviour.
static One2OneChannel	Channel.createOne2One(ChannelDataStore buffer)	Deprecated. Use the Channel.one2one(ChannelDataStore) method instead.
static One2OneChannel[]	Channel.createOne2One(ChannelDataStore buffer, int n)	Deprecated. Use the Channel.one2oneArray(int,ChannelDataStore) method instead.
One2OneChannel<T>	StandardChannelFactory.createOne2One(ChannelDataStore<T> buffer)	Constructs and returns a One2OneChannel object which uses the specified ChannelDataStore object as a buffer.
One2OneChannel<T>[]	StandardChannelFactory.createOne2One(ChannelDataStore<T> buffer, int n)	Constructs and returns an array of One2OneChannel objects which use the specified ChannelDataStore object as a buffer.
static <T> One2AnyChannel<T>	Channel.one2any(ChannelDataStore<T> buffer)	This constructs a one-any Object channel with user chosen buffering size and policy.
static <T> One2AnyChannel<T>	Channel.one2any(ChannelDataStore<T> buffer, int immunity)	This constructs a buffered poisonable one-any Object channel.
static <T> One2AnyChannel<T>[]	Channel.one2anyArray(int size, ChannelDataStore<T> buffer)	This constructs an array of buffered one-any Object channels.
static <T> One2AnyChannel<T>[]	Channel.one2anyArray(int size, ChannelDataStore<T> buffer, int immunity)	This constructs an array of buffered poisonable one-any Object channels.
static <T> One2OneChannel<T>	Channel.one2one(ChannelDataStore<T> buffer)	This constructs a one-one Object channel with user chosen buffering size and policy.
static <T> One2OneChannel<T>	Channel.one2one(ChannelDataStore<T> buffer, int immunity)	This constructs a buffered poisonable one-one Object channel.
static <T> One2OneChannel<T>[]	Channel.one2oneArray(int size, ChannelDataStore<T> buffer)	This constructs an array of buffered one-one Object channels.
static <T> One2OneChannel<T>[]	Channel.one2oneArray(int size, ChannelDataStore<T> buffer, int immunity)	This constructs an array of buffered poisonable one-one Object channels.

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

Constructor	Description
RejectableBufferedOne2AnyChannel(ChannelDataStore data)	Deprecated. Constructs a new RejectableBufferedOne2AnyChannel
RejectableBufferedOne2OneChannel(ChannelDataStore buffer)	Deprecated. Constructs a new channel.

Uses of ChannelDataStore in org.jcsp.net

Methods in org.jcsp.net with parameters of type ChannelDataStore

Modifier and Type	Method	Description
NetSharedChannelInput	NetBufferedChannelEndFactory.createNet2Any(ChannelDataStore buffer)	Constructs a NetSharedChannelInput object.
static NetSharedChannelInput	NetChannelEnd.createNet2Any(String label, ChannelDataStore buffer)
static NetSharedChannelInput	NetChannelEnd.createNet2Any(ChannelDataStore buffer)
NetSharedChannelInput	NetLabelledBufferedChannelEndFactory.createNet2Any(String label, ChannelDataStore buffer)	Constructs a buffered NetSharedChannelInput which has a VCN assigned with the specified label.
NetSharedChannelInput	StandardNetChannelEndFactory.createNet2Any(String label, ChannelDataStore buffer)
NetSharedChannelInput	StandardNetChannelEndFactory.createNet2Any(ChannelDataStore buffer)
NetAltingChannelInput	NetBufferedChannelEndFactory.createNet2One(ChannelDataStore buffer)	Constructs a NetAltingChannelInput object.
static NetAltingChannelInput	NetChannelEnd.createNet2One(String label, ChannelDataStore buffer)
static NetAltingChannelInput	NetChannelEnd.createNet2One(ChannelDataStore buffer)
NetAltingChannelInput	NetLabelledBufferedChannelEndFactory.createNet2One(String label, ChannelDataStore buffer)	Constructs a buffered NetAltingChannelInput which has a VCN assigned with the specified label.
NetAltingChannelInput	StandardNetChannelEndFactory.createNet2One(String label, ChannelDataStore buffer)
NetAltingChannelInput	StandardNetChannelEndFactory.createNet2One(ChannelDataStore buffer)

Uses of ChannelDataStore in org.jcsp.util

Classes in org.jcsp.util that implement ChannelDataStore

Modifier and Type	Class	Description
class	Buffer<T>	This is used to create a buffered object channel that never loses data.
class	InfiniteBuffer<T>	This is used to create a buffered object channel that always accepts and never loses any input.
class	OverFlowingBuffer<T>	This is used to create a buffered object channel that always accepts input, discarding its last entered data if full.
class	OverWriteOldestBuffer<T>	This is used to create a buffered object channel that always accepts input, overwriting its oldest data if full.
class	OverWritingBuffer<T>	This is used to create a buffered object channel that always accepts input, overwriting its last entered data if full.
class	ZeroBuffer<T>	This is used to create a zero-buffered object channel that never loses data.

Uses of ChannelDataStore in org.jcsp.util.filter

Methods in org.jcsp.util.filter with parameters of type ChannelDataStore

Modifier and Type	Method	Description
static FilteredAny2AnyChannel	FilteredChannel.createAny2Any(ChannelDataStore buffer)	Creates a new Any2Any filtered channel with a given buffering behaviour.
static FilteredAny2AnyChannel[]	FilteredChannel.createAny2Any(ChannelDataStore buffer, int n)	Constructs and returns an array of Any2AnyChannel objects with a given buffer.
Any2AnyChannel	FilteredChannelFactory.createAny2Any(ChannelDataStore buffer)	Creates a new Any2Any channel with the filtering options set for this factory and the specified data buffer.
Any2AnyChannel[]	FilteredChannelFactory.createAny2Any(ChannelDataStore buffer, int n)	Constructs and returns an array of Any2AnyChannel objects with a given buffering behaviour.
static FilteredAny2OneChannel	FilteredChannel.createAny2One(ChannelDataStore buffer)	Creates a new Any2One filtered channel with a given buffering behaviour.
static FilteredAny2OneChannel[]	FilteredChannel.createAny2One(ChannelDataStore buffer, int n)	Constructs and returns an array of Any2OneChannel objects with a given buffer.
Any2OneChannel	FilteredChannelFactory.createAny2One(ChannelDataStore buffer)	Creates a new Any2One channel with the filtering options set for this factory and the specified data buffer.
Any2OneChannel[]	FilteredChannelFactory.createAny2One(ChannelDataStore buffer, int n)	Constructs and returns an array of Any2OneChannel objects with a given buffering behaviour.
static FilteredOne2AnyChannel	FilteredChannel.createOne2Any(ChannelDataStore buffer)	Creates a new One2Any filtered channel with a given buffering behaviour.
static FilteredOne2AnyChannel[]	FilteredChannel.createOne2Any(ChannelDataStore buffer, int n)	Constructs and returns an array of One2AnyChannel objects with a given buffer.
One2AnyChannel	FilteredChannelFactory.createOne2Any(ChannelDataStore buffer)	Creates a new One2Any channel with the filtering options set for this factory and the specified data buffer.
One2AnyChannel[]	FilteredChannelFactory.createOne2Any(ChannelDataStore buffer, int n)	Constructs and returns an array of One2AnyChannel objects with a given buffering behaviour.
static FilteredOne2OneChannel	FilteredChannel.createOne2One(ChannelDataStore buffer)	Creates a new One2One filtered channel with a given buffering behaviour.
static FilteredOne2OneChannel[]	FilteredChannel.createOne2One(ChannelDataStore buffer, int n)	Constructs and returns an array of One2OneChannel objects using a given buffer.
One2OneChannel	FilteredChannelFactory.createOne2One(ChannelDataStore buffer)	Creates a new One2One channel with the filtering options set for this factory and the specified data buffer.
One2OneChannel[]	FilteredChannelFactory.createOne2One(ChannelDataStore buffer, int n)	Constructs and returns an array of One2OneChannel objects with a given buffering behaviour.