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

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 Details
- RejectableChannelInputImpl
  
  public RejectableChannelInputImpl(ChannelInternals _channel, int _immunity)
Method Details
- 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