org.jcsp.lang
Class RejectableAltingChannelInput

java.lang.Object
  org.jcsp.lang.Guard
      org.jcsp.lang.AltingChannelInput
          org.jcsp.lang.RejectableAltingChannelInput

All Implemented Interfaces:

ChannelInput, Poisonable, RejectableChannelInput

Deprecated. This channel is superceded by the poison mechanisms, please see PoisonException

public abstract class RejectableAltingChannelInput
extends AltingChannelInput
implements RejectableChannelInput

Defines an interface for an input channel end that gives the reader the ability to reject instead of accepting pending data.

Author:

Quickstone Technologies Limited

Constructor Summary

RejectableAltingChannelInput()
Deprecated.

Method Summary

abstract void

reject() Deprecated. Reject any data pending instead of reading it.

Methods inherited from class org.jcsp.lang.AltingChannelInput

pending

Methods inherited from class org.jcsp.lang.Guard

schedule

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

RejectableAltingChannelInput

public RejectableAltingChannelInput()

Deprecated.

Method Detail

reject

public abstract void reject()

Deprecated.

Reject any data pending instead of reading it. The currently blocked writer will receive a ChannelDataRejectedException.

Specified by:

reject in interface RejectableChannelInput