Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2004-08-05 09:46:48


In the constructor documentation, it seems that "Notes" is used to
document what really are preconditions, e.g.:

     "p must be a pointer to an object that was allocated via a C++
     new expression or be 0"

Normally, "notes" are considered to be non-normative in the
standard. I am trying to update a document on exception safety and
it would be a big help if all the preconditions appeared in the
"Requires" clause.

-- 
Dave Abrahams
Boost Consulting
http://www.boost-consulting.com

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk