public IFileSystemDirectory GetDirectory(string path) { Contract.Ensures(Contract.Result<IFileSystemDirectory>() != null); return null; // dummy }