public ChatMessageEventArgs(string message) { Contract.Requires(message != null); Contract.Requires(message.Length > 0); Message = message; }