public override void PopulateWithArgs(string[] stringArgs) { Contract.Requires(stringArgs != null); Contract.Requires(stringArgs.Length == 1); Contract.Requires(EventContractHelper.TryParseInt(stringArgs[0])); CardId = int.Parse(stringArgs[0]); }