Boost logo

Boost :

From: Keith Burton (kb_at_[hidden])
Date: 2002-07-31 13:01:36

Operations documentation
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.

Keith Burton

-----Original Message-----
From: boost-bounces_at_[hidden]
[mailto:boost-bounces_at_[hidden]] On Behalf Of Beman Dawes
Sent: 30 July 2002 20:28
To: boost_at_[hidden]
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
Baptiste Lepilleur.

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, gregod at, cpdaniel at, john at