Date: 2001-04-13 09:06:20
--- In boost_at_y..., Beman Dawes <bdawes_at_a...> wrote:
> I was trying to reduce several paragraphs in several postings to an
> understandable policy. Let's try again:
> * Invariants and postconditions should be asserted.
> * Preconditions should be asserted. If it's not possible to assert
> condition inside the called function, it isn't possible to check it
> outside, and thus it shouldn't be a precondition.
If you can't (or it's prohibitively expensive to) assert it outside
the function it shouldn't be a precondition.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk