Re: [boost] RE: Re: Filesystem: create_directories

From: Thomas Witt (witt_at_[hidden])
Date: 2003-08-04 04:04:35

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

Vladimir,

Vladimir Prus wrote:

| Reid Sweatman wrote:
|
| So, to summarize, I've no problem with the current name that I've
| introduced.

:-). Seriously having two functions that differ only by number is a
no-go to me.

| Of other suggestions "create_directory_and_parents" looks best
| to me. "ensure_directory_exists" does not imply any operational semantic
| (i.e. the name does not say that the directory will be created.

That's exactly the point. The operational semantics are that the
directory is only created if it not already exists. The long name is

do_what_it_takes_but_make_sure_this_directory_exists(path p);

| One might
| expect exception to be thrown if dir does not exist).

This is a bit of a stretch AFAICS but if "ensure" is to much like
assert, I am perfectly fine with "demand".

| "demand_directory" is
| good. One problem is that "demand" still does not communicate to me that
| something will be created.

And that's good because creation does not necessarily happen. Not until
you require that create_directories creates at least one directory. I
don't see this in the documentation and I don't think this would be the
most usable semantics.

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/LiGi0ds/gS3XsBoRAvypAJ9tqAhHcHL4IjyE7pdjF1JKD8iJpACfVC2y
2mcc8YE/zl1umrg/WJjo7Es=
=O4XE
-----END PGP SIGNATURE-----