Uses of Interface
org.jcsp.lang.Any2OneChannelInt

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

Uses of Any2OneChannelInt in org.jcsp.lang
 

Methods in org.jcsp.lang that return Any2OneChannelInt
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[] ChannelInt.any2oneArray(int n)
          Deprecated. Constructs and returns an array of Any2OneChannelInt objects.
static Any2OneChannelInt Channel.any2oneInt()
          This constructs an integer carrying channel that may be connected to any number of writer processes, but only one reader at a time.
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.any2oneInt(int immunity)
          This constructs a poisonable any-one integer channel.
static Any2OneChannelInt[] Channel.any2oneIntArray(int size)
          This constructs an array of any-one integer channels.
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 Any2OneChannelInt[] Channel.any2oneIntArray(int size, int immunity)
          This constructs an array of poisonable any-one integer channels.
static Any2OneChannelInt ChannelInt.createAny2One()
          Deprecated. Constructs and returns an Any2OneChannelInt object.
 Any2OneChannelInt StandardChannelIntFactory.createAny2One()
          Constructs and returns an Any2OneChannelInt object.
 Any2OneChannelInt ChannelIntFactory.createAny2One()
          Deprecated. Creates a new Any2One channel.
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.
 Any2OneChannelInt[] ChannelIntArrayFactory.createAny2One(int n)
          Deprecated. Creates a populated array of n Any2One channels.
 Any2OneChannelInt[] StandardChannelIntFactory.createAny2One(int n)
          Constructs and returns an array of Any2OneChannelInt objects.
 

Methods in org.jcsp.lang with parameters of type Any2OneChannelInt
static AltingChannelInputInt[] ChannelInt.getInputArray(Any2OneChannelInt[] 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(Any2OneChannelInt[] c)
          This extracts the input-ends from the given channel array.
static SharedChannelOutputInt[] ChannelInt.getOutputArray(Any2OneChannelInt[] c)
          Deprecated. Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.
static SharedChannelOutputInt[] Channel.getOutputArray(Any2OneChannelInt[] c)
          This extracts the output-ends from the given channel array.
 



Copyright © 1996-2012. All Rights Reserved.