Randomly assigns the player roles. @requires the number of players is between 5 and 10, inclusive. @modifies this @effects all Players in playerList

Updates the game state if the game ended by policies. @modifies this @effects sets this.state to the FASCIST_VICTORY_POLICY or LIBERAL_VICTO

Creates a JSON object from a SecretHitlerGame that represents its state. @param game the SecretHitlerGame to convert. @throws NullPointerException if

* Updates which roles should be shown based on the role of the user. * @effects: if the user is {@code LIBERAL}, no roles will be shown. *

* Gets the alt text for all images. * @return {String} {@code this.getNameWithYouTag}. * If this.props.showRole, appends a formatte

* Returns a set of players that should be considered 'busy' and marked on the interface. A player is considered * busy if the game is waiting for

Returns the set of websocket connections connected to this Lobby. @return a set of WsContexts, where each context is a user connected to the

* Gets the relevant icon for the Player based on {@code this.props.role} * @return {image} the image source for either the liberal, fascist, or h

* Changes the className based on the role (so that liberals can have blue text coloring). * @return {string} " liberal-text" if the role is LIBER

Returns the number of active users connected to the Lobby. @return the number of active websocket connections currently in the lobby.

Returns a map representing what each player voted. @return a map, where the keys are the usernames and the booleans are the vote (yes/no) of

Returns whether the given player has voted yet during the currently open voting round.

Returns whether the lobby has timed out. @return true if the Lobby has timed out.

Initializes the database by adding the BACKUP table. @param c the connection to the database. @effects the Postgres SQL datbase has a new

Loads lobby data stored in the database (intended to be run on server wake). @effects {@code codeToLobby} is set to the stored database

* Called when the player is selected. Calls this.props.onSelection if the player is a valid choice. * @param name the name of the player. *

Called when a websocket is closed. @param ctx the WsContext of the websocket. @modifies this @effects Removes the user from any connected lobbies.

Parses a websocket message sent from the user. @param ctx the WsMessageContext of the websocket. @requires the context must have the following parame

Called when an object is deserialized (see Serializable in Java docs). Initializes the userToUsername and activeUsernames, as they are transient objec

Removes a user from the Lobby. @param context the websocket connection context of the player to remove. @throws IllegalArgumentException if {@code co

Resets the Draw and Discard decks. @effects empties the discard deck, fills the draw deck with a standard card count, and shuffles.

* Creates the voting animation sequence.

Starts the legislative session. Sets the available policies and the game state.

Starts a new SecretHitlerGame with the connected users as players. @throws RuntimeException if there are an insufficient number of players to

Constructs a new board. @modifies this @effects this is a new, empty board.

Constructs a new empty deck. @modifies this @effects this is a new deck with no Policies.

Constructs a new Lobby.

Constructs a new Player with the given username. @param username The username of the player. @modifies this @effects this is a new Player that is aliv

Constructs a new game of Secret Hitler with the given players. @param players the names of the players to add to the game. @requires there can be no

Determines whether a login is valid. @param ctx the context of the login request. @requires the context must have the following parameters:

* Collapses whitespace characters (' ' and '\t') to single spaces. * @param text * @return the text, but any repeating sequences of '\t' or

Generates a new lobby and returns the access code. @param ctx the HTTP get request context.