Package org.jcsp.lang
Class RejectableChannelInputImpl
- java.lang.Object
-
- org.jcsp.lang.ChannelInputImpl
-
- org.jcsp.lang.RejectableChannelInputImpl
-
- All Implemented Interfaces:
ChannelInput
,Poisonable
,RejectableChannelInput
class RejectableChannelInputImpl extends ChannelInputImpl implements RejectableChannelInput
-
-
Constructor Summary
Constructors Constructor Description RejectableChannelInputImpl(ChannelInternals _channel, int _immunity)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
reject()
Reject any data pending instead of reading it.-
Methods inherited from class org.jcsp.lang.ChannelInputImpl
endRead, poison, read, startRead
-
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.ChannelInput
endRead, read, startRead
-
Methods inherited from interface org.jcsp.lang.Poisonable
poison
-
-
-
-
Constructor Detail
-
RejectableChannelInputImpl
public RejectableChannelInputImpl(ChannelInternals _channel, int _immunity)
-
-
Method Detail
-
reject
public void reject()
Description copied from interface:RejectableChannelInput
Reject any data pending instead of reading it. The currently blocked writer will receive aChannelDataRejectedException
.- Specified by:
reject
in interfaceRejectableChannelInput
-
-