From e0c79c06bc358b38905bc49b4878154103f08318 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 22 Nov 2012 15:21:57 -0800 Subject: [PATCH] removed class Signed-off-by: Leonardo de Moura --- src/util/debug.h | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/src/util/debug.h b/src/util/debug.h index 64cc35fcf..c45ee5aa6 100644 --- a/src/util/debug.h +++ b/src/util/debug.h @@ -74,29 +74,6 @@ bool is_debug_enabled(const char * tag); #define COMPILE_TIME_ASSERT(expr) extern char DBG_UNIQUE_NAME[expr] #endif -template -class class_invariant -{ - T* m_class; - char const* m_module; -public: - class_invariant(T* cls) : m_class(cls), m_module(0) { - SASSERT(cls->invariant()); - } - class_invariant(T* cls, char const* module) : m_class(cls), m_module(module) { - CASSERT(module, cls->invariant()); - } - ~class_invariant() { - if (m_module) { - CASSERT(m_module, m_class->invariant()); - } - else { - SASSERT(m_class->invariant()); - } - } -private: -}; - void finalize_debug(); /* ADD_FINALIZER('finalize_debug();')