public override void PopulateWithArgs(string[] stringArgs)
{
Contract.Requires(stringArgs != null);
Contract.Requires(stringArgs.Length > 0);
Contract.Requires(Contract.ForAll(stringArgs, s => EventContractHelper.TryParseInt(s)));
DiceIds = new int[stringArgs.Length];
for (int i = 0; i < stringArgs.Length; i++)
{
DiceIds[i] = int.Parse(stringArgs[i]);
}
}