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
Fields in org.jcsp.lang declared as ChannelDataStore Modifier and Type Field Description private ChannelDataStore<T>
BufferedOne2OneChannel. data
The ChannelDataStore used to store the data for the channelprivate ChannelDataStore<T>
PoisonableBufferedOne2OneChannel. data
The ChannelDataStore used to store the data for the channelMethods 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 ofn
Any2Any
channels with the specified buffering behaviour.Any2AnyChannel<T>
BufferedChannelFactory. createAny2Any(ChannelDataStore<T> buffer)
Deprecated.Creates a newAny2Any
channel with the given buffering behaviour.static Any2AnyChannel
Channel. createAny2Any(ChannelDataStore buffer)
Deprecated.Use theChannel.any2any(ChannelDataStore)
method instead.static Any2AnyChannel[]
Channel. createAny2Any(ChannelDataStore buffer, int n)
Deprecated.Use theChannel.any2anyArray(int,ChannelDataStore)
method instead.Any2AnyChannel<T>
StandardChannelFactory. createAny2Any(ChannelDataStore<T> buffer)
Constructs and returns aAny2AnyChannel
object which uses the specifiedChannelDataStore
object as a buffer.Any2AnyChannel<T>[]
StandardChannelFactory. createAny2Any(ChannelDataStore<T> buffer, int n)
Constructs and returns an array ofAny2AnyChannel
objects which use the specifiedChannelDataStore
object as a buffer.Any2OneChannel<T>[]
BufferedChannelArrayFactory. createAny2One(ChannelDataStore<T> buffer, int n)
Deprecated.Creates a populated array ofn
Any2One
channels with the specified buffering behaviour.Any2OneChannel<T>
BufferedChannelFactory. createAny2One(ChannelDataStore<T> buffer)
Deprecated.Creates a newAny2One
channel with the given buffering behaviour.static Any2OneChannel
Channel. createAny2One(ChannelDataStore buffer)
Deprecated.Use theChannel.any2one(ChannelDataStore)
method instead.static Any2OneChannel[]
Channel. createAny2One(ChannelDataStore buffer, int n)
Deprecated.Use theChannel.any2oneArray(int,ChannelDataStore)
method instead.Any2OneChannel<T>
StandardChannelFactory. createAny2One(ChannelDataStore<T> buffer)
Constructs and returns aAny2OneChannel
object which uses the specifiedChannelDataStore
object as a buffer.Any2OneChannel<T>[]
StandardChannelFactory. createAny2One(ChannelDataStore<T> buffer, int n)
Constructs and returns an array ofAny2OneChannel
objects which use the specifiedChannelDataStore
object as a buffer.One2AnyChannel<T>[]
BufferedChannelArrayFactory. createOne2Any(ChannelDataStore<T> buffer, int n)
Deprecated.Creates a populated array ofn
One2Any
channels with the specified buffering behaviour.One2AnyChannel<T>
BufferedChannelFactory. createOne2Any(ChannelDataStore<T> buffer)
Deprecated.Creates a newOne2Any
channel with the given buffering behaviour.static One2AnyChannel
Channel. createOne2Any(ChannelDataStore buffer)
Deprecated.Use theChannel.one2any(ChannelDataStore)
method instead.static One2AnyChannel[]
Channel. createOne2Any(ChannelDataStore buffer, int n)
Deprecated.Use theChannel.one2anyArray(int,ChannelDataStore)
method instead.One2AnyChannel<T>
StandardChannelFactory. createOne2Any(ChannelDataStore<T> buffer)
Constructs and returns aOne2AnyChannel
object which uses the specifiedChannelDataStore
object as a buffer.One2AnyChannel<T>[]
StandardChannelFactory. createOne2Any(ChannelDataStore<T> buffer, int n)
Constructs and returns an array ofOne2AnyChannel
objects which use the specifiedChannelDataStore
object as a buffer.One2OneChannel<T>[]
BufferedChannelArrayFactory. createOne2One(ChannelDataStore<T> buffer, int n)
Deprecated.Creates a populated array ofn
One2One
channels with the specified buffering behaviour.One2OneChannel<T>
BufferedChannelFactory. createOne2One(ChannelDataStore<T> buffer)
Deprecated.Creates a newOne2One
channel with the given buffering behaviour.static One2OneChannel
Channel. createOne2One(ChannelDataStore buffer)
Deprecated.Use theChannel.one2one(ChannelDataStore)
method instead.static One2OneChannel[]
Channel. createOne2One(ChannelDataStore buffer, int n)
Deprecated.Use theChannel.one2oneArray(int,ChannelDataStore)
method instead.One2OneChannel<T>
StandardChannelFactory. createOne2One(ChannelDataStore<T> buffer)
Constructs and returns aOne2OneChannel
object which uses the specifiedChannelDataStore
object as a buffer.One2OneChannel<T>[]
StandardChannelFactory. createOne2One(ChannelDataStore<T> buffer, int n)
Constructs and returns an array ofOne2OneChannel
objects which use the specifiedChannelDataStore
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 BufferedAny2AnyChannel(ChannelDataStore<T> data)
Constructs a new BufferedAny2AnyChannel with the specified ChannelDataStore.BufferedAny2OneChannel(ChannelDataStore<T> data)
Constructs a new BufferedAny2OneChannel with the specified ChannelDataStore.BufferedOne2AnyChannel(ChannelDataStore<T> data)
Constructs a new BufferedOne2AnyChannel with the specified ChannelDataStore.BufferedOne2OneChannel(ChannelDataStore<T> data)
Constructs a new BufferedOne2OneChannel with the specified ChannelDataStore.PoisonableBufferedAny2AnyChannel(ChannelDataStore<T> _data, int _immunity)
PoisonableBufferedAny2OneChannel(ChannelDataStore<T> _data, int _immunity)
PoisonableBufferedOne2AnyChannel(ChannelDataStore<T> _data, int _immunity)
PoisonableBufferedOne2OneChannel(ChannelDataStore<T> data, int _immunity)
Constructs a new BufferedOne2OneChannel with the specified ChannelDataStore.RejectableBufferedOne2AnyChannel(ChannelDataStore data)
Deprecated.Constructs a newRejectableBufferedOne2AnyChannel
RejectableBufferedOne2OneChannel(ChannelDataStore buffer)
Deprecated.Constructs a new channel. -
Uses of ChannelDataStore in org.jcsp.net
Classes in org.jcsp.net that implement ChannelDataStore Modifier and Type Class Description (package private) class
AcknowledgementsBuffer
This is used to create a buffered object channel that always accepts and never loses any input.Methods in org.jcsp.net with parameters of type ChannelDataStore Modifier and Type Method Description (package private) static Net2OneChannel
Net2OneChannel. create(java.lang.String label, ChannelDataStore buffer)
(package private) static Net2OneChannel
Net2OneChannel. create(ChannelDataStore buffer)
NetSharedChannelInput
NetBufferedChannelEndFactory. createNet2Any(ChannelDataStore buffer)
Constructs aNetSharedChannelInput
object.static NetSharedChannelInput
NetChannelEnd. createNet2Any(java.lang.String label, ChannelDataStore buffer)
static NetSharedChannelInput
NetChannelEnd. createNet2Any(ChannelDataStore buffer)
NetSharedChannelInput
NetLabelledBufferedChannelEndFactory. createNet2Any(java.lang.String label, ChannelDataStore buffer)
Constructs a bufferedNetSharedChannelInput
which has a VCN assigned with the specified label.NetSharedChannelInput
StandardNetChannelEndFactory. createNet2Any(java.lang.String label, ChannelDataStore buffer)
NetSharedChannelInput
StandardNetChannelEndFactory. createNet2Any(ChannelDataStore buffer)
NetAltingChannelInput
NetBufferedChannelEndFactory. createNet2One(ChannelDataStore buffer)
Constructs aNetAltingChannelInput
object.static NetAltingChannelInput
NetChannelEnd. createNet2One(java.lang.String label, ChannelDataStore buffer)
static NetAltingChannelInput
NetChannelEnd. createNet2One(ChannelDataStore buffer)
NetAltingChannelInput
NetLabelledBufferedChannelEndFactory. createNet2One(java.lang.String label, ChannelDataStore buffer)
Constructs a bufferedNetAltingChannelInput
which has a VCN assigned with the specified label.NetAltingChannelInput
StandardNetChannelEndFactory. createNet2One(java.lang.String label, ChannelDataStore buffer)
NetAltingChannelInput
StandardNetChannelEndFactory. createNet2One(ChannelDataStore buffer)
Constructors in org.jcsp.net with parameters of type ChannelDataStore Constructor Description Net2AnyChannel(java.lang.String label, ChannelDataStore buffer)
Net2AnyChannel(ChannelDataStore buffer)
Creates an anonymous, buffered input channel. -
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 ofAny2AnyChannel
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 ofAny2AnyChannel
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 ofAny2OneChannel
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 ofAny2OneChannel
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 ofOne2AnyChannel
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 ofOne2AnyChannel
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 ofOne2OneChannel
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 ofOne2OneChannel
objects with a given buffering behaviour.
-