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

Constructors

Constructor and Description
RejectableAltingChannelInput() Deprecated.

Method Summary

Methods

Modifier and Type	Method and Description
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