|
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 SharedChannelOutputInt
This is the same as ChannelOutputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel writing.
A writing-end, obtained from an any-one or any-any channel by invoking its in() method, will implement this interface.
| Method Summary |
|---|
| Methods inherited from interface org.jcsp.lang.ChannelOutputInt |
|---|
write |
| 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 | ||||||||