[boost] Re: Filesystem: create_directories

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)