[boost] Re: Invariants Library

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:
--snip--

The compiler I'm using, Digital Mars version 8.38 already supports 
invariant, pre- and post-conditions. See...
http://www.digitalmars.com/ctg/designbycontract.html
and I also just saw a couple of boost invariant implementations while 
browsing through the files section,
http://groups.yahoo.com/group/boost/files/
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.
Cheers!