Re: [boost] Re: Filesystem: create_directories

From: Henry Kleynhans (henry_at_[hidden])
Date: 2003-08-07 12:42:11

On Thursday 07 August 2003 16:10, rasmus ekman wrote:
> 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

personally I like:

require_directory(const path& ph)

but that has a more limited meaning.   One question though, should there be 
two different methods for creating a single directory and one with all its 
parents?  Would something like:

require_directory(const path& ph, createparents=false)

suffice?

Kind regards,

henry

-- 
Henry Kleynhans <henry_at_[hidden]>