Uses of Interface
org.jcsp.util.ChannelDataStore

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
<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.
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
<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
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.
 



Copyright © 1996-2012. All Rights Reserved.