From: scleary_at_[hidden]
Date: 1999-09-01 16:21:41
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