Uses of Interface
org.jcsp.util.ChannelDataStore
Packages that use ChannelDataStore
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
This is main package for JCSP.NET.
This provides classes and interfaces to customise the semantics of Object
channels.
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 ChannelDataStoreModifier and TypeFieldDescriptionprivate final ChannelDataStore<T>
BufferedOne2OneChannel.data
The ChannelDataStore used to store the data for the channelprivate final ChannelDataStore<T>
PoisonableBufferedOne2OneChannel.data
The ChannelDataStore used to store the data for the channelMethods in org.jcsp.lang with parameters of type ChannelDataStoreModifier and TypeMethodDescriptionstatic <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.BufferedChannelFactory.createAny2Any
(ChannelDataStore<T> buffer) Deprecated.Creates a newAny2Any
channel with the given buffering behaviour.static Any2AnyChannel
Channel.createAny2Any
(ChannelDataStore buffer) Deprecated.static Any2AnyChannel[]
Channel.createAny2Any
(ChannelDataStore buffer, int n) Deprecated.Use theChannel.any2anyArray(int,ChannelDataStore)
method instead.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.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.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.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.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.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.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 ChannelDataStoreModifierConstructorDescriptionConstructs a new BufferedAny2AnyChannel with the specified ChannelDataStore.Constructs a new BufferedAny2OneChannel with the specified ChannelDataStore.Constructs a new BufferedOne2AnyChannel with the specified ChannelDataStore.Constructs a new BufferedOne2OneChannel with the specified ChannelDataStore.(package private)
PoisonableBufferedAny2AnyChannel
(ChannelDataStore<T> _data, int _immunity) (package private)
PoisonableBufferedAny2OneChannel
(ChannelDataStore<T> _data, int _immunity) (package private)
PoisonableBufferedOne2AnyChannel
(ChannelDataStore<T> _data, int _immunity) PoisonableBufferedOne2OneChannel
(ChannelDataStore<T> data, int _immunity) Constructs a new BufferedOne2OneChannel with the specified ChannelDataStore.Deprecated.Constructs a newRejectableBufferedOne2AnyChannel
Deprecated.Constructs a new channel. -
Uses of ChannelDataStore in org.jcsp.net
Classes in org.jcsp.net that implement ChannelDataStoreModifier and TypeClassDescription(package private) class
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 ChannelDataStoreModifier and TypeMethodDescription(package private) static Net2OneChannel
Net2OneChannel.create
(String label, ChannelDataStore buffer) (package private) static Net2OneChannel
Net2OneChannel.create
(ChannelDataStore buffer) NetBufferedChannelEndFactory.createNet2Any
(ChannelDataStore buffer) Constructs aNetSharedChannelInput
object.static NetSharedChannelInput
NetChannelEnd.createNet2Any
(String label, ChannelDataStore buffer) static NetSharedChannelInput
NetChannelEnd.createNet2Any
(ChannelDataStore buffer) NetLabelledBufferedChannelEndFactory.createNet2Any
(String label, ChannelDataStore buffer) Constructs a bufferedNetSharedChannelInput
which has a VCN assigned with the specified label.StandardNetChannelEndFactory.createNet2Any
(String label, ChannelDataStore buffer) StandardNetChannelEndFactory.createNet2Any
(ChannelDataStore buffer) NetBufferedChannelEndFactory.createNet2One
(ChannelDataStore buffer) Constructs aNetAltingChannelInput
object.static NetAltingChannelInput
NetChannelEnd.createNet2One
(String label, ChannelDataStore buffer) static NetAltingChannelInput
NetChannelEnd.createNet2One
(ChannelDataStore buffer) NetLabelledBufferedChannelEndFactory.createNet2One
(String label, ChannelDataStore buffer) Constructs a bufferedNetAltingChannelInput
which has a VCN assigned with the specified label.StandardNetChannelEndFactory.createNet2One
(String label, ChannelDataStore buffer) StandardNetChannelEndFactory.createNet2One
(ChannelDataStore buffer) Constructors in org.jcsp.net with parameters of type ChannelDataStoreModifierConstructorDescriptionNet2AnyChannel
(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 ChannelDataStoreModifier and TypeClassDescriptionclass
Buffer<T>
This is used to create a buffered object channel that never loses data.class
This is used to create a buffered object channel that always accepts and never loses any input.class
This is used to create a buffered object channel that always accepts input, discarding its last entered data if full.class
This is used to create a buffered object channel that always accepts input, overwriting its oldest data if full.class
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 ChannelDataStoreModifier and TypeMethodDescriptionstatic 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.FilteredChannelFactory.createAny2Any
(ChannelDataStore buffer) Creates a new Any2Any channel with the filtering options set for this factory and the specified data buffer.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.FilteredChannelFactory.createAny2One
(ChannelDataStore buffer) Creates a new Any2One channel with the filtering options set for this factory and the specified data buffer.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.FilteredChannelFactory.createOne2Any
(ChannelDataStore buffer) Creates a new One2Any channel with the filtering options set for this factory and the specified data buffer.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.FilteredChannelFactory.createOne2One
(ChannelDataStore buffer) Creates a new One2One channel with the filtering options set for this factory and the specified data buffer.FilteredChannelFactory.createOne2One
(ChannelDataStore buffer, int n) Constructs and returns an array ofOne2OneChannel
objects with a given buffering behaviour.
Channel.any2any(ChannelDataStore)
method instead.