Constant Field Values


Contents
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