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
What will preconditions and postconditions do inside free functions?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk