Re: [boost] Filesystem: create_directories

From: Thomas Witt (witt_at_[hidden])
Date: 2003-08-02 08:51:43

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

David Abrahams wrote:

| The documentation for create_directories makes no sense.  It says
| only:
|
|     void create_directories( const path & ph );
|
|     Precondition: ph.empty() ||
|     forall p: p == ph || is_parent(p, ph): is_directory(p) || !exists(
p )
|
|     Postcondition: exists(ph) && is_directory(ph)
|
| It looks as though this is the same as create_directory, but has a
| weird precondition.  I swear I was *completely* baffled by its
| purpose until I looked at the header file.

This seems to have slipped by me. I really feal uncomfortable with
having two different functions named

create_directory
and
create_directories

Thomas

- --
Dipl.-Ing. Thomas Witt
Institut fuer Verkehrswesen, Eisenbahnbau und -betrieb, Universitaet
Hannover
voice: [phone] - 4273, fax: [phone]
http://www.ive.uni-hannover.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (MingW32)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQE/K8Hu0ds/gS3XsBoRAuYTAJ9HRfJPfW2k/Od4TZIX94bYiLA2kQCdH+OK
NmJUgQDA6XGun2t3drJSX8s=
=HHVF
-----END PGP SIGNATURE-----