OpenWalnut  1.4.0
WAssert.h
00001 //---------------------------------------------------------------------------
00002 //
00003 // Project: OpenWalnut ( http://www.openwalnut.org )
00004 //
00005 // Copyright 2009 OpenWalnut Community, BSV@Uni-Leipzig and CNCF@MPI-CBS
00006 // For more information see http://www.openwalnut.org/copying
00007 //
00008 // This file is part of OpenWalnut.
00009 //
00010 // OpenWalnut is free software: you can redistribute it and/or modify
00011 // it under the terms of the GNU Lesser General Public License as published by
00012 // the Free Software Foundation, either version 3 of the License, or
00013 // (at your option) any later version.
00014 //
00015 // OpenWalnut is distributed in the hope that it will be useful,
00016 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00017 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00018 // GNU Lesser General Public License for more details.
00019 //
00020 // You should have received a copy of the GNU Lesser General Public License
00021 // along with OpenWalnut. If not, see <http://www.gnu.org/licenses/>.
00022 //
00023 //---------------------------------------------------------------------------
00024 
00025 #ifndef WASSERT_H
00026 #define WASSERT_H
00027 
00028 #include <string>
00029 
00030 /**
00031  * Implements assertion logic.
00032  *
00033  * If the flag WASSERT_AS_CASSERT is set, an error message is output to stderr,
00034  * then abort() is called. If the flag is not set, a WException is thrown.
00035  *
00036  * \param expression The expression that failed.
00037  * \param file The name of the file where the assertion statement can be found.
00038  * \param line The line in the file.
00039  * \param msg An optional message.
00040  */
00041 void wAssertFailed( std::string const& expression, std::string const& file, std::size_t line, std::string const& msg );
00042 
00043 //! the actual assertion macro
00044 #define WAssert( e, msg )  ( ( e ) ? ( ( void )0 ) : ( wAssertFailed( #e, __FILE__, __LINE__, msg ) ) )
00045 //! the actual assertion macro, this one will be tested only in debug-mode.
00046 #ifdef DEBUG
00047     #define WAssertDebug( e, msg ) WAssert( e, msg )
00048 #else
00049     #define WAssertDebug( e, msg ) ( void )0
00050 #endif
00051 
00052 #endif  // WASSERT_H