|
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 OutputReconnectionManager
Writing end of a migratable channel. The underlying channel end can be obtained by a call to
getOutputChannel and used like any other channel. Before transfering the channel end
to another node the prepareToMove() method must be called.
| Method Summary | |
|---|---|
NetChannelOutput |
getOutputChannel()
Returns the underlying channel output end. |
void |
prepareToMove()
Prepares the channel end for transfer to another node. |
| Method Detail |
|---|
NetChannelOutput getOutputChannel()
void prepareToMove()
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||