From: Peter Dimov (pdimov_at_[hidden])
Date: 2001-03-19 13:55:50
> > Yes it does, but I'm not sure I like them. I generally follow
> > the rule "assert the invariant".
> Others have said "assert the precondition".
The important thing is not whether an invariant or a precondition does not
hold, but rather do you know who is to blame?
If you know that the caller did something wrong, say "documented undefined
behavior" and do whatever you like.
If you can't determine who is responsible for the error, this falls into the
"internal error - we don't know what happened, please save, exit and
-- Peter Dimov Multi Media Ltd.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk