Re: [boost] STL containers with contracts, any interest?

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: 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
>
> _______________________________________________
> Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost