public DateHeader(string name) { if (string.IsNullOrEmpty(name)) throw new ArgumentException("Name must not be empty.", "name"); Name = name; }