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
>