Re: any_function (callback) library

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 
the 
> 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