CLAW Library (a C++ Library Absolutely Wonderful) 1.5.5
assert.hpp
Go to the documentation of this file.
00001 /*
00002   CLAW - a C++ Library Absolutely Wonderful
00003 
00004   CLAW is a free library without any particular aim but being useful to 
00005   anyone.
00006 
00007   Copyright (C) 2005-2010 Julien Jorge
00008 
00009   This library is free software; you can redistribute it and/or
00010   modify it under the terms of the GNU Lesser General Public
00011   License as published by the Free Software Foundation; either
00012   version 2.1 of the License, or (at your option) any later version.
00013 
00014   This library is distributed in the hope that it will be useful,
00015   but WITHOUT ANY WARRANTY; without even the implied warranty of
00016   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00017   Lesser General Public License for more details.
00018 
00019   You should have received a copy of the GNU Lesser General Public
00020   License along with this library; if not, write to the Free Software
00021   Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
00022 
00023   contact: julien_jorge@yahoo.fr
00024 */
00030 #ifndef __CLAW_ASSERT_HPP__
00031 #define __CLAW_ASSERT_HPP__
00032 
00033 #include <iostream>
00034 #include <sstream>
00035 #include <cstdlib>
00036 
00060 #ifndef NDEBUG
00061 
00062 namespace claw
00063 {
00064   /*-------------------------------------------------------------------------*/
00073   inline void debug_assert( const char* file, const char* func,
00074                             unsigned int line, bool b, const std::string& s )
00075   {
00076     if ( !(b) )
00077       {
00078         std::cerr << file << ":" << line << "\n\t"
00079                   << func << " : \n" << s << std::endl;
00080         abort();
00081       }
00082   } // claw::debug_assert()
00083 
00084 } // namespace claw
00085 
00086 /*---------------------------------------------------------------------------*/
00087 #define CLAW_ASSERT( b, s )                                             \
00088   claw::debug_assert( __FILE__, __FUNCTION__, __LINE__, (b), (s) )
00089 
00090 /*---------------------------------------------------------------------------*/
00091 #define CLAW_FAIL( s )                                                  \
00092   claw::debug_assert( __FILE__, __FUNCTION__, __LINE__, false, (s) )
00093 
00094 /*---------------------------------------------------------------------------*/
00095 #define CLAW_PRECOND( b ) CLAW_ASSERT( b, "precondition failed: " #b )
00096 
00097 /*---------------------------------------------------------------------------*/
00098 #define CLAW_POSTCOND( b ) CLAW_ASSERT( b, "postcondition failed: " #b )
00099 
00100 #else // def NDEBUG
00101 
00102 #define CLAW_ASSERT( b, s )
00103 #define CLAW_FAIL( s )
00104 #define CLAW_PRECOND( b )
00105 #define CLAW_POSTCOND( b )
00106 
00107 #endif // NDEBUG
00108 
00109 #endif // __CLAW_ASSERT_HPP__