public class ChannelOutputWrapper extends java.lang.Object implements ChannelOutput
Constructor and Description |
---|
ChannelOutputWrapper(ChannelOutput out)
Deprecated.
Creates a new wrapper for the given channel end.
|
public ChannelOutputWrapper(ChannelOutput out)
out
- the existing channel end.public void write(java.lang.Object o)
write
in interface ChannelOutput
o
- the value to write.ChannelOutput
public void poison(int strength)
Poisonable
poison
in interface Poisonable
strength
- the strength of the poison (must be >= 0).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.