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

1 package it.polimi.ingsw.Server.Messages.Events.Internal;
2 
3 import it.polimi.ingsw.Model.ModelWrapper;
4 import it.polimi.ingsw.Server.Messages.Events.ClientEvent;
5 
6 import java.util.Map;
7 
8 /**
9  * This Event is generated when a lobby's game is started. It is always spawned BEFORE a {@link ModelUpdateEvent}
10  * in the {@link ModelWrapper#editModel} method
11  */
12 public record GameStartEvent(Map<String, Integer> nickToID) implements ClientEvent {
13     /**
14      * Creates the event
15      *
16      * @param nickToID a mapping from the nickname of a player to its {@link it.polimi.ingsw.Model.PlayerBoard}'s ID in the
17      *                 {@link it.polimi.ingsw.Model.Model}
18      */
19     public GameStartEvent(Map<String, Integer> nickToID) {
20         this.nickToID = Map.copyOf(nickToID);
21     }
22 }