From: Peter Dimov (pdimov_at_[hidden])
Date: 2003-08-27 11:39:37
Beman Dawes wrote:
> The Filesystem Library has been updated in CVS with a much more
> usable name checking mechanism. It allows complete user control
> including both library supplied and user supplied name checkers. The
> default name check can be specified, and it can be overridden on a
> per constructor basis.
The documentation doesn't make it clear what is the default name check
function if it's not explicitly overriden. Also, the
default_name_check(new_check) && !default_name_check_writable()
postcondition seems wrong. It should probably read
default_name_check() == new_check && !default_name_check_writable()