Rainbow
Class AuthorizedSessionHandler

java.lang.Object
  |
  +--java.rmi.server.RemoteObject
        |
        +--java.rmi.server.RemoteServer
              |
              +--java.rmi.server.UnicastRemoteObject
                    |
                    +--Rainbow.SessionHandler
                          |
                          +--Rainbow.AuthorizedSessionHandler

All Implemented Interfaces:

AuthorizedSession, Remote, Serializable, Session

public class AuthorizedSessionHandler

extends SessionHandler

implements AuthorizedSession

Implementation of an authorized Rainbow server session.

See Also:

Serialized Form

Fields inherited from class java.rmi.server.RemoteObject

ref

Method Summary

void	dump() Write a human-readable version of the RASM for the most recently compiled/assembled module to System.out.
void	load(String filename) Assemble the RASM source in the given file on the server into a module and add it to the list of things to execute.

Methods inherited from class Rainbow.SessionHandler

addCodeBlock, addCodeThreads, assemble, clear, compile, compileAbstract, deadlock, deadlockAbstract, initialise, link, modelcheck, modelcheckAbstract, read, reducePriority, reset, resolveType, restorePriority, setExecHandler, setupExecCallback, step, stepAbstract, toString

Methods inherited from class java.rmi.server.UnicastRemoteObject

clone, exportObject, exportObject, exportObject, unexportObject

Methods inherited from class java.rmi.server.RemoteServer

getClientHost, getLog, setLog

Methods inherited from class java.rmi.server.RemoteObject

equals, getRef, hashCode, toStub

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Rainbow.Session

assemble, clear, compile, compileAbstract, deadlock, deadlockAbstract, initialise, link, modelcheck, modelcheckAbstract, read, resolveType, setExecHandler, step, stepAbstract

Method Detail

load

public void load(String filename)
          throws IOException,
                 RainbowException

Description copied from interface: AuthorizedSession

Assemble the RASM source in the given file on the server into a module and add it to the list of things to execute.

Specified by:

load in interface AuthorizedSession

dump

public void dump()
          throws RainbowException

Description copied from interface: AuthorizedSession

Write a human-readable version of the RASM for the most recently compiled/assembled module to System.out.

Specified by:

dump in interface AuthorizedSession