|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jcsp.lang.Guard
org.jcsp.lang.AltingChannelInput
org.jcsp.lang.RejectableAltingChannelInput
PoisonException
public abstract class RejectableAltingChannelInput
Defines an interface for an input channel end that gives the reader the ability to reject instead of accepting pending data.
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 |
---|
public RejectableAltingChannelInput()
Method Detail |
---|
public abstract void reject()
ChannelDataRejectedException
.
reject
in interface RejectableChannelInput
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |