public PopulateWithArgs ( string stringArgs ) : void | ||
stringArgs | string | |
return | void |
public override void PopulateWithArgs(string[] stringArgs)
{
Contract.Requires(stringArgs != null);
Contract.Requires(stringArgs.Length == 1);
Contract.Requires(Contract.ForAll(stringArgs, s => EventContractHelper.TryParseInt(s)));
Contract.Requires(int.Parse(stringArgs[0]) >= 0);
InventoryField = int.Parse(stringArgs[0]);
}