[boost] STL containers with contracts, any interest?

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: http://www.ootl.org/pwc/

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?

Thanks,

Christopher Diggins
Object Oriented Template Library (OOTL)
http://www.ootl.org