senf/Utils/senfassert.hh

   1 // $Id$
   2 //
   3 // Copyright (C) 2008
   4 // Fraunhofer Institute for Open Communication Systems (FOKUS)
   5 //
   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
  10 //
  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.
  14 //
  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.
  18 //
  19 // The Original Code is Fraunhofer FOKUS code.
  20 //
  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.
  24 //
  25 // Contributor(s):
  26 //   Stefan Bund <g0dil@berlios.de>
  27
  28 /** \file
  29     \brief senfassert public header */
  30
  31 #ifndef HH_SENF_Utils_senfassert_
  32 #define HH_SENF_Utils_senfassert_ 1
  33
  34 // Custom includes
  35 #include "IgnoreValue.hh"
  36
  37 //#include "senfassert.mpp"
  38 //-/////////////////////////////////////////////////////////////////////////////////////////////////
  39
  40 #ifndef SENF_DEBUG
  41
  42 #   define SENF_ASSERT(x, comment)
  43 #   define SENF_ASSERT_EXPRESSION(expression, comment) senf::IGNORE( expression )
  44
  45 #else
  46
  47 #   include <cassert>
  48 #   define SENF_ASSERT(x, comment) assert((x) && comment)
  49 #   define SENF_ASSERT_EXPRESSION(expression, comment) assert((expression) && comment)
  50
  51 #endif
  52
  53
  54 /* Lifted direct from:
  55    Modern C++ Design: Generic Programming and Design Patterns Applied Section 2.1
  56    by Andrei Alexandrescu
  57 */
  58 namespace senf {
  59 namespace detail {
  60     template<bool> class compile_time_check
  61     {
  62     public:
  63         compile_time_check(...) {}
  64     };
  65
  66     template<> class compile_time_check<false>
  67     {
  68     };
  69 }}
  70
  71     /*
  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.
  75     */
  76 #ifdef SENF_DEBUG
  77 #   define SENF_STATIC_ASSERT(expr, msg)                                    \
  78     do {                                                                    \
  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);                                                      \
  83     } while (0)
  84 #else
  85 #   define SENF_STATIC_ASSERT(expr, msg)
  86 #endif
  87
  88 //-/////////////////////////////////////////////////////////////////////////////////////////////////
  89 //#include "senfassert.cci"
  90 //#include "senfassert.ct"
  91 //#include "senfassert.cti"
  92 #endif
  93
  94 \f
  95 // Local Variables:
  96 // mode: c++
  97 // fill-column: 100
  98 // comment-column: 40
  99 // c-file-style: "senf"
 100 // indent-tabs-mode: nil
 101 // ispell-local-dictionary: "american"
 102 // compile-command: "scons -u test"
 103 // End: