Package org.jcsp.lang
Class RejectableChannelOutputImpl
- java.lang.Object
-
- org.jcsp.lang.ChannelOutputImpl
-
- org.jcsp.lang.RejectableChannelOutputImpl
-
- All Implemented Interfaces:
ChannelOutput
,Poisonable
,RejectableChannelOutput
class RejectableChannelOutputImpl extends ChannelOutputImpl implements RejectableChannelOutput
-
-
Constructor Summary
Constructors Constructor Description RejectableChannelOutputImpl(ChannelInternals _channel, int _immunity)
-
Method Summary
-
Methods inherited from class org.jcsp.lang.ChannelOutputImpl
poison, write
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.jcsp.lang.Poisonable
poison
-
Methods inherited from interface org.jcsp.lang.RejectableChannelOutput
write
-
-
-
-
Constructor Detail
-
RejectableChannelOutputImpl
public RejectableChannelOutputImpl(ChannelInternals _channel, int _immunity)
-
-