queso-0.52.0
asserts.h
Go to the documentation of this file.
1 //-----------------------------------------------------------------------bl-
2 //--------------------------------------------------------------------------
3 //
4 // QUESO - a library to support the Quantification of Uncertainty
5 // for Estimation, Simulation and Optimization
6 //
7 // Copyright (C) 2008-2015 The PECOS Development Team
8 //
9 // This library is free software; you can redistribute it and/or
10 // modify it under the terms of the Version 2.1 GNU Lesser General
11 // Public License as published by the Free Software Foundation.
12 //
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 // Lesser General Public License for more details.
17 //
18 // You should have received a copy of the GNU Lesser General Public
19 // License along with this library; if not, write to the Free Software
20 // Foundation, Inc. 51 Franklin Street, Fifth Floor,
21 // Boston, MA 02110-1301 USA
22 //
23 //-----------------------------------------------------------------------el-
24 
25 //
26 // nick (nicholas.malaya) providing a direct port of the antioch assertions
27 // to queso (see: https://github.com/libantioch/antioch/blob/master/src/utilities/include/antioch/antioch_asserts.h)
28 //
29 // adding MPI-friendly exits
30 //
31 
32 #ifndef QUESO_ASSERTS_H
33 #define QUESO_ASSERTS_H
34 
35 #include "exceptions.h"
36 #include "queso/config_queso.h" // for QUESO_HAVE_CXX11
37 
38 // C++
39 #include <iostream>
40 #include <iomanip>
41 
42 #define queso_here() do { std::cerr << __FILE__ << ", line " << __LINE__ << ", compiled " << __DATE__ << " at " << __TIME__ << std::endl; } while (0)
43 
44 // The queso_assert() macro acts like C's assert(), but throws a
45 // queso_error() (including stack trace, etc) instead of just exiting
46 
47 // When not debugging, we don't test any asserts
48 #ifdef NDEBUG
49 #define queso_assert(asserted) ((void) 0)
50 #define queso_assert_msg(asserted, msg) ((void) 0)
51 #define queso_assert_equal_to(expr1,expr2) ((void) 0)
52 #define queso_assert_not_equal_to(expr1,expr2) ((void) 0)
53 #define queso_assert_less(expr1,expr2) ((void) 0)
54 #define queso_assert_greater(expr1,expr2) ((void) 0)
55 #define queso_assert_less_equal(expr1,expr2) ((void) 0)
56 #define queso_assert_greater_equal(expr1,expr2) ((void) 0)
57 #else
58 
59 #define queso_assert(asserted) do { if (!(asserted)) { std::cerr << "Assertion `" #asserted "' failed." << std::endl; queso_error(); } } while(0)
60 
61 // When using C++11, we can test asserts comparing two different types
62 // robustly
63 // #if __cplusplus > 199711L // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=1773
64 #ifdef QUESO_HAVE_CXX11
65 #define queso_assert_equal_to(expr1,expr2) do { typedef decltype(expr1) type1; typedef decltype(expr2) type2; if (!((expr1 == static_cast<type1>(expr2)) && static_cast<type2>(expr1) == expr2)) { std::cerr << "Assertion `" #expr1 " == " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
66 #define queso_assert_not_equal_to(expr1,expr2) do { typedef decltype(expr1) type1; typedef decltype(expr2) type2; if (!((expr1 != static_cast<type1>(expr2)) && (static_cast<type2>(expr1) != expr2))) { std::cerr << "Assertion `" #expr1 " != " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
67 #define queso_assert_less(expr1,expr2) do { typedef decltype(expr1) type1; typedef decltype(expr2) type2; if (!((static_cast<type2>(expr1) < expr2) && (expr1 < static_cast<type1>(expr2)))) { std::cerr << "Assertion `" #expr1 " < " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
68 #define queso_assert_greater(expr1,expr2) do { typedef decltype(expr1) type1; typedef decltype(expr2) type2; if (!((static_cast<type2>(expr1) > expr2) && (expr1 > static_cast<type1>(expr2)))) { std::cerr << "Assertion `" #expr1 " > " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
69 #define queso_assert_less_equal(expr1,expr2) do { typedef decltype(expr1) type1; typedef decltype(expr2) type2; if (!((static_cast<type2>(expr1) <= expr2) && (expr1 <= static_cast<type1>(expr2)))) { std::cerr << "Assertion `" #expr1 " <= " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
70 #define queso_assert_greater_equal(expr1,expr2) do { typedef decltype(expr1) type1; typedef decltype(expr2) type2; if (!((static_cast<type2>(expr1) >= expr2) && (expr1 >= static_cast<type1>(expr2)))) { std::cerr << "Assertion `" #expr1 " >= " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
71 
72 // When using C++98, we let the compiler pick the type conversion and
73 // hope for the best.
74 #else
75 #define queso_assert_equal_to(expr1,expr2) do { if (!(expr1 == expr2)) { std::cerr << "Assertion `" #expr1 " == " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
76 #define queso_assert_not_equal_to(expr1,expr2) do { if (!(expr1 != expr2)) { std::cerr << "Assertion `" #expr1 " != " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
77 #define queso_assert_less(expr1,expr2) do { if (!(expr1 < expr2)) { std::cerr << "Assertion `" #expr1 " < " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
78 #define queso_assert_greater(expr1,expr2) do { if (!(expr1 > expr2)) { std::cerr << "Assertion `" #expr1 " > " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
79 #define queso_assert_less_equal(expr1,expr2) do { if (!(expr1 <= expr2)) { std::cerr << "Assertion `" #expr1 " <= " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
80 #define queso_assert_greater_equal(expr1,expr2) do { if (!(expr1 >= expr2)) { std::cerr << "Assertion `" #expr1 " >= " #expr2 "' failed.\n" #expr1 " = " << (expr1) << "\n" #expr2 " = " << (expr2) << std::endl; queso_error(); } } while(0)
81 
82 #endif // C++11
83 
84 #endif // NDEBUG
85 
86 
87 #define queso_error() do { queso_here(); QUESO_THROW(QUESO::LogicError()); } while(0)
88 #define queso_not_implemented() do { queso_here(); QUESO_THROW(QUESO::NotImplemented()); } while(0)
89 #define queso_file_error(filename) do { queso_here(); QUESO_THROW(QUESO::FileError(filename)); } while(0)
90 
91 #define queso_error_msg(msg) do { queso_here(); std::cerr << msg << std::endl; QUESO_THROW(QUESO::LogicError()); } while(0)
92 #define queso_not_implemented_msg(msg) do { queso_here(); std::cerr << msg << std::endl; QUESO_THROW(QUESO::NotImplemented()); } while(0)
93 #define queso_file_error_msg(filename, msg) do { queso_here(); std::cerr << msg << std::endl; QUESO_THROW(QUESO::FileError(filename)); } while(0)
94 
95 #endif // QUESO_ASSERTS_H
Generated on Thu Apr 23 2015 19:30:54 for queso-0.52.0 by  doxygen 1.8.5