org.jcsp.lang
public interface SharedChannelOutputInt extends ChannelOutputInt
ChannelOutputInt
except that it is guaranteed
safe to pass on to more than one internal process for parallel writing.
A writing-end, obtained from an any-one or any-any channel by invoking its in() method, will implement this interface.
write
poison
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.