Boost logo

Boost :

From: christopher diggins (cdiggins_at_[hidden])
Date: 2005-02-23 02:32:15

I am writing a set of contract verification classes for the various STL
containers. These are wrapper classes which verify DbC style contracts (i.e.
preconditions, postconditions and invariants). I have already written one
for std::vector you can see it at:

Is anyone interested in seeing this submitted Boost, if I extend it to cover
the basic collections? e.g. list, map, set, multimap, multiset, deque,
queue, stack?


Christopher Diggins
Object Oriented Template Library (OOTL)

Boost list run by bdawes at, gregod at, cpdaniel at, john at