David Abrahams wrote: > The documentation for create_directories makes no sense. It says > only: > > 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) > > It looks as though this is the same as create_directory, but has a > weird precondition.
Sure. It has the (almost) the same postcondition, but has waeker precondition: the parent directories are not required to exist. > I swear I was *completely* baffled by its > purpose until I looked at the header file. I'd say that pre/post conditions are just correct. Maybe more docs can be added. > The comment in the header file describes it pretty well, though. Ehm... only postcondition there is not correct: is_empty(ph) is not guaranteed. - Volodya _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
