From b05b779d7dc965da9a3346333cc419028a3e9a0a Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Fri, 13 Feb 2015 17:32:08 +1100
Subject: [PATCH] extent: migrate to free sanity/valid

---
 extent.cpp | 32 +++++++++++++++-----------------
 extent.hpp |  2 --
 2 files changed, 15 insertions(+), 19 deletions(-)

diff --git a/extent.cpp b/extent.cpp
index 0bba9510..d2061211 100644
--- a/extent.cpp
+++ b/extent.cpp
@@ -120,25 +120,23 @@ util::extent<T>::operator ==(const extent& rhs) const
 
 
 ///////////////////////////////////////////////////////////////////////////////
-template <typename T>
-void
-util::extent<T>::sanity (void) const
-    { CHECK (w >= 0 && h >= 0); }
-
-
-//-----------------------------------------------------------------------------
-namespace util {
-    template <>
-    void
-    extent<unsigned int>::sanity (void) const
-        { return; }
-
-    template <>
-    void
-    extent<unsigned long>::sanity (void) const
-        { return; }
+namespace debug {
+    template <typename T>
+    struct validator<util::extent,T> {
+        static bool is_valid (const util::extent<T> &e)
+        {
+            return e.w >= 0 && e.h >= 0;
+        }
+    };
 }
 
+template bool debug::valid (const util::extent<float>&);
+template bool debug::valid (const util::extent<double>&);
+template bool debug::valid (const util::extent<uint16_t>&);
+template bool debug::valid (const util::extent<uint32_t>&);
+template bool debug::valid (const util::extent<uint64_t>&);
+
+
 ///////////////////////////////////////////////////////////////////////////////
 template <typename T>
 std::ostream&
diff --git a/extent.hpp b/extent.hpp
index 1bf418b9..33aa7798 100644
--- a/extent.hpp
+++ b/extent.hpp
@@ -53,8 +53,6 @@ namespace util {
 
         template <typename U>
         extent<U> cast (void) const;
-
-        void sanity (void) const;
     };
 
     typedef extent<int> extent2i;