|
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.ChannelInputWrapper
public class ChannelInputWrapper
Defines a wrapper to go around a channel input end. This wrapper allows a channel end to be given away without any risk of the user of that end casting it to a channel output because they cannot gain access to the actual channel end.
Constructor Summary | |
---|---|
ChannelInputWrapper(ChannelInput in)
Deprecated. Constructs a new wrapper around the given channel end. |
Method Summary | |
---|---|
void |
endRead()
Deprecated. Ends an extended rendezvous |
void |
poison(int strength)
Deprecated. This injects poison into the channel. |
Object |
read()
Deprecated. Reads a value from the channel. |
Object |
startRead()
Deprecated. Begins an extended rendezvous |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ChannelInputWrapper(ChannelInput in)
in
- the existing channel end.Method Detail |
---|
public Object read()
read
in interface ChannelInput
ChannelInput
public Object startRead()
startRead
in interface ChannelInput
ChannelInput.startRead
public void endRead()
endRead
in interface ChannelInput
ChannelInput.endRead
public void poison(int strength)
Poisonable
poison
in interface Poisonable
strength
- the strength of the poison (must be >= 0).
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |