public override void PopulateWithArgs(string[] stringArgs)
{
Contract.Requires(stringArgs != null);
Contract.Requires(stringArgs.Length == 3);
Contract.Requires(Contract.ForAll(stringArgs, s => EventContractHelper.TryParseInt(s) && int.Parse(s) >= 0));
X = int.Parse(stringArgs[0]);
Y = int.Parse(stringArgs[1]);
MonsterId = int.Parse(stringArgs[2]);
}