public PlayerJoinedEventArgs ( int playerId, string playerNick ) : System.Diagnostics.Contracts | ||
playerId | int | |
playerNick | string | |
return | System.Diagnostics.Contracts |
public PlayerJoinedEventArgs(int playerId, string playerNick)
{
Contract.Requires(playerId > 0);
Contract.Requires(playerNick != null);
PlayerId = playerId;
PlayerNick = playerNick;
}
PlayerJoinedEventArgs::PlayerJoinedEventArgs ( string stringArgs ) : System.Diagnostics.Contracts |