public interface OutputReconnectionManager
extends java.io.Serializable
getOutputChannel
and used like any other channel. Before transfering the channel end
to another node the prepareToMove()
method must be called.Modifier and Type | Method and Description |
---|---|
NetChannelOutput |
getOutputChannel()
Returns the underlying channel output end.
|
void |
prepareToMove()
Prepares the channel end for transfer to another node.
|
NetChannelOutput getOutputChannel()
void prepareToMove()
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.