Uses of Interface
org.jcsp.lang.One2OneChannelInt

Packages that use One2OneChannelInt
org.jcsp.lang This provides classes and interfaces corresponding to the fundamental primitives of CSP. 
 

Uses of One2OneChannelInt in org.jcsp.lang
 

Methods in org.jcsp.lang that return One2OneChannelInt
static One2OneChannelInt ChannelInt.createOne2One()
          Deprecated. Constructs and returns a One2OneChannelInt object.
 One2OneChannelInt StandardChannelIntFactory.createOne2One()
          Constructs and returns a One2OneChannelInt object.
 One2OneChannelInt ChannelIntFactory.createOne2One()
          Deprecated. Creates a new One2One channel.
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 One2OneChannelInt[] ChannelInt.createOne2One(int n)
          Deprecated. Constructs and returns an array of One2OneChannelInt objects.
 One2OneChannelInt[] ChannelIntArrayFactory.createOne2One(int n)
          Deprecated. Creates a populated array of n One2One channels.
 One2OneChannelInt[] StandardChannelIntFactory.createOne2One(int n)
          Constructs and returns an array of One2OneChannelInt objects.
static One2OneChannelInt Channel.one2oneInt()
          This constructs an integer carrying channel that may only be connected to one writer and one reader process at a time.
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.one2oneInt(int immunity)
          This constructs a poisonable one-one integer channel.
static One2OneChannelInt[] Channel.one2oneIntArray(int size)
          This constructs an array of one-one integer channels.
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.
static One2OneChannelInt[] Channel.one2oneIntArray(int size, int immunity)
          This constructs an array of poisonable one-one integer channels.
 

Methods in org.jcsp.lang with parameters of type One2OneChannelInt
static AltingChannelInputInt[] ChannelInt.getInputArray(One2OneChannelInt[] c)
          Deprecated. Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
static AltingChannelInputInt[] Channel.getInputArray(One2OneChannelInt[] c)
          This extracts the input-ends from the given channel array.
static ChannelOutputInt[] ChannelInt.getOutputArray(One2OneChannelInt[] c)
          Deprecated. Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
static ChannelOutputInt[] Channel.getOutputArray(One2OneChannelInt[] c)
          This extracts the output-ends from the given channel array.
 



Copyright © 1996-2012. All Rights Reserved.