Redefinition of vector<T, Alloc>.
Supporting Design by Contract in C++
by David Maley and Ivor Spence
Listing 6. Redefinition of vector<T, Alloc>.
namespace stdpp {
//
template <class T, class Alloc = alloc>
class vector : public std::vector<T, Alloc>, public CoManager {
public:
virtual bool pre_erase(iterator) const { return true; }
virtual bool post_erase(const vector<T>&, iterator) const { return true; }
iterator erase(iterator);
//
};
//
}
About the Authors
David Maley is with St. Mary's University College, Belfast. He can be contacted at [email protected].
Ivor Spence is with Queen's University of Belfast. He can be contacted at [email protected].