Classes |
| class | Connection |
| | Manages client-side connections to an MPS server. More...
|
| class | InputStream |
| | Structures the bitstream coming from an MPS server into usable MPS primitive types (mapped onto Java types, of course). More...
|
| class | MPSConnectionClosedException |
| | Thrown when the connection to the server or client closes unexpectedly. More...
|
| class | MPSException |
| | Thrown when a general MPS error condition arises that is not indicated back to the client via normal call-return semantics. More...
|
| class | NamingServiceImpl |
| | Implementation class for the MPS Server Interface defined in ../namingservice.mps. More...
|
| class | OutputStream |
| | Flattens the bitstream going to an MPS server from MPS primitive types. More...
|
| class | Proxy |
| | This is the base class of all client-side MPS object handles. More...
|
| class | Server::Runnable |
| | This class implements the body of the thread that is run for each client that connects to an MPS interface server. More...
|
| class | Server |
| | Implements all the code needed to get an implementation of an MPS interface running as an MPS server. More...
|
| class | Thunk |
| | This class is used to glue together interface implementation-methods and the Server dispatch code. More...
|
| class | UserException |
| | Superclass of all exceptions throwable by MPS interface implementations. More...
|
