-----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: +49(0) 511 762 - 4273, fax: +49(0) 511 762-3001 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-----
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
