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

Class	Class, %	Method, %	Line, %
GameOverEvent	0% (0/1)	0% (0/1)	0% (0/1)

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.List;
7 
8 /**
9  * This Event is generated when a lobby's game is detected to have ended. It is always spawned AFTER a {@link ModelUpdateEvent}
10  * in the {@link ModelWrapper#editModel} method
11  */
12 public record GameOverEvent(List<String> winners) implements ClientEvent {
13 }