dk.brics.bisim.model
Interface GlobalModel

All Superinterfaces:
java.rmi.Remote
All Known Implementing Classes:
GlobalModelImpl

public interface GlobalModel
extends java.rmi.Remote

The remote interface of a global model. Defines methods that can be invoked remotely using RMI. These methods are those invoked by any GameController instance.

Author:
Martin Mosegaard martinm@daimi.au.dk

Method Summary
 int getBisimulation()
           
 java.lang.String getLeftFile()
           
 java.lang.String getLeftGraphAsDot()
           
 java.lang.String getRightFile()
           
 java.lang.String getRightGraphAsDot()
           
 int getRole()
           
 

Method Detail

getLeftFile

java.lang.String getLeftFile()
                             throws java.rmi.RemoteException
Returns:
The left file name
Throws:
java.rmi.RemoteException

getRightFile

java.lang.String getRightFile()
                              throws java.rmi.RemoteException
Returns:
The right file name
Throws:
java.rmi.RemoteException

getRole

int getRole()
            throws java.rmi.RemoteException
Returns:
The role of the player who created the global model object (attacker/defender)
Throws:
java.rmi.RemoteException

getLeftGraphAsDot

java.lang.String getLeftGraphAsDot()
                                   throws java.rmi.RemoteException
Returns:
The left Grappa graph as a dot representation
Throws:
java.rmi.RemoteException

getRightGraphAsDot

java.lang.String getRightGraphAsDot()
                                    throws java.rmi.RemoteException
Returns:
The right Grappa graph as a dot representation
Throws:
java.rmi.RemoteException

getBisimulation

int getBisimulation()
                    throws java.rmi.RemoteException
Returns:
The bisimulation type (strong/weak)
Throws:
java.rmi.RemoteException