public override void PopulateWithArgs(string[] stringArgs) { Contract.Requires(stringArgs != null); Contract.Requires(stringArgs.Length >= 1); Contract.Requires(stringArgs[0] != null); Message = string.Concat(stringArgs); }