Boost logo

Boost :

From: williamkempf_at_[hidden]
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.

Bill Kempf

Boost list run by bdawes at, gregod at, cpdaniel at, john at