|
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 ChannelInputChannelInputpublic Object startRead()
startRead in interface ChannelInputChannelInput.startReadpublic void endRead()
endRead in interface ChannelInputChannelInput.endReadpublic void poison(int strength)
Poisonable
poison in interface Poisonablestrength - 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 | ||||||||