From: Dan W. (danw_at_[hidden])
Date: 2004-01-01 21:53:59
Reece Dunn wrote:
> Has there been any discussion regarding an invariants library (advanced
> assert), or is there one already implemented in boost?
> Pseudocode-style implementation:
The compiler I'm using, Digital Mars version 8.38 already supports
invariant, pre- and post-conditions. See...
and I also just saw a couple of boost invariant implementations while
browsing through the files section,
Design By Contract is such a wonderful concept, BTW, I used to program
in Eiffel, and there's nothing I miss more than its built-in DBC.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk