|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.bisimulationGame.BisimulationGame
public class BisimulationGame
The main class of the application. When a game starts, check the game type:
Field Summary | |
---|---|
private AI |
ai
Thread for a computer player |
private int |
bisimulation
Player properties |
private int |
clientServerRole
Player properties |
private GameController |
gameController
|
private GameModel |
gameModel
|
private GameView |
gameView
|
private GlobalModel |
globalModel
Global model object |
private boolean |
hasRegistry
|
private MessagePasser |
messagePasser
Controllers: The game controller talks to the message passer |
private OptionsModel |
optionsModel
|
private java.rmi.registry.Registry |
reg
Remote object registry: Used in 2p remote games |
private int |
role
Player properties |
private UserProperties |
userProperties
Local model objects |
private View |
view
(Local) GUI objects |
Constructor Summary | |
---|---|
BisimulationGame()
Starts a bisimulation game, and shows the options view. |
Method Summary | |
---|---|
private StateSpace |
getStateSpace()
|
private void |
initClient()
|
private void |
initLocal()
|
private void |
initServer()
|
static void |
main(java.lang.String[] args)
Starts a bisimulation game with an options model and a view. |
private boolean |
makeLTSs()
Construct a GrappaModel for the left and right LTSs and pass this to a GameController. |
void |
quitGame()
Invoked by the game controller when the (local) player wants to quit a game. |
void |
startGame()
Invoked by the options controller. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.rmi.registry.Registry reg
private boolean hasRegistry
private UserProperties userProperties
private GameModel gameModel
private OptionsModel optionsModel
private GlobalModel globalModel
private View view
private GameView gameView
private MessagePasser messagePasser
private GameController gameController
private AI ai
private int role
private int clientServerRole
private int bisimulation
Constructor Detail |
---|
public BisimulationGame()
Method Detail |
---|
public static void main(java.lang.String[] args)
args
- Arguments are ignoredpublic void startGame()
public void quitGame()
private void initLocal() throws java.rmi.RemoteException
java.rmi.RemoteException
private void initServer() throws java.rmi.RemoteException
java.rmi.RemoteException
private void initClient() throws java.rmi.RemoteException, java.rmi.NotBoundException
java.rmi.RemoteException
java.rmi.NotBoundException
private boolean makeLTSs() throws java.rmi.RemoteException
java.rmi.RemoteException
private StateSpace getStateSpace()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |