|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |