|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
dk.brics.* |
---|
dk.brics.bisim.JarResources | ||
---|---|---|
public static final java.lang.String |
ABOUT_URL |
"about.html" |
public static final java.lang.String |
GAME_FILE |
"dk/brics/bisim/view/game.gif" |
public static final java.lang.String |
HELP_URL |
"help.html" |
public static final java.lang.String |
IT_VEST_FILE |
"dk/brics/bisim/view/it-vest.gif" |
public static final java.lang.String |
JAR_FILE |
"bisim.jar" |
public static final java.lang.String |
LOSER_FILE |
"dk/brics/bisim/view/loser.gif" |
protected static final java.lang.String |
POLICY_FILE |
"dk/brics/bisim/bisim.policy" |
public static final java.lang.String |
SPLASH_FILE |
"dk/brics/bisim/view/amazing.gif" |
public static final java.lang.String |
WINNER_FILE |
"dk/brics/bisim/view/winner.gif" |
dk.brics.bisim.controller.AI | ||
---|---|---|
public static final int |
AI_SLEEP |
2000 |
dk.brics.bisim.controller.GameControllerImpl | ||
---|---|---|
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.controller.MessagePasserImpl | ||
---|---|---|
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.model.GameModel | ||
---|---|---|
public static final int |
FINITE_GAME |
-1 |
public static final int |
LEFT_SIDE |
5 |
public static final int |
NOBODYS_TURN |
1 |
public static final int |
RIGHT_SIDE |
6 |
public static final int |
TURN_ATTACKER_1 |
2 |
public static final int |
TURN_ATTACKER_2 |
3 |
public static final int |
TURN_DEFENDER |
4 |
dk.brics.bisim.model.GlobalModelImpl | ||
---|---|---|
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.model.OptionsModel | ||
---|---|---|
public static final int |
ATTACKER |
4 |
public static final int |
BISIMULATION_STRONG |
10 |
public static final int |
BISIMULATION_WEAK |
11 |
public static final int |
BOTH |
6 |
private static final java.lang.String |
CHOOSE_BISIMULATION |
"Please choose bisimulation type" |
private static final java.lang.String |
CHOOSE_CLIENT_SERVER |
"Please choose server or client" |
private static final java.lang.String |
CHOOSE_HOST |
"Please choose a host" |
private static final java.lang.String |
CHOOSE_LEFT_LTS |
"Please choose left LTS" |
private static final java.lang.String |
CHOOSE_PLAYERS |
"Please choose number of players" |
private static final java.lang.String |
CHOOSE_RIGHT_LTS |
"Please choose right LTS" |
private static final java.lang.String |
CHOOSE_ROLE |
"Please choose a role" |
public static final int |
CLIENT |
7 |
public static final int |
DEFENDER |
5 |
public static final int |
LOCAL |
9 |
public static final int |
ONE_PLAYER |
1 |
public static final int |
SERVER |
8 |
public static final int |
TWO_PLAYER_LOCAL |
2 |
public static final int |
TWO_PLAYER_REMOTE |
3 |
dk.brics.bisim.model.Protocol | ||
---|---|---|
public static final java.lang.String |
DELIM |
"$" |
public static final java.lang.String |
EX_MESSAGE_UNBOUND |
"unbound" |
public static final java.lang.String |
GLOBAL_MODEL_NAME |
"GlobalModel" |
public static final int |
MESSAGE_ATTACKER_CHOSE_SIDE |
1 |
public static final int |
MESSAGE_ATTACKER_STEP |
2 |
public static final int |
MESSAGE_DEFENDER_STEP |
3 |
public static final java.lang.String |
MESSAGE_PASSER_NAME |
"MessagePasser" |
public static final int |
MESSAGE_RESET_GAME |
4 |
public static final int |
PORT |
1299 |
dk.brics.bisim.model.SimulatorModel | ||
---|---|---|
private static final java.lang.String |
EMP_COLOR |
"deepskyblue" |
dk.brics.bisim.view.AboutView | ||
---|---|---|
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.view.GameView | ||
---|---|---|
public static final int |
GAME_VIEW_CLIENT |
3 |
public static final int |
GAME_VIEW_LOCAL |
1 |
public static final int |
GAME_VIEW_SERVER |
2 |
private static final long |
serialVersionUID |
1L |
public static final java.lang.String |
STYLE_ACTION |
"actionStyle" |
public static final java.lang.String |
STYLE_COMMAND |
"commandStyle" |
public static final java.lang.String |
STYLE_GAMEOVER |
"gameoverStyle" |
public static final java.lang.String |
STYLE_STATE |
"stateStyle" |
public static final java.lang.String |
STYLE_STATUS |
"statusStyle" |
dk.brics.bisim.view.GameViewUpperPanel | ||
---|---|---|
private static final java.lang.String |
chatString |
"Chat: " |
private static final int |
chatTextFieldSize |
50 |
private static final java.lang.String |
quitString |
"Quit game" |
private static final java.lang.String |
resetGameString |
"Reset game" |
private static final java.lang.String |
sendString |
"Send" |
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.view.GraphFileFilter | ||
---|---|---|
private static final java.lang.String |
GRAPH |
"graph" |
dk.brics.bisim.view.HelpView | ||
---|---|---|
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.view.LTSPanel | ||
---|---|---|
private static final long |
serialVersionUID |
1L |
dk.brics.bisim.view.MainView | ||
---|---|---|
private static final java.lang.String |
aboutViewString |
"About" |
private static final java.lang.String |
gameViewString |
"Game" |
private static final java.lang.String |
helpViewString |
"Help" |
private static final java.lang.String |
optionsViewString |
"Options" |
private static final long |
serialVersionUID |
1L |
private static final java.lang.String |
simulatorViewString |
"CCS Simulator" |
private static final java.lang.String |
TITLE |
"The Bisimulation Game Game" |
dk.brics.bisim.view.Message | ||
---|---|---|
public static final java.lang.String |
ACTION_BOTH |
" Attacker, choose an action.. " |
public static final java.lang.String |
ACTION_OTHER |
" Attacker chooses action.. " |
public static final java.lang.String |
ACTION_YOU |
" Choose an action.. " |
public static final java.lang.String |
ALREADY_SEEN |
"Configuration already seen in round " |
public static final java.lang.String |
ATTACKER_WINS |
"Attacker wins" |
public static final java.lang.String |
CLIENT_LEFT |
"The client left. Waiting for another to connect." |
public static final java.lang.String |
CONFIGURATION |
"Current configuration: " |
public static final java.lang.String |
COUNTERMOVE_BOTH |
" Defender, choose a countermove" |
public static final java.lang.String |
COUNTERMOVE_OTHER |
" Defender chooses a countermove" |
public static final java.lang.String |
COUNTERMOVE_YOU |
" Choose a countermove" |
public static final java.lang.String |
DEFENDER_WINS |
"Defender wins" |
static final java.lang.String |
INDENTATION |
" " |
public static final java.lang.String |
LEFT_SIDE |
"left side" |
public static final java.lang.String |
RIGHT_SIDE |
"right side" |
public static final java.lang.String |
ROUND |
"Round " |
public static final java.lang.String |
SERVER_LEFT |
"The server left." |
public static final java.lang.String |
SIDE_BOTH |
" Attacker, choose a side.. " |
public static final java.lang.String |
SIDE_OTHER |
" Attacker chooses side.. " |
public static final java.lang.String |
SIDE_YOU |
" Choose a side.. " |
public static final java.lang.String |
WAITING |
"Waiting for a second player to connect" |
public static final java.lang.String |
YOU_LOSE |
"You lose " |
public static final java.lang.String |
YOU_WIN |
"You win " |
dk.brics.bisim.view.OptionsView | ||
---|---|---|
private static final java.lang.String |
applyString |
"Apply" |
private static final java.lang.String |
attackerString |
"Attacker" |
public static final java.lang.String |
bisimulationString |
"Bisimulation" |
private static final java.lang.String |
browseString |
"Browse..." |
private static final java.lang.String |
clientServerString |
"Start a" |
private static final java.lang.String |
clientString |
"Client" |
private static final java.lang.String |
defenderString |
"Defender" |
private static final java.lang.String |
exitString |
"Exit" |
private static final java.lang.String |
gameTypeString |
"Game type" |
private static final java.lang.String |
hostString |
"Host: " |
private static final int |
hostTextFieldSize |
20 |
private static final java.lang.String |
leftLTSString |
"Left LTS:" |
public static final java.lang.String |
ltsString |
"LTS" |
private static final int |
ltsTextFieldSize |
35 |
private static final java.lang.String |
onePlayerString |
"One player" |
private static final java.lang.String |
playersString |
"Players" |
private static final java.lang.String |
rightLTSString |
"Right LTS:" |
private static final java.lang.String |
roleString |
"Player role" |
private static final long |
serialVersionUID |
1L |
private static final java.lang.String |
serverSettingsString |
"Server settings" |
private static final java.lang.String |
serverString |
"Server" |
private static final java.lang.String |
startString |
"Start game" |
private static final java.lang.String |
strongString |
"Strong" |
private static final java.lang.String |
twoPlayerLocalString |
"Two player local" |
private static final java.lang.String |
twoPlayerRemoteString |
"Two player remote" |
private static final java.lang.String |
weakString |
"Weak" |
dk.brics.bisim.view.SimulatorView | ||
---|---|---|
private static final int |
NO_OF_ACTIONS |
10 |
private static final long |
serialVersionUID |
1L |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |