public class ChannelOutputWrapper
Defines a wrapper to go around a channel output 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 input because they cannot gain access to the actual channel end.
Constructor and description |
---|
ChannelOutputWrapper
(ChannelOutput out) Creates a new wrapper for the given channel end. |
Creates a new wrapper for the given channel end.
out
- the existing channel end.Writes a value to the channel.
o
- the value to write.JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk