public PlayersInGameEventArgs(PlayerInGame[] playersIngame) { Contract.Requires(playersIngame != null); Contract.Requires(playersIngame.Length > 0); NumberOfPlayers = playersIngame.Length; Players = playersIngame; }