|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SharedChannelInput
This is the same as ChannelInput
except that it is guaranteed
safe to pass on to more than one internal process for parallel reading.
A reading-end, obtained from a one-any or any-any channel by invoking its in() method, will implement this interface.
Method Summary |
---|
Methods inherited from interface org.jcsp.lang.ChannelInput |
---|
endRead, read, startRead |
Methods inherited from interface org.jcsp.lang.Poisonable |
---|
poison |
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |