public class RejectableChannelOutputImpl extends ChannelOutputImpl
Constructor and description |
---|
RejectableChannelOutputImpl
(ChannelInternals _channel, int _immunity) |
Methods inherited from class | Name |
---|---|
class ChannelOutputImpl |
poison, write |
JCSP for Java 1.8 generated 18-09-2017 by Jon Kerridge, Edinburgh Napier University