|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SharedChannelInputInt | |
---|---|
org.jcsp.lang | This provides classes and interfaces corresponding to the fundamental primitives of CSP. |
Uses of SharedChannelInputInt in org.jcsp.lang |
---|
Methods in org.jcsp.lang that return SharedChannelInputInt | |
---|---|
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 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. |
SharedChannelInputInt |
Any2AnyChannelInt.in()
Returns the input channel end. |
SharedChannelInputInt |
One2AnyChannelInt.in()
Returns the input end of the channel. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |