|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface One2OneChannelInt
This implements a one-to-one integer channel.
The reading process may ALT on this channel.
The writing process is committed (i.e. it may not back off).
The default semantics of the channel is that of CSP -- i.e. it is zero-buffered and fully synchronised. The reading process must wait for a matching writer and vice-versa.
| Method Summary | |
|---|---|
AltingChannelInputInt |
in()
Returns the input end of the channel. |
ChannelOutputInt |
out()
Returns the output end of the channel. |
| Method Detail |
|---|
AltingChannelInputInt in()
ChannelOutputInt out()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||