ug4
static_assert.h
Go to the documentation of this file.
1 /*
2  * Copyright (c) 2009-2015: G-CSC, Goethe University Frankfurt
3  * Author: Sebastian Reiter
4  *
5  * This file is part of UG4.
6  *
7  * UG4 is free software: you can redistribute it and/or modify it under the
8  * terms of the GNU Lesser General Public License version 3 (as published by the
9  * Free Software Foundation) with the following additional attribution
10  * requirements (according to LGPL/GPL v3 §7):
11  *
12  * (1) The following notice must be displayed in the Appropriate Legal Notices
13  * of covered and combined works: "Based on UG4 (www.ug4.org/license)".
14  *
15  * (2) The following notice must be displayed at a prominent place in the
16  * terminal output of covered works: "Based on UG4 (www.ug4.org/license)".
17  *
18  * (3) The following bibliography is recommended for citation and must be
19  * preserved in all covered files:
20  * "Reiter, S., Vogel, A., Heppner, I., Rupp, M., and Wittum, G. A massively
21  * parallel geometric multigrid solver on hierarchically distributed grids.
22  * Computing and visualization in science 16, 4 (2013), 151-164"
23  * "Vogel, A., Reiter, S., Rupp, M., Nägel, A., and Wittum, G. UG4 -- a novel
24  * flexible software system for simulating pde based models on high performance
25  * computers. Computing and visualization in science 16, 4 (2013), 165-179"
26  *
27  * This program is distributed in the hope that it will be useful,
28  * but WITHOUT ANY WARRANTY; without even the implied warranty of
29  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
30  * GNU Lesser General Public License for more details.
31  */
32 
33 #ifndef __H__COMMON__STATIC_ASSERT__
34 #define __H__COMMON__STATIC_ASSERT__
35 
38 
39 // STATIC_ASSERT is only active during debug-mode.
40 #ifndef NDEBUG
41 
42 template <bool> struct CompileTimeAssertion;
43 template <> struct CompileTimeAssertion<true>
44 {
45  void do_assert() {};
46 };
47 
49 // UG_STATIC_ASSERT
51 
63 #define UG_STATIC_ASSERT(expr, msg) \
64  {CompileTimeAssertion<expr ? true : false> UG_STATIC_ASSERT_ERROR_##msg;\
65  UG_STATIC_ASSERT_ERROR_##msg.do_assert();}
66 
67 #else
68 // define an empty STATIC_ASSERT.
69 #define UG_STATIC_ASSERT(expr, msg)
70 
71 #endif
72 
73 // end group ugbase_common
75 
76 #endif
void do_assert()
Definition: static_assert.h:45
Definition: static_assert.h:42