[boost] Re: assert() replacement?

From: scleary_at_[hidden]
Date: 1999-09-01 16:34:42

This time I actually included the file!
It's been a long week... :)

        -Steve

> Here's a file containing what we have so far.  I've tried to
> include all
> compatible ideas.
>
> Summary:
> // The attached file:
> //  . Avoids all ODR violations
> //  . Macro side-effects executed exactly once
> //  . Allows user-defined granularity
> //  . Allows user-defined action on error
> //  . Separates activation condition from assertion condition
> //  . Allows reporting of file and line
> //  . If the assertion is disabled, the error message is not generated (or
copied)
> //  . If the assertion is enabled but the condition false, the error
message is not
> //    generated (or copied)
>
> // Concerns:
> //  . Useability:
> //    . Cannot disable all assertions together (I think this  is
impossible without violating ODR)
> //    . detailed_assertion requires use of macro ASSERTION_INFO;
> //      assertion requires that the macro _not_ be used - could cause
confusion
> //    . Restriction on Action objects (that they cannot return normally)
must be
> //      well-documented
>
> 	-Steve
>