From: Keith Burton (kb_at_[hidden])
Date: 2002-07-31 13:01:36
void remove( const path & ph );
Postcondition: !exists( ph )
Throws: if !exists(ph) || !is_empty(ph)
the throw specification needs amplification and correction :
Throws : pre-condition : if ( ! exists( ph ) || ( is_directory( ph ) &&
! is_empty( ph ) ) )
: post-condition : if ( exists( ph ) )
Incidentally , I do not believe that remove should throw if ! exists( ph
My rationale being the ones who care can use exists( ph ) before and
those who do not get least surprise.
[mailto:boost-bounces_at_[hidden]] On Behalf Of Beman Dawes
Sent: 30 July 2002 20:28
Subject: [boost] Review Request: Filesystem Library
Please add the Filesystem Library to the queue for a Formal Review.
The library can be downloaded from
It is also available in the Boost sandbox CVS on SourceForge. See
This release includes several improvements suggested by Thomas Witt and
The current implementation has been tested under Windows 2000, and
the regression tests for Borland, GCC 3.1, Intel 6.0, Metrowerks 8.1,
Microsoft VC++ 7.0. Most of the library can be used with VC++ 6.0, but
fstream.hpp header won't work due to a VC++ library bug. An earlier
version passed the tests on Linux/GCC.
The current implementation is supposed to work on any POSIX system, but
that support hasn't been fully tested. Reports of tests on POSIX
would be appreciated.
Unsubscribe & other changes:
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk