[boost] Re: Boost.Assertion

From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-17 18:51:14

>I've uploaded an updated header and a test file.  The original issues
>have still not been addressed (i.e. configurable asserts, et. al.)
>but a minimal DbC usage is now possible.  I took the easy way out for
>providing simple invariant specifications and many may not like the
>heavy use of macros.  I'd love to see better designs/implementations
>here, but what's posted illustrates how we can get a minimal DbC with
>out impacting class design or limiting usage to only classes (i.e.
>preconditions and postconditions work just as well with stand alone
>functions).

What will preconditions and postconditions do inside free functions? 
Just assert?

   -- Jesse