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 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk