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