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 <[EMAIL PROTECTED]> _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
