|
||||||||||
| 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 | |||||||||