*

  *

  * Copyright (C) 2003-2008

  * Copyright (C) 2003-2008

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * (Egervary Research Group on Combinatorial Optimization, EGRES).

  * (Egervary Research Group on Combinatorial Optimization, EGRES).

  *

  *

 #include <lemon/error.h>

 #include <lemon/error.h>

 namespace lemon {

 namespace lemon {

   inline void assert_fail_log(const char *file, int line, const char *function,

   inline void assert_fail_log(const char *file, int line, const char *function,

   {

   {

     std::cerr << file << ":" << line << ": ";

     std::cerr << file << ":" << line << ": ";

     if (function)

     if (function)

       std::cerr << function << ": ";

       std::cerr << function << ": ";

     std::cerr << message;

     std::cerr << message;

       std::cerr << " (assertion '" << assertion << "' failed)";

       std::cerr << " (assertion '" << assertion << "' failed)";

     std::cerr << std::endl;

     std::cerr << std::endl;

   }

   }

   inline void assert_fail_abort(const char *file, int line,

   inline void assert_fail_abort(const char *file, int line,

   {

   {

     assert_fail_log(file, line, function, message, assertion);

     assert_fail_log(file, line, function, message, assertion);

     std::abort();

     std::abort();

   }

   }

   namespace _assert_bits {

   namespace _assert_bits {

     inline const char* cstringify(const std::string& str) {

     inline const char* cstringify(const std::string& str) {

       return str.c_str();

       return str.c_str();

     }

     }

     inline const char* cstringify(const char* str) {

     inline const char* cstringify(const char* str) {

       return str;

       return str;

   }

   }

 }

 }

 #endif // LEMON_ASSERT_H

 #endif // LEMON_ASSERT_H

 #undef LEMON_ASSERT

 #undef LEMON_ASSERT

 #undef LEMON_FIXME

 #undef LEMON_FIXME

 #undef LEMON_DEBUG

 #undef LEMON_DEBUG

   (defined(LEMON_ASSERT_CUSTOM) ? 1 : 0) > 1

   (defined(LEMON_ASSERT_CUSTOM) ? 1 : 0) > 1

 #error "LEMON assertion system is not set properly"

 #error "LEMON assertion system is not set properly"

 #endif

 #endif

    defined(NDEBUG))

    defined(NDEBUG))

 #error "LEMON assertion system is not set properly"

 #error "LEMON assertion system is not set properly"

 #endif

 #endif

 /// \code

 /// \code

 /// g++ -DLEMON_DISABLE_ASSERTS

 /// g++ -DLEMON_DISABLE_ASSERTS

 /// make CXXFLAGS='-DLEMON_DISABLE_ASSERTS'

 /// make CXXFLAGS='-DLEMON_DISABLE_ASSERTS'

 /// \endcode

 /// \endcode

 /// The checking is also disabled when the standard macro \c NDEBUG is defined.

 /// The checking is also disabled when the standard macro \c NDEBUG is defined.

 /// The LEMON assertion system has a wide range of customization

 /// The LEMON assertion system has a wide range of customization

 /// properties. As a default behaviour the failed assertion prints a

 /// properties. As a default behaviour the failed assertion prints a

 /// short log message to the standard error and aborts the execution.

 /// short log message to the standard error and aborts the execution.

 ///

 ///

 ///

 ///

 /// - \c LEMON_ASSERT_LOG The failed assertion prints a short log

 /// - \c LEMON_ASSERT_LOG The failed assertion prints a short log

 ///   message to the standard error and continues the execution.

 ///   message to the standard error and continues the execution.

 /// - \c LEMON_ASSERT_ABORT This mode is similar to the \c

 /// - \c LEMON_ASSERT_ABORT This mode is similar to the \c

 ///   LEMON_ASSERT_LOG, but it aborts the program. It is the default

 ///   LEMON_ASSERT_LOG, but it aborts the program. It is the default

 ///   \code

 ///   \code

 ///     void custom_assert_handler(const char* file, int line, const char* function,

 ///     void custom_assert_handler(const char* file, int line, const char* function,

 ///                                const char* message, const char* assertion);

 ///                                const char* message, const char* assertion);

 ///   \endcode

 ///   \endcode

 ///   The name of the function should be defined as the \c

 ///   The name of the function should be defined as the \c

 ///   \code

 ///   \code

 ///     #define LEMON_CUSTOM_ASSERT_HANDLER custom_assert_handler

 ///     #define LEMON_CUSTOM_ASSERT_HANDLER custom_assert_handler

 ///   \endcode

 ///   \endcode

 ///   Whenever an assertion is occured, the custom assertion

 ///   Whenever an assertion is occured, the custom assertion

 ///   handler is called with appropiate parameters.

 ///   handler is called with appropiate parameters.

 ///

 ///

 /// The assertion mode can also be changed within one compilation unit.

 /// The assertion mode can also be changed within one compilation unit.

 /// If the macros are redefined with other settings and the

 /// If the macros are redefined with other settings and the

 /// \ref lemon/assert.h "assert.h" file is reincluded, then the

 /// \ref lemon/assert.h "assert.h" file is reincluded, then the

 /// behaviour is changed appropiately to the new settings.

 /// behaviour is changed appropiately to the new settings.

 /// \ingroup exceptions

 /// \ingroup exceptions

 ///

 ///

 /// \brief Macro for mark not yet implemented features.

 /// \brief Macro for mark not yet implemented features.

 ///

 ///

 /// It is close to be the shortcut of the following code:

 /// It is close to be the shortcut of the following code:

 /// \code

 /// \code

 ///   LEMON_ASSERT(false, msg);

 ///   LEMON_ASSERT(false, msg);

 /// \endcode

 /// \endcode

 ///

 ///

 /// \ingroup exceptions

 /// \ingroup exceptions

 ///

 ///

 /// \brief Macro for internal assertions

 /// \brief Macro for internal assertions

 ///

 ///

 ///

 ///

 /// This macro works like the \c LEMON_ASSERT macro, therefore the

 /// This macro works like the \c LEMON_ASSERT macro, therefore the

 /// current behaviour depends on the settings of \c LEMON_ASSERT

 /// current behaviour depends on the settings of \c LEMON_ASSERT

 /// macro.

 /// macro.

 ///

 ///

     LEMON_ASSERT_HANDLER(__FILE__, __LINE__,                            \

     LEMON_ASSERT_HANDLER(__FILE__, __LINE__,                            \

 #else

 #else

 #  ifndef LEMON_ASSERT_HANDLER

 #  ifndef LEMON_ASSERT_HANDLER

 #    define LEMON_ASSERT(exp, msg)  (static_cast<void>(0))

 #    define LEMON_ASSERT(exp, msg)  (static_cast<void>(0))

 #    define LEMON_FIXME(msg) (static_cast<void>(0))

 #    define LEMON_FIXME(msg) (static_cast<void>(0))

 #    define LEMON_DEBUG(exp, msg) (static_cast<void>(0))

 #    define LEMON_DEBUG(exp, msg) (static_cast<void>(0))

 #  else

 #  else

         LEMON_ASSERT_HANDLER(__FILE__, __LINE__,                        \

         LEMON_ASSERT_HANDLER(__FILE__, __LINE__,                        \

 #    if LEMON_ENABLE_DEBUG

 #    if LEMON_ENABLE_DEBUG

 #      define LEMON_DEBUG(exp, msg)

 #      define LEMON_DEBUG(exp, msg)

          (static_cast<void> (!!(exp) ? 0 : (         \

          (static_cast<void> (!!(exp) ? 0 : (         \

            LEMON_ASSERT_HANDLER(__FILE__, __LINE__,  \

            LEMON_ASSERT_HANDLER(__FILE__, __LINE__,  \

                                 LEMON_FUNCTION_NAME, \

                                 LEMON_FUNCTION_NAME, \

 #    else

 #    else

 #      define LEMON_DEBUG(exp, msg) (static_cast<void>(0))

 #      define LEMON_DEBUG(exp, msg) (static_cast<void>(0))

 #    endif

 #    endif

 #  endif

 #  endif