Uses of Interface
org.jcsp.util.ints.ChannelDataStoreInt

Packages that use ChannelDataStoreInt
org.jcsp.lang This provides classes and interfaces corresponding to the fundamental primitives of CSP. 
org.jcsp.util.ints This provides classes and interfaces to customise the semantics of int channels. 
 

Uses of ChannelDataStoreInt in org.jcsp.lang
 

Methods in org.jcsp.lang with parameters of type ChannelDataStoreInt
static Any2AnyChannelInt Channel.any2anyInt(ChannelDataStoreInt buffer)
          This constructs an any-any integer channel with user chosen buffering size and policy.
static Any2AnyChannelInt Channel.any2anyInt(ChannelDataStoreInt buffer, int immunity)
          This constructs a buffered poisonable any-any integer channel.
static Any2AnyChannelInt[] Channel.any2anyIntArray(int size, ChannelDataStoreInt buffer)
          This constructs an array of buffered any-any integer channels.
static Any2AnyChannelInt[] Channel.any2anyIntArray(int size, ChannelDataStoreInt buffer, int immunity)
          This constructs an array of buffered poisonable any-any integer channels.
static Any2OneChannelInt[] ChannelInt.any2oneArray(ChannelDataStoreInt buffer, int n)
          Deprecated. Constructs and returns an array of Any2OneChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
static Any2OneChannelInt Channel.any2oneInt(ChannelDataStoreInt buffer)
          This constructs an any-one integer channel with user chosen buffering size and policy.
static Any2OneChannelInt Channel.any2oneInt(ChannelDataStoreInt buffer, int immunity)
          This constructs a buffered poisonable any-one integer channel.
static Any2OneChannelInt[] Channel.any2oneIntArray(int size, ChannelDataStoreInt buffer)
          This constructs an array of buffered any-one integer channels.
static Any2OneChannelInt[] Channel.any2oneIntArray(int size, ChannelDataStoreInt buffer, int immunity)
          This constructs an array of buffered poisonable any-one integer channels.
static Any2AnyChannelInt ChannelInt.createAny2Any(ChannelDataStoreInt buffer)
          Deprecated. Constructs and returns a Any2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
 Any2AnyChannelInt BufferedChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer)
          Deprecated. Creates a new Any2Any channel with the given buffering behaviour.
 Any2AnyChannelInt StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer)
          Constructs and returns a Any2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
static Any2AnyChannelInt[] ChannelInt.createAny2Any(ChannelDataStoreInt buffer, int n)
          Deprecated. Constructs and returns an array of Any2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 Any2AnyChannelInt[] StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer, int n)
          Constructs and returns an array of Any2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 Any2AnyChannelInt[] BufferedChannelIntArrayFactory.createAny2Any(ChannelDataStoreInt buffer, int n)
          Deprecated. Creates a populated array of n Any2Any channels with the specified buffering behaviour.
static Any2OneChannelInt ChannelInt.createAny2One(ChannelDataStoreInt buffer)
          Deprecated. Constructs and returns a Any2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
 Any2OneChannelInt BufferedChannelIntFactory.createAny2One(ChannelDataStoreInt buffer)
          Deprecated. Creates a new Any2One channel with the given buffering behaviour.
 Any2OneChannelInt StandardChannelIntFactory.createAny2One(ChannelDataStoreInt buffer)
          Constructs and returns a Any2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
 Any2OneChannelInt[] StandardChannelIntFactory.createAny2One(ChannelDataStoreInt buffer, int n)
          Constructs and returns an array of Any2OneChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 Any2OneChannelInt[] BufferedChannelIntArrayFactory.createAny2One(ChannelDataStoreInt buffer, int n)
          Deprecated. Creates a populated array of n Any2One channels with the specified buffering behaviour.
static One2AnyChannelInt ChannelInt.createOne2Any(ChannelDataStoreInt buffer)
          Deprecated. Constructs and returns a One2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
 One2AnyChannelInt BufferedChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)
          Deprecated. Creates a new One2Any channel with the given buffering behaviour.
 One2AnyChannelInt StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)
          Constructs and returns a One2AnyChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
static One2AnyChannelInt[] ChannelInt.createOne2Any(ChannelDataStoreInt buffer, int n)
          Deprecated. Constructs and returns an array of One2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 One2AnyChannelInt[] StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer, int n)
          Constructs and returns an array of One2AnyChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 One2AnyChannelInt[] BufferedChannelIntArrayFactory.createOne2Any(ChannelDataStoreInt buffer, int n)
          Deprecated. Creates a populated array of n One2Any channels with the specified buffering behaviour.
static One2OneChannelInt ChannelInt.createOne2One(ChannelDataStoreInt buffer)
          Deprecated. Constructs and returns a One2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
 One2OneChannelInt BufferedChannelIntFactory.createOne2One(ChannelDataStoreInt buffer)
          Deprecated. Creates a new One2One channel with the given buffering behaviour.
 One2OneChannelInt StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer)
          Constructs and returns a One2OneChannelInt object which uses the specified ChannelDataStoreInt object as a buffer.
static One2OneChannelInt[] ChannelInt.createOne2One(ChannelDataStoreInt buffer, int n)
          Deprecated. Constructs and returns an array of One2OneChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 One2OneChannelInt[] StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer, int n)
          Constructs and returns an array of One2OneChannelInt objects which use the specified ChannelDataStoreInt object as a buffer.
 One2OneChannelInt[] BufferedChannelIntArrayFactory.createOne2One(ChannelDataStoreInt buffer, int n)
          Deprecated. Creates a populated array of n One2One channels with the specified buffering behaviour.
static One2AnyChannelInt Channel.one2anyInt(ChannelDataStoreInt buffer)
          This constructs a one-any integer channel with user chosen buffering size and policy.
static One2AnyChannelInt Channel.one2anyInt(ChannelDataStoreInt buffer, int immunity)
          This constructs a buffered poisonable one-any integer channel.
static One2AnyChannelInt[] Channel.one2anyIntArray(int size, ChannelDataStoreInt buffer)
          This constructs an array of buffered one-any integer channels.
static One2AnyChannelInt[] Channel.one2anyIntArray(int size, ChannelDataStoreInt buffer, int immunity)
          This constructs an array of buffered poisonable one-any integer channels.
static One2OneChannelInt Channel.one2oneInt(ChannelDataStoreInt buffer)
          This constructs a one-one integer channel with user chosen buffering size and policy.
static One2OneChannelInt Channel.one2oneInt(ChannelDataStoreInt buffer, int immunity)
          This constructs a buffered poisonable one-one integer channel.
static One2OneChannelInt[] Channel.one2oneIntArray(int size, ChannelDataStoreInt buffer)
          This constructs an array of buffered one-one integer channels.
static One2OneChannelInt[] Channel.one2oneIntArray(int size, ChannelDataStoreInt buffer, int immunity)
          This constructs an array of buffered poisonable one-one integer channels.
 

Uses of ChannelDataStoreInt in org.jcsp.util.ints
 

Classes in org.jcsp.util.ints that implement ChannelDataStoreInt
 class BufferInt
          This is used to create a buffered integer channel that never loses data.
 class InfiniteBufferInt
          This is used to create a buffered integer channel that always accepts and never loses any input.
 class OverFlowingBufferInt
          This is used to create a buffered integer channel that always accepts input, discarding its last entered data if full.
 class OverWriteOldestBufferInt
          This is used to create a buffered integer channel that always accepts input, overwriting its oldest data if full.
 class OverWritingBufferInt
          This is used to create a buffered integer channel that always accepts input, overwriting its last entered data if full.
 class ZeroBufferInt
          This is used to create a zero-buffered integer channel that never loses data.
 



Copyright © 1996-2012. All Rights Reserved.