dk.brics.bisimulationGame.model
Class GameModel

java.lang.Object
  extended by dk.brics.bisimulationGame.model.GameModel

public class GameModel
extends java.lang.Object

A local game model holding two GrappaModels.

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
static java.lang.String ATTACKER
           
private  java.lang.String attackerAction
           
private  int attackerSide
           
static java.lang.String BOTH
           
static java.lang.String DEFENDER
           
private  boolean gameOver
           
static int LEFT_SIDE
           
private  GrappaModel leftGrappaModel
           
static java.lang.String MESSAGE_ATTACKER_1
           
static java.lang.String MESSAGE_ATTACKER_2
           
static java.lang.String MESSAGE_ATTACKER_WINS
           
static java.lang.String MESSAGE_DEFENDER
           
static java.lang.String MESSAGE_DEFENDER_WINS
           
static java.lang.String MESSAGE_YOU_LOSE
           
static java.lang.String MESSAGE_YOU_WIN
           
static int NOBODYS_TURN
           
static int RIGHT_SIDE
           
private  GrappaModel rightGrappaModel
           
private  int turn
           
static int TURN_ATTACKER_1
           
static int TURN_ATTACKER_2
           
static int TURN_DEFENDER
           
static java.lang.String YOUR_TURN
           
 
Constructor Summary
GameModel(java.lang.String leftInitialNodeName, java.lang.String rightInitialNodeName)
           
 
Method Summary
 java.lang.String getAttackerAction()
           
 int getAttackerSide()
           
 GrappaModel getLeftGrappaModel()
           
 GrappaModel getRightGrappaModel()
           
 int getTurn()
           
 boolean isGameOver()
           
 void reset()
          Reset grappa models.
 void setAttackerAction(java.lang.String attackerAction)
          Sets the attackers action
 void setAttackerSide(int attackerSide)
          Sets the attacker side.
 void setGameOver()
          Calculates if game is over.
 void setTurn(int turn)
          Sets the turn (attacker/defender)
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ATTACKER

public static final java.lang.String ATTACKER
See Also:
Constant Field Values

DEFENDER

public static final java.lang.String DEFENDER
See Also:
Constant Field Values

BOTH

public static final java.lang.String BOTH
See Also:
Constant Field Values

YOUR_TURN

public static final java.lang.String YOUR_TURN
See Also:
Constant Field Values

NOBODYS_TURN

public static final int NOBODYS_TURN
See Also:
Constant Field Values

TURN_ATTACKER_1

public static final int TURN_ATTACKER_1
See Also:
Constant Field Values

TURN_ATTACKER_2

public static final int TURN_ATTACKER_2
See Also:
Constant Field Values

TURN_DEFENDER

public static final int TURN_DEFENDER
See Also:
Constant Field Values

LEFT_SIDE

public static final int LEFT_SIDE
See Also:
Constant Field Values

RIGHT_SIDE

public static final int RIGHT_SIDE
See Also:
Constant Field Values

MESSAGE_ATTACKER_1

public static final java.lang.String MESSAGE_ATTACKER_1
See Also:
Constant Field Values

MESSAGE_ATTACKER_2

public static final java.lang.String MESSAGE_ATTACKER_2
See Also:
Constant Field Values

MESSAGE_DEFENDER

public static final java.lang.String MESSAGE_DEFENDER
See Also:
Constant Field Values

MESSAGE_ATTACKER_WINS

public static final java.lang.String MESSAGE_ATTACKER_WINS
See Also:
Constant Field Values

MESSAGE_DEFENDER_WINS

public static final java.lang.String MESSAGE_DEFENDER_WINS
See Also:
Constant Field Values

MESSAGE_YOU_WIN

public static final java.lang.String MESSAGE_YOU_WIN
See Also:
Constant Field Values

MESSAGE_YOU_LOSE

public static final java.lang.String MESSAGE_YOU_LOSE
See Also:
Constant Field Values

turn

private int turn

attackerSide

private int attackerSide

attackerAction

private java.lang.String attackerAction

leftGrappaModel

private GrappaModel leftGrappaModel

rightGrappaModel

private GrappaModel rightGrappaModel

gameOver

private boolean gameOver
Constructor Detail

GameModel

public GameModel(java.lang.String leftInitialNodeName,
                 java.lang.String rightInitialNodeName)
Method Detail

getAttackerAction

public java.lang.String getAttackerAction()
Returns:
The attackers last chosen action

setAttackerAction

public void setAttackerAction(java.lang.String attackerAction)
Sets the attackers action

Parameters:
attackerAction - An action

getTurn

public int getTurn()
Returns:
The turn (attacker/defender)

setTurn

public void setTurn(int turn)
Sets the turn (attacker/defender)

Parameters:
turn - A turn

getAttackerSide

public int getAttackerSide()
Returns:
The current attacker side

setAttackerSide

public void setAttackerSide(int attackerSide)
Sets the attacker side.

Parameters:
attackerSide - A side

getLeftGrappaModel

public GrappaModel getLeftGrappaModel()
Returns:
The grappa model of the left LTS

getRightGrappaModel

public GrappaModel getRightGrappaModel()
Returns:
The grappa model of the right LTS

reset

public void reset()
Reset grappa models.


isGameOver

public boolean isGameOver()
Returns:
Game over status

setGameOver

public void setGameOver()
Calculates if game is over.