Boost logo

Boost :

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, gregod at, cpdaniel at, john at