Boost logo

Boost :

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]>

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk