Boost logo

Boost :

From: Joaquín Mª López Muñoz (joaquin_at_[hidden])
Date: 2005-02-23 03:18:45

Just a quick note: in the swap method you've got

void swap(inherited& x) {
   PRE(&x != this);

But self-swapping is legal.

Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo

christopher diggins ha escrito:

> 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?
> Thanks,
> Christopher Diggins
> Object Oriented Template Library (OOTL)
> _______________________________________________
> Unsubscribe & other changes:

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