|
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.Object org.jcsp.lang.RejectableBufferedOne2OneChannel
PoisonException
public class RejectableBufferedOne2OneChannel
This implements a one-to-one object channel with user-definable buffering,
for use by a single writer and single reader. Refer to One2OneChannel
for a
description of this behaviour.
Additionally, this channel supports a reject
operation. The reader may call
the reject method to force any current writer to abort with a
ChannelDataRejectedException
. Subsequent read and write attempts will immediately cause a
ChannelDataRejectedException
.
Note that the reject
operation cannot be called concurrently to a read.
Constructor Summary | |
---|---|
RejectableBufferedOne2OneChannel(ChannelDataStore buffer)
Deprecated. Constructs a new channel. |
Method Summary | |
---|---|
RejectableChannelInput |
in()
Deprecated. |
RejectableAltingChannelInput |
inAlt()
Deprecated. |
RejectableChannelOutput |
out()
Deprecated. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RejectableBufferedOne2OneChannel(ChannelDataStore buffer)
buffer
- the buffer implementation to use.Method Detail |
---|
public RejectableAltingChannelInput inAlt()
public RejectableChannelInput in()
in
in interface RejectableChannel
public RejectableChannelOutput out()
out
in interface RejectableChannel
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |