| public TradeHeroCardEventArgs ( string stringArgs ) : System.Diagnostics.Contracts | ||
| stringArgs | string | |
| return | System.Diagnostics.Contracts | |
public TradeHeroCardEventArgs(string[] stringArgs)
{
Contract.Requires(stringArgs != null);
Contract.Requires(stringArgs.Length == 1);
Contract.Requires(EventContractHelper.TryParseInt(stringArgs[0]));
PopulateWithArgs(stringArgs);
}
| TradeHeroCardEventArgs::TradeHeroCardEventArgs ( int cardId ) : System.Diagnostics.Contracts |