4 // Fraunhofer Institute for Open Communication Systems (FOKUS)
6 // The contents of this file are subject to the Fraunhofer FOKUS Public License
7 // Version 1.0 (the "License"); you may not use this file except in compliance
8 // with the License. You may obtain a copy of the License at
9 // http://senf.berlios.de/license.html
11 // The Fraunhofer FOKUS Public License Version 1.0 is based on,
12 // but modifies the Mozilla Public License Version 1.1.
13 // See the full license text for the amendments.
15 // Software distributed under the License is distributed on an "AS IS" basis,
16 // WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
17 // for the specific language governing rights and limitations under the License.
19 // The Original Code is Fraunhofer FOKUS code.
21 // The Initial Developer of the Original Code is Fraunhofer-Gesellschaft e.V.
22 // (registered association), Hansastraße 27 c, 80686 Munich, Germany.
23 // All Rights Reserved.
26 // Stefan Bund <g0dil@berlios.de>
29 \brief senfassert public header */
31 #ifndef HH_SENF_Utils_senfassert_
32 #define HH_SENF_Utils_senfassert_ 1
35 #include "IgnoreValue.hh"
37 //#include "senfassert.mpp"
38 //-/////////////////////////////////////////////////////////////////////////////////////////////////
42 # define SENF_ASSERT(x, comment)
43 # define SENF_ASSERT_EXPRESSION(expression, comment) senf::IGNORE( expression )
48 # define SENF_ASSERT(x, comment) assert((x) && comment)
49 # define SENF_ASSERT_EXPRESSION(expression, comment) assert((expression) && comment)
54 /* Lifted direct from:
55 Modern C++ Design: Generic Programming and Design Patterns Applied Section 2.1
56 by Andrei Alexandrescu
60 template<bool> class compile_time_check
63 compile_time_check(...) {}
66 template<> class compile_time_check<false>
72 SENF_STATIC_ASSERT is only in operation when SENF_DEBUG is defined. It will test its first
73 argument at compile time and on failure report the error message of the second argument,
74 which must be a valid c++ classname. i.e. no spaces, punctuation or reserved keywords.
77 # define SENF_STATIC_ASSERT(expr, msg) \
79 struct STATIC_ASSERT_FAILED_##msg {}; \
80 typedef senf::detail::compile_time_check< (expr) != 0 > tmplimpl; \
81 tmplimpl aTemp = tmplimpl(STATIC_ASSERT_FAILED_##msg()); \
82 (void)sizeof(aTemp); \
85 # define SENF_STATIC_ASSERT(expr, msg)
88 //-/////////////////////////////////////////////////////////////////////////////////////////////////
89 //#include "senfassert.cci"
90 //#include "senfassert.ct"
91 //#include "senfassert.cti"
99 // c-file-style: "senf"
100 // indent-tabs-mode: nil
101 // ispell-local-dictionary: "american"
102 // compile-command: "scons -u test"