public class ChannelInputWrapper
Defines a wrapper to go around a channel input end. This wrapper allows a channel end to be given away without any risk of the user of that end casting it to a channel output because they cannot gain access to the actual channel end.
Constructor and description |
---|
ChannelInputWrapper
(ChannelInput in) Constructs a new wrapper around the given channel end. |
Constructs a new wrapper around the given channel end.
in
- the existing channel end.Ends an extended rendezvous
Reads a value from the channel.
Begins an extended rendezvous
JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk