libcruft-util/debug.hpp

336 lines
15 KiB
C++
Raw Normal View History

2011-05-23 17:18:52 +10:00
/*
* This file is part of libgim.
2011-05-23 17:18:52 +10:00
*
2012-04-11 15:18:26 +10:00
* libgim is free software: you can redistribute it and/or modify it under the
2011-05-23 17:18:52 +10:00
* terms of the GNU General Public License as published by the Free Software
* Foundation, either version 3 of the License, or (at your option) any later
* version.
*
2012-04-11 15:18:26 +10:00
* libgim is distributed in the hope that it will be useful, but WITHOUT ANY
2011-05-23 17:18:52 +10:00
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
* details.
*
* You should have received a copy of the GNU General Public License
* along with libgim. If not, see <http://www.gnu.org/licenses/>.
2011-05-23 17:18:52 +10:00
*
2012-04-23 13:06:41 +10:00
* Copyright 2010-2012 Danny Robson <danny@nerdcruft.net>
2011-05-23 17:18:52 +10:00
*/
#ifndef __DEBUG_HPP
#define __DEBUG_HPP
//#include "maths.hpp" // XXX: See notes at the end of file for maths.hpp inclusion
2011-05-23 17:18:52 +10:00
#include <stdexcept>
#include <iostream>
#include <sstream>
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
#ifdef ENABLE_DEBUGGING
2015-01-28 15:01:17 +11:00
#define DEBUG_ONLY(X) do { \
X \
} while (0)
#else
#define DEBUG_ONLY(X)
#endif
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
#define EXIT_XSUCCESS 0
#define EXIT_XSKIP 77
#define EXIT_XHARD_ERROR 99
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define TRACE { \
DEBUG_ONLY( \
std::cerr << __FILE__ << ":" << __func__ << ":" << __LINE__ << std::endl; \
); \
2011-07-16 14:47:10 +10:00
}
2015-01-28 15:01:17 +11:00
#define WARN(C) do { \
DEBUG_ONLY( \
if (C) { \
std::cerr << __FILE__ << ":" << __func__ << ":" << __LINE__ << ", " << #C << std::endl; \
} \
); \
2011-11-04 16:50:41 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2012-05-11 12:34:21 +10:00
#define _CHECK_META(C, SUCCESS, FAILURE) do { \
const auto __DEBUG_value = (C); \
if (!__DEBUG_value) { \
2011-05-23 17:18:52 +10:00
std::cerr << PACKAGE << ": " \
<< __FILE__ << ":" \
<< __LINE__ << ": " \
<< __FUNCTION__ \
<< ". Assertion '" << #C \
<< "' failed: " << __DEBUG_value << std::endl; \
2011-05-23 17:18:52 +10:00
\
{ FAILURE } \
} else { \
{ SUCCESS } \
} \
} while (0)
///////////////////////////////////////////////////////////////////////////////
#define CHECK(C) do { DEBUG_ONLY(_CHECK_META((C), { ; }, { panic (); });); } while (0)
2011-05-23 17:18:52 +10:00
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_EQ(A,B) do { \
DEBUG_ONLY( \
const auto __a = (A); \
const auto __b = (B); \
_CHECK_META (almost_equal (__a, __b), \
{ ; }, \
{ \
std::ostringstream __debug_os; \
__debug_os.precision (15); \
__debug_os \
<< "expected equality.\n" \
<< "__a: " << #A << " is " << __a << ")" \
<< "\n != \n" \
<< "__b: " << #B << " is " << __b << ")"; \
panic (__debug_os.str ()); \
}); \
); \
2011-05-23 17:18:52 +10:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_LT(A,B) do { \
DEBUG_ONLY( \
const auto __a = (A); \
const auto __b = (B); \
_CHECK_META (__a < __b, \
{ ; }, \
{ \
std::ostringstream __debug_check_lt_os; \
__debug_check_lt_os \
<< "expected less than.\n" \
<< "__a: " << #A << " is " << __a << ")" \
<< "\n >= \n" \
<< "__b: " << #B << " is " << __b << ")"; \
panic (__debug_check_lt_os.str ()); \
}); \
); \
2012-11-09 15:11:18 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_LE(A,B) do { \
DEBUG_ONLY( \
const auto __a = (A); \
const auto __b = (B); \
_CHECK_META (__a <= __b, \
{ ; }, \
{ \
std::ostringstream __debug_check_lt_os; \
__debug_check_lt_os \
<< "expected less or equal to\n" \
<< "__a: " << #A << " is " << __a << ")" \
<< "\n > \n" \
<< "__b: " << #B << " is " << __b << ")"; \
panic (__debug_check_lt_os.str ()); \
}); \
); \
2014-02-12 17:05:37 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_GT(A,B) do { \
DEBUG_ONLY( \
const auto __a = (A); \
const auto __b = (B); \
_CHECK_META (__a > __b, \
{ ; }, \
{ \
std::ostringstream __debug_check_gt_os; \
__debug_check_gt_os \
<< "expected greater than.\n" \
<< "__a: " << #A << " is " << __a << ")" \
<< "\n <= \n" \
<< "__b: " << #B << " is " << __b << ")"; \
panic (__debug_check_gt_os.str ()); \
}); \
); \
2012-11-09 15:11:18 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_GE(A,B) do { \
DEBUG_ONLY( \
const auto __a = (A); \
const auto __b = (B); \
_CHECK_META (__a >= __b, \
{ ; }, \
{ \
std::ostringstream __debug_check_gt_os; \
__debug_check_gt_os \
<< "expected greater or equal to.\n" \
<< "__a: " << #A << " is " << __a << ")" \
<< "\n < \n" \
<< "__b: " << #B << " is " << __b << ")"; \
panic (__debug_check_gt_os.str ()); \
}); \
); \
2014-02-12 17:05:37 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_NEQ(A,B) do { \
DEBUG_ONLY( \
const auto __a = (A); \
const auto __b = (B); \
_CHECK_META (!almost_equal (__a, __b), \
{ ; }, \
{ \
std::ostringstream __debug_neq_os; \
__debug_neq_os << "unexpected equality.\n" \
<< "__a: " << #A << " is " << __a << ")" \
<< "\n == \n" \
<< "__b: " << #B << " is " << __b << ")"; \
panic (__debug_neq_os.str ()); \
}); \
); \
2011-05-23 17:18:52 +10:00
} while (0)
///////////////////////////////////////////////////////////////////////////////
#define CHECK_ZERO(A) do { \
DEBUG_ONLY( \
const auto __a = (A); \
_CHECK_META (almost_zero (__a), \
{ ; }, \
{ \
std::ostringstream __debug_nez_os; \
__debug_nez_os << "expected zero.\n" \
<< "__a: " << #A << " is " << __a << ")"; \
panic (__debug_nez_os.str ()); \
}); \
); \
} while (0)
2015-02-05 20:35:11 +11:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_NEZ(A) do { \
DEBUG_ONLY( \
const auto __a = (A); \
_CHECK_META (!almost_zero (__a), \
{ ; }, \
{ \
std::ostringstream __debug_nez_os; \
__debug_nez_os << "unexpected zero.\n" \
<< "__a: " << #A << " is " << __a << ")"; \
panic (__debug_nez_os.str ()); \
}); \
); \
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_THROWS(E,C) do { \
DEBUG_ONLY( \
bool caught = false; \
\
try \
{ C; } \
catch (E) \
{ caught = true; } \
\
if (!caught) \
panic ("expected exception: " #E); \
); \
2011-05-23 17:18:52 +10:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2012-06-20 16:47:48 +10:00
#define CHECK_NOTHROW(C) do { \
2015-01-28 15:01:17 +11:00
DEBUG_ONLY( \
try { \
C; \
} catch (...) { \
panic ("unexpected exception"); \
} \
); \
2012-06-20 16:47:48 +10:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2011-05-23 17:18:52 +10:00
class panic_error {
protected:
std::string m_what;
public:
panic_error (const std::string &_what):
m_what (_what)
{ ; }
};
void panic [[noreturn]] (const std::string&);
void panic [[noreturn]] (void);
2011-05-23 17:18:52 +10:00
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
void not_implemented [[noreturn]] (void);
void not_implemented [[noreturn]] (const char*);
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
void unreachable [[noreturn]] (void);
void unreachable [[noreturn]] (const std::string&);
void unusual (void);
2011-05-23 17:18:52 +10:00
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2011-05-23 17:18:52 +10:00
void breakpoint (void);
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
void enable_fpe (void);
void disable_fpe (void);
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
namespace debug {
void init (void);
2015-02-13 17:30:19 +11:00
template <typename T>
bool valid (const T&);
template <template<typename> class T, typename ...Args>
struct validator {
static bool is_valid (const T<Args...>&);
};
template <template<typename> class T, typename ...Args>
bool valid (const T<Args...> &v)
{ return validator<T,Args...>::is_valid (v); }
template <typename T>
void sanity (const T &t)
{ CHECK (valid (t)); }
template <template<typename> class T, typename ...Args>
void sanity (const T<Args...> &t)
{ CHECK (valid (t)); }
}
///////////////////////////////////////////////////////////////////////////////
// XXX: maths needs to be included so that CHECK_EQ/NEQ can call almost_equal,
// but maths.hpp might be using CHECK_ macros so we must include maths.hpp
// after we define the CHECK_ macros so the preprocessor can resolve them.
#include "maths.hpp"
2011-05-23 17:18:52 +10:00
#endif // __DEBUG_HPP