libcruft-util/debug.hpp

134 lines
4.3 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
*
* Waif is free software: you can redistribute it and/or modify it under the
* 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.
*
* Waif is distributed in the hope that it will be useful, but WITHOUT ANY
* 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
*
* Copyright 2010 Danny Robson <danny@blubinc.net>
*/
#ifndef __DEBUG_HPP
#define __DEBUG_HPP
#include "annotations.hpp"
#include "maths.hpp"
2011-05-23 17:18:52 +10:00
#include <stdexcept>
#include <iostream>
#include <sstream>
#define verify_soft(C, COND) ({ \
const auto value = (C); \
check_soft(value COND); \
value; \
})
#define verify_hard(C, COND) ({ \
const auto value = (C); \
check_hard(value COND); \
value; \
})
#define _check_meta(C, SUCCESS, FAILURE) do { \
const auto value = (C); \
if (unlikely (!value)) { \
std::cerr << PACKAGE << ": " \
<< __FILE__ << ":" \
<< __LINE__ << ": " \
<< __FUNCTION__ \
<< ". Assertion '" << #C \
<< "' failed with: " << value << std::endl; \
\
{ FAILURE } \
} else { \
{ SUCCESS } \
} \
} while (0)
#define check_hard(C) _check_meta((C), { ; }, { panic (); })
#define check_soft(C) _check_meta((C), { ; }, { ; })
#define check_eq(A,B) do { \
const auto __a = (A); \
const auto __b = (B); \
_check_meta (almost_equal (__a, __b), \
{ ; }, \
{ \
std::ostringstream os; \
os << "expected equality.\n" \
<< #A << '(' << __a << ")" \
<< "\n != \n" \
<< #B << '(' << __b << ")"; \
panic (os.str ()); \
}); \
} while (0)
#define check_neq(A,B) do { \
const auto __a = (A); \
const auto __b = (B); \
_check_meta (!almost_equal (__a, __b), \
{ ; }, \
{ \
std::ostringstream os; \
os << "unexepected equality.\n" \
<< __a << "\n ==\n" << __b; \
panic (os.str ()); \
}); \
} while (0)
#define check_throws(E,C) do { \
bool caught = false; \
\
try \
{ C; } \
catch (E) \
{ caught = true; } \
\
if (unlikely (!caught)) \
panic ("expected exception: " #E); \
} while (0)
#define check(C) check_hard(C)
class panic_error {
protected:
std::string m_what;
public:
panic_error (const std::string &_what):
m_what (_what)
{ ; }
};
void panic (const std::string&) terminal;
void panic (void) terminal;
void not_implemented (void) terminal;
void unreachable (void) terminal;
void unreachable (const std::string&) terminal;
void breakpoint (void);
#endif // __DEBUG_HPP