|
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 | ||||||||