|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.bisimulationGame.model.OptionsModel
public class OptionsModel
Data model for the game options. Used to hold the game options chosen by the user.
These are:
Field Summary | |
---|---|
static int |
ATTACKER
|
static int |
BISIMULATION_STRONG
|
static int |
BISIMULATION_WEAK
|
private int |
bisimulationType
|
static int |
BOTH
|
private static java.lang.String |
CHOOSE_BISIMULATION
|
private static java.lang.String |
CHOOSE_CLIENT_SERVER
|
private static java.lang.String |
CHOOSE_HOST
|
private static java.lang.String |
CHOOSE_LEFT_LTS
|
private static java.lang.String |
CHOOSE_PLAYERS
|
private static java.lang.String |
CHOOSE_RIGHT_LTS
|
private static java.lang.String |
CHOOSE_ROLE
|
static int |
CLIENT
|
private int |
clientServer
|
static int |
DEFENDER
|
private java.lang.String |
host
|
private java.lang.String |
leftLTSFile
|
private java.lang.String |
leftLTSPath
|
static int |
LOCAL
|
static int |
ONE_PLAYER
|
private int |
players
|
private java.lang.String |
rightLTSFile
|
private java.lang.String |
rightLTSPath
|
private int |
role
|
static int |
SERVER
|
static int |
TWO_PLAYER_LOCAL
|
static int |
TWO_PLAYER_REMOTE
|
Constructor Summary | |
---|---|
OptionsModel()
Creates an options model. |
Method Summary | |
---|---|
void |
checkRole()
This is a hack to ensure that a two player local game gets role=both. |
int |
getBisimulationType()
|
int |
getClientServer()
|
java.lang.String |
getHost()
|
java.lang.String |
getLeftLTSFile()
|
java.lang.String |
getLeftLTSPath()
|
int |
getPlayers()
|
java.lang.String |
getRightLTSFile()
|
java.lang.String |
getRightLTSPath()
|
int |
getRole()
|
java.lang.String |
hasProperties()
Checks if the user has chosen game properties. |
void |
setBisimulationType(int bisimulationType)
Set the bisimulation type. |
void |
setClientServer(int clientServer)
Set the client/server type. |
void |
setHost(java.lang.String host)
Set the host. |
void |
setLeftLTSFile(java.lang.String leftLTSFile)
Set the left LTS file |
void |
setLeftLTSPath(java.lang.String leftLTSPath)
Set the path of the left LTS. |
void |
setPlayers(int players)
Set the number of players. |
void |
setRightLTSFile(java.lang.String rightLTSFile)
Set the right LTS file. |
void |
setRightLTSPath(java.lang.String rightLTSPath)
Set the path of the right LTS. |
void |
setRole(int role)
Set the role. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static final java.lang.String CHOOSE_PLAYERS
private static final java.lang.String CHOOSE_ROLE
private static final java.lang.String CHOOSE_HOST
private static final java.lang.String CHOOSE_CLIENT_SERVER
private static final java.lang.String CHOOSE_LEFT_LTS
private static final java.lang.String CHOOSE_RIGHT_LTS
private static final java.lang.String CHOOSE_BISIMULATION
public static final int ONE_PLAYER
public static final int TWO_PLAYER_LOCAL
public static final int TWO_PLAYER_REMOTE
public static final int ATTACKER
public static final int DEFENDER
public static final int BOTH
public static final int CLIENT
public static final int SERVER
public static final int LOCAL
public static final int BISIMULATION_STRONG
public static final int BISIMULATION_WEAK
private int players
private int role
private int clientServer
private int bisimulationType
private java.lang.String leftLTSPath
private java.lang.String rightLTSPath
private java.lang.String leftLTSFile
private java.lang.String rightLTSFile
private java.lang.String host
Constructor Detail |
---|
public OptionsModel()
Method Detail |
---|
public java.lang.String hasProperties()
public int getBisimulationType()
public void setBisimulationType(int bisimulationType)
bisimulationType
- Strong or weak as defined in constant field
valuespublic java.lang.String getLeftLTSFile()
public void setLeftLTSFile(java.lang.String leftLTSFile)
leftLTSFile
- A file namepublic java.lang.String getLeftLTSPath()
public void setLeftLTSPath(java.lang.String leftLTSPath)
leftLTSPath
- A path namepublic java.lang.String getRightLTSFile()
public void setRightLTSFile(java.lang.String rightLTSFile)
rightLTSFile
- A file namepublic java.lang.String getRightLTSPath()
public void setRightLTSPath(java.lang.String rightLTSPath)
rightLTSPath
- A path namepublic int getClientServer()
public void setClientServer(int clientServer)
clientServer
- A constant field valuepublic int getPlayers()
public void setPlayers(int players)
players
- A constant field valuepublic int getRole()
public void setRole(int role)
role
- A constant field valuepublic java.lang.String getHost()
public void setHost(java.lang.String host)
host
- A host name (IP address)public void checkRole()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |