|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Any2AnyChannelInt | |
---|---|
org.jcsp.lang | This provides classes and interfaces corresponding to the fundamental primitives of CSP. |
Uses of Any2AnyChannelInt in org.jcsp.lang |
---|
Methods in org.jcsp.lang that return Any2AnyChannelInt | |
---|---|
static Any2AnyChannelInt |
Channel.any2anyInt()
This constructs an integer carrying channel that may be connected to any number of writer processes and any number of reader processes. |
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.any2anyInt(int immunity)
This constructs a poisonable any-any integer channel. |
static Any2AnyChannelInt[] |
Channel.any2anyIntArray(int size)
This constructs an array of any-any integer channels. |
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 Any2AnyChannelInt[] |
Channel.any2anyIntArray(int size,
int immunity)
This constructs an array of poisonable any-any integer channels. |
static Any2AnyChannelInt |
ChannelInt.createAny2Any()
Deprecated. Constructs and returns an Any2AnyChannelInt object. |
Any2AnyChannelInt |
StandardChannelIntFactory.createAny2Any()
Constructs and returns an Any2AnyChannelInt object. |
Any2AnyChannelInt |
ChannelIntFactory.createAny2Any()
Deprecated. Creates a new Any2Any channel. |
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 Any2AnyChannelInt[] |
ChannelInt.createAny2Any(int n)
Deprecated. Constructs and returns an array of Any2AnyChannelInt
objects. |
Any2AnyChannelInt[] |
ChannelIntArrayFactory.createAny2Any(int n)
Deprecated. Creates a populated array of n Any2Any channels. |
Any2AnyChannelInt[] |
StandardChannelIntFactory.createAny2Any(int n)
Constructs and returns an array of Any2AnyChannelInt
objects. |
Methods in org.jcsp.lang with parameters of type Any2AnyChannelInt | |
---|---|
static SharedChannelInputInt[] |
ChannelInt.getInputArray(Any2AnyChannelInt[] 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(Any2AnyChannelInt[] c)
This extracts the input-ends from the given channel array. |
static SharedChannelOutputInt[] |
ChannelInt.getOutputArray(Any2AnyChannelInt[] 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(Any2AnyChannelInt[] c)
This extracts the output-ends from the given channel array. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |