Coverage Summary for Class: ClientDisconnectEvent (it.polimi.ingsw.Server.Messages.Events.Internal)

1 package it.polimi.ingsw.Server.Messages.Events.Internal;
2 
3 
4 import java.util.List;
5 
6 /**
7  * This Event is generated when a lobby's client disconnects and is sent to the lobby's clients.
8  * When handled by the {@link it.polimi.ingsw.Server.LobbyServer}, becomes {@link it.polimi.ingsw.Server.Messages.ServerResponses.ClientConnected}
9  */
10 public class ClientDisconnectEvent extends ConnectEvent {
11 
12     /**
13      * Create the event
14      *
15      * @param lastDisconnectedNickname the nickname of the player that just disconnected
16      * @param players                  the list of all connected players
17      */
18     public ClientDisconnectEvent(String lastDisconnectedNickname, List<String> players) {
19         super(lastDisconnectedNickname, players);
20     }
21 }