Rainbow
Interface AuthorizedSession

All Superinterfaces:

Remote, Session

All Known Implementing Classes:

AuthorizedSessionHandler

public interface AuthorizedSession

extends Session

A session (over RMI) with a Rainbow server which can carry out "dangerous" operations. Must be called in a single-threaded fashion.

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 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 RemoteException,
                 IOException,
                 RainbowException

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

dump

public void dump()
          throws RemoteException,
                 RainbowException

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