public void DeleteDirectory(string name) { Contract.Requires(!String.IsNullOrWhiteSpace(name)); Contract.Requires(ChildDirectories.Contains(name)); }