|
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 InputReconnectionManager
Receiving end of a migratable channel. The underlying channel can be obtained by the
getInputChannel
method and used like any other channel. Before migrating the channel,
the prepareToMove
method must be called.
Method Summary | |
---|---|
NetChannelLocation |
getCurrentLocation()
Returns the current location of the channel. |
NetAltingChannelInput |
getInputChannel()
Returns the underlying input channel. |
void |
prepareToMove()
Prepares the channel for a transfer between nodes. |
Method Detail |
---|
NetAltingChannelInput getInputChannel()
NetChannelLocation getCurrentLocation()
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 |