/* -*- mode: c++; c-basic-offset:4 -*-
    utils/kleo_assert.h

    This file is part of Kleopatra, the KDE keymanager
    Copyright (c) 2008 Klarälvdalens Datakonsult AB

    Kleopatra is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    Kleopatra is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA

    In addition, as a special exception, the copyright holders give
    permission to link the code of this program with any edition of
    the Qt library by Trolltech AS, Norway (or with modified versions
    of Qt that use the same license as Qt), and distribute linked
    combinations including the two.  You must obey the GNU General
    Public License in all respects for all of the code used other than
    Qt.  If you modify this file, you may extend this exception to
    your version of the file, but you are not obligated to do so.  If
    you do not wish to do so, delete this exception statement from
    your version.
*/

#ifndef __KLEOPATRA_UTILS_KLEO_ASSERT_H__
#define __KLEOPATRA_UTILS_KLEO_ASSERT_H__

#include <libkleo/exception.h>

#include <assert.h>

#define S(x) #x
#define S_(x) S(x)
#define S_LINE S_(__LINE__)

#define kleo_assert_fail_impl( cond, file, line )                       \
    throw Kleo::Exception( gpg_error( GPG_ERR_INTERNAL ),               \
                           "assertion \"" #cond "\" failed at " file ":" line )
#define kleo_assert_fail_impl_func( cond, file, line, func )            \
    throw Kleo::Exception( gpg_error( GPG_ERR_INTERNAL ),               \
                           std::string( "assertion \"" #cond "\" failed in " ) + func + " (" file ":" line ")" )

#define kleo_assert_impl( cond, file, line )                  \
    if ( cond ) {}                                            \
    else kleo_assert_fail_impl( cond, file, line )
#define kleo_assert_impl_func( cond, file, line, func )       \
    if ( cond ) {}                                            \
    else kleo_assert_fail_impl_func( cond, file, line, func )

// from glibc's assert.h:
/* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
   which contains the name of the function currently being defined.
   This is broken in G++ before version 2.6.
   C9x has a similar variable called __func__, but prefer the GCC one since
   it demangles C++ function names.  */

#if defined (__GNUC_PREREQ)
# define KLEO_GNUC_PREREQ __GNUC_PREREQ
#elif defined (__MINGW_GNUC_PREREQ)
# define KLEO_GNUC_PREREQ __MINGW_GNUC_PREREQ
#else
# define KLEO_GNUC_PREREQ(maj, min) 0
#endif

#if KLEO_GNUC_PREREQ(2, 6)
# define kleo_assert( cond ) kleo_assert_impl_func( cond, __FILE__, S_LINE, __PRETTY_FUNCTION__ )
# define kleo_assert_fail( cond ) kleo_assert_fail_impl_func( cond, __FILE__, S_LINE, __PRETTY_FUNCTION__ )
# define notImplemented() throw Exception( gpg_error( GPG_ERR_NOT_IMPLEMENTED ), __PRETTY_FUNCTION__ )
#elif defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
# define kleo_assert( cond ) kleo_assert_impl_func( cond, __FILE__, S_LINE, __func__ )
# define kleo_assert_fail( cond ) kleo_assert_fail_impl_func( cond, __FILE__, S_LINE, __func__ )
# define notImplemented() throw Exception( gpg_error( GPG_ERR_NOT_IMPLEMENTED ), __func__ )
#endif

#undef KLEO_GNUC_PREREQ

#ifndef kleo_assert
# define kleo_assert( cond ) kleo_assert_impl( cond, __FILE__, S_LINE )
#endif

#ifndef kleo_assert_fail
# define kleo_assert_fail( cond ) kleo_assert_fail_impl( cond, __FILE__, S_LINE )
#endif

#ifndef notImplemented
# define notImplemented() kleo_assert( !"Sorry, not yet implemented" )
#endif

#endif /* __KLEOPATRA_UTILS_KLEO_ASSERT_H__ */
