From: William Kempf (sirwillard_at_[hidden])
Date: 2000-12-18 17:29:48
--- In boost_at_[hidden], "Jeff Paquette" <paquette_at_m...> wrote:
> Where I work we have three basic assertion macros for design-by-
contract:
> Assert, Require, and Ensure. Require's are for preconditional
checks, Ensure
> are postconditions, and Asserts are for algorithmic checking (ie,
in-process
> states).
How do Require and Ensure differ from Assert? When inheritance works
there's an important distinction, but I'm not sure I see a reason for
different macros with out this.
Bill Kempf