From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-13 15:52:05
>This debate has already sparked me into developing such a library.
>I'm modelling the on/off functionality closer to the Eiffel approach
>where each assertion type (pre/post condition, invariant and check)
>belongs to a level and the programmer sets the level of assertion
>support at compile time. There are a *LOT* of issues that need to be
>addressed (ODR, static initialization errors, etc.) but I'll post a
>beginning either today or Monday that may be a good starting place
>for discussion.
I'd like to see it. :-) If you're going to try and support invariants
I'd recommend not worrying about weakening preconditions and
strengthening postconditions in subclasses. However it is very useful
if the invariant is only checked when a public method is first
entered.
-- Jesse