From: rasmus ekman (m11048_at_[hidden])
Date: 2003-08-07 09:10:33
David Abrahams wrote:
>
> 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)
void establish_directory( const path & ph );
has the right mix of senses.
see
http://dictionary.reference.com/search?q=establish
re
(5th attempt to post this useless suggestion,
guess the issue has decomposed by now...
i gotta read a book about this internet thing someday)