https://svn/svn/oln/prototypes/proto-1.0/metalic
Index: ChangeLog from Thierry GERAUD theo@tegucigalpa.lrde.epita.fr
* mlc/tracked_ptr.hh: Add preconditions.
2005-02-08 Thierry GERAUD theo@tegucigalpa.lrde.epita.fr
Index: mlc/tracked_ptr.hh --- mlc/tracked_ptr.hh (revision 31) +++ mlc/tracked_ptr.hh (working copy) @@ -241,6 +241,7 @@ const T*const operator->() const { invariant(proxy_ != 0); + precondition(proxy_->ptr_ != 0); return proxy_->ptr_; }
@@ -251,6 +252,7 @@ T*const operator->() { invariant(proxy_ != 0); + precondition(proxy_->ptr_ != 0); return proxy_->ptr_; }