Uses of Interface
org.jcsp.lang.One2AnyChannelInt

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

Uses of One2AnyChannelInt in org.jcsp.lang
 

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

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



Copyright © 1996-2012. All Rights Reserved.