|
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