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 and Description
RejectableChannelInputImpl(ChannelInternals _channel, int _immunity)

Method Summary

Modifier and Type	Method and 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 a ChannelDataRejectedException.

Specified by:

reject in interface RejectableChannelInput