uk.ac.man.cs.rainbow.wvmc
Class RMIServer

java.lang.Object
  |
  +--java.rmi.server.RemoteObject
        |
        +--java.rmi.server.RemoteServer
              |
              +--java.rmi.server.UnicastRemoteObject
                    |
                    +--uk.ac.man.cs.rainbow.wvmc.RMIServer

All Implemented Interfaces:

Remote, RemoteModelChecker, Serializable

public class RMIServer

extends UnicastRemoteObject

implements RemoteModelChecker

A simple server object that exports the model checker via Java RMI.

See Also:

Serialized Form

Fields inherited from class java.rmi.server.RemoteObject

ref

Fields inherited from interface uk.ac.man.cs.rainbow.wvmc.RemoteModelChecker

CTL_STAR_NNF, LTL

Method Summary

boolean	checkModel(String formula, int language, StateEngine.Engine stateEngine) Check the given temporal model against the given state space.
static void	install(String name) Bind an instance of this class to the given name.

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, toString, toStub

Methods inherited from class java.lang.Object

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

Method Detail

checkModel

public boolean checkModel(String formula,
                          int language,
                          StateEngine.Engine stateEngine)
                   throws RemoteException,
                          WVMCException,
                          RainbowException,
                          ParseException

Check the given temporal model against the given state space.

Specified by:

checkModel in interface RemoteModelChecker

See Also:

Checker

install

public static void install(String name)
                    throws RemoteException,
                           MalformedURLException

Bind an instance of this class to the given name.