|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ChannelDataStore | |
---|---|
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 | ||
---|---|---|
static
|
Channel.any2any(ChannelDataStore<T> buffer)
This constructs an any-any Object channel with user chosen buffering size and policy. |
|
static
|
Channel.any2any(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable any-any Object channel. |
|
static
|
Channel.any2anyArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered any-any Object channels. |
|
static
|
Channel.any2anyArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable any-any Object channels. |
|
static
|
Channel.any2one(ChannelDataStore<T> buffer)
This constructs an any-one Object channel with user chosen buffering size and policy. |
|
static
|
Channel.any2one(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable any-one Object channel. |
|
static
|
Channel.any2oneArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered any-one Object channels. |
|
static
|
Channel.any2oneArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable any-one Object channels. |
|
static Any2AnyChannel |
Channel.createAny2Any(ChannelDataStore buffer)
Deprecated. Use the Channel.any2any(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> |
BufferedChannelFactory.createAny2Any(ChannelDataStore<T> buffer)
Deprecated. Creates a new Any2Any channel with the given buffering behaviour. |
|
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>[] |
StandardChannelFactory.createAny2Any(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of Any2AnyChannel objects
which use the specified ChannelDataStore object as a
buffer. |
|
static Any2AnyChannel[] |
Channel.createAny2Any(ChannelDataStore buffer,
int n)
Deprecated. Use the Channel.any2anyArray(int,ChannelDataStore) method instead. |
|
static Any2OneChannel |
Channel.createAny2One(ChannelDataStore buffer)
Deprecated. Use the Channel.any2one(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> |
BufferedChannelFactory.createAny2One(ChannelDataStore<T> buffer)
Deprecated. Creates a new Any2One channel with the given buffering behaviour. |
|
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>[] |
StandardChannelFactory.createAny2One(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of Any2OneChannel objects
which use the specified ChannelDataStore object as a
buffer. |
|
static Any2OneChannel[] |
Channel.createAny2One(ChannelDataStore buffer,
int n)
Deprecated. Use the Channel.any2oneArray(int,ChannelDataStore) method instead. |
|
static One2AnyChannel |
Channel.createOne2Any(ChannelDataStore buffer)
Deprecated. Use the Channel.one2any(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> |
BufferedChannelFactory.createOne2Any(ChannelDataStore<T> buffer)
Deprecated. Creates a new One2Any channel with the given buffering behaviour. |
|
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>[] |
StandardChannelFactory.createOne2Any(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of One2AnyChannel objects
which use the specified ChannelDataStore object as a
buffer. |
|
static One2AnyChannel[] |
Channel.createOne2Any(ChannelDataStore buffer,
int n)
Deprecated. Use the Channel.one2anyArray(int,ChannelDataStore) method instead. |
|
static One2OneChannel |
Channel.createOne2One(ChannelDataStore buffer)
Deprecated. Use the Channel.one2one(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> |
BufferedChannelFactory.createOne2One(ChannelDataStore<T> buffer)
Deprecated. Creates a new One2One channel with the given buffering behaviour. |
|
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>[] |
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 One2OneChannel[] |
Channel.createOne2One(ChannelDataStore buffer,
int n)
Deprecated. Use the Channel.one2oneArray(int,ChannelDataStore) method instead. |
|
static
|
Channel.one2any(ChannelDataStore<T> buffer)
This constructs a one-any Object channel with user chosen buffering size and policy. |
|
static
|
Channel.one2any(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable one-any Object channel. |
|
static
|
Channel.one2anyArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered one-any Object channels. |
|
static
|
Channel.one2anyArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable one-any Object channels. |
|
static
|
Channel.one2one(ChannelDataStore<T> buffer)
This constructs a one-one Object channel with user chosen buffering size and policy. |
|
static
|
Channel.one2one(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable one-one Object channel. |
|
static
|
Channel.one2oneArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered one-one Object channels. |
|
static
|
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 | |
---|---|
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 | |
---|---|
NetSharedChannelInput |
NetBufferedChannelEndFactory.createNet2Any(ChannelDataStore buffer)
Constructs a NetSharedChannelInput object. |
NetSharedChannelInput |
StandardNetChannelEndFactory.createNet2Any(ChannelDataStore buffer)
|
static NetSharedChannelInput |
NetChannelEnd.createNet2Any(ChannelDataStore buffer)
|
NetSharedChannelInput |
StandardNetChannelEndFactory.createNet2Any(String label,
ChannelDataStore buffer)
|
NetSharedChannelInput |
NetLabelledBufferedChannelEndFactory.createNet2Any(String label,
ChannelDataStore buffer)
Constructs a buffered NetSharedChannelInput which
has a VCN assigned with the specified label. |
static NetSharedChannelInput |
NetChannelEnd.createNet2Any(String label,
ChannelDataStore buffer)
|
NetAltingChannelInput |
NetBufferedChannelEndFactory.createNet2One(ChannelDataStore buffer)
Constructs a NetAltingChannelInput object. |
NetAltingChannelInput |
StandardNetChannelEndFactory.createNet2One(ChannelDataStore buffer)
|
static NetAltingChannelInput |
NetChannelEnd.createNet2One(ChannelDataStore buffer)
|
NetAltingChannelInput |
StandardNetChannelEndFactory.createNet2One(String label,
ChannelDataStore buffer)
|
NetAltingChannelInput |
NetLabelledBufferedChannelEndFactory.createNet2One(String label,
ChannelDataStore buffer)
Constructs a buffered NetAltingChannelInput which
has a VCN assigned with the specified label. |
static NetAltingChannelInput |
NetChannelEnd.createNet2One(String label,
ChannelDataStore buffer)
|
Uses of ChannelDataStore in org.jcsp.util |
---|
Classes in org.jcsp.util that implement ChannelDataStore | |
---|---|
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 | |
---|---|
Any2AnyChannel |
FilteredChannelFactory.createAny2Any(ChannelDataStore buffer)
Creates a new Any2Any channel with the filtering options set for this factory and the specified data buffer. |
static FilteredAny2AnyChannel |
FilteredChannel.createAny2Any(ChannelDataStore buffer)
Creates a new Any2Any filtered channel with a given buffering behaviour. |
Any2AnyChannel[] |
FilteredChannelFactory.createAny2Any(ChannelDataStore buffer,
int n)
Constructs and returns an array of Any2AnyChannel
objects 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. |
Any2OneChannel |
FilteredChannelFactory.createAny2One(ChannelDataStore buffer)
Creates a new Any2One channel with the filtering options set for this factory and the specified data buffer. |
static FilteredAny2OneChannel |
FilteredChannel.createAny2One(ChannelDataStore buffer)
Creates a new Any2One filtered channel with a given buffering behaviour. |
Any2OneChannel[] |
FilteredChannelFactory.createAny2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of Any2OneChannel
objects 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. |
One2AnyChannel |
FilteredChannelFactory.createOne2Any(ChannelDataStore buffer)
Creates a new One2Any channel with the filtering options set for this factory and the specified data buffer. |
static FilteredOne2AnyChannel |
FilteredChannel.createOne2Any(ChannelDataStore buffer)
Creates a new One2Any filtered channel with a given buffering behaviour. |
One2AnyChannel[] |
FilteredChannelFactory.createOne2Any(ChannelDataStore buffer,
int n)
Constructs and returns an array of One2AnyChannel
objects 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. |
One2OneChannel |
FilteredChannelFactory.createOne2One(ChannelDataStore buffer)
Creates a new One2One channel with the filtering options set for this factory and the specified data buffer. |
static FilteredOne2OneChannel |
FilteredChannel.createOne2One(ChannelDataStore buffer)
Creates a new One2One filtered channel with a given buffering behaviour. |
One2OneChannel[] |
FilteredChannelFactory.createOne2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of One2OneChannel
objects 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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |