ncbidbg_p.hpp

Go to the documentation of this file.

Go to the SVN repository for this file.

#ifndef NCBIDBG_P__HPP
#define NCBIDBG_P__HPP
 
/*  $Id: ncbidbg_p.hpp 82263 2018-05-16 11:33:29Z ivanov $
 * ===========================================================================
 *
 *                            PUBLIC DOMAIN NOTICE
 *               National Center for Biotechnology Information
 *
 *  This software/database is a "United States Government Work" under the
 *  terms of the United States Copyright Act.  It was written as part of
 *  the author's official duties as a United States Government employee and
 *  thus cannot be copyrighted.  This software/database is freely available
 *  to the public for use. The National Library of Medicine and the U.S.
 *  Government have not placed any restriction on its use or reproduction.
 *
 *  Although all reasonable efforts have been taken to ensure the accuracy
 *  and reliability of the software and data, the NLM and the U.S.
 *  Government do not and cannot warrant the performance or results that
 *  may be obtained by using this software or data. The NLM and the U.S.
 *  Government disclaim all warranties, express or implied, including
 *  warranties of performance, merchantability or fitness for any particular
 *  purpose.
 *
 *  Please cite the author in any work or product based on this material.
 *
 * ===========================================================================
 *
 * Author:  Andrei Gourianov, gouriano@ncbi.nlm.nih.gov
 *
 * File Description:
 *   declaration of debugging function(s)
 * 
 */
 
#include <corelib/ncbi_safe_static.hpp>
#include <corelib/ncbithr.hpp>
#include <corelib/ncbiexpt.hpp>
#include <corelib/ncbistr.hpp>
 
#include <assert.h>
 
BEGIN_NCBI_SCOPE
 
 
// If "expression" evaluates to FALSE then the behavior depends on whether
// _DEBUG is defined (implemented in the DiagValidate(...)):
// - _DEBUG is defined:
//   Abort execution (by default), or throw exception (if explicitly specified
//   by calling xncbi_SetValidateAction(eValidate_Throw))
// - _DEBUG is not defined:
//   throw an exception
#  define xncbi_Validate(expression, message) \
    do { \
        if ( !(expression) ) \
            NCBI_NS_NCBI::CNcbiDiag::DiagValidate(DIAG_COMPILE_INFO, #expression, message); \
    } while ( 0 )
 
 
#  define xncbi_ValidateAndErrnoReport(expression, message) \
    do { \
        if ( !(expression) ) { \
            string  ext_message(message); \
            ext_message += " (errno=" + NStr::NumericToString(NCBI_ERRNO_CODE_WRAPPER()) + \
                           ": " + \
                           string(NCBI_ERRNO_STR_WRAPPER(NCBI_ERRNO_CODE_WRAPPER())) + ")"; \
            NCBI_NS_NCBI::CNcbiDiag::DiagValidate(DIAG_COMPILE_INFO, #expression, ext_message.c_str()); \
        } \
    } while ( 0 )
 
 
// The pthread functions (at least on most platforms) do not set the errno
// variable. They return an errno value instead.
// In some cases (IBM ?) the errno is set and the return value is -1 in case of
// errors.
#if defined(NCBI_POSIX_THREADS)
    # define xncbi_ValidatePthread(expression, expected_value, message) \
        do { \
            auto xvp_retval = expression; \
            if (xvp_retval != expected_value) { \
                string  msg(message); \
                msg += "(pthread error=" + NStr::NumericToString(xvp_retval) + \
                       ": " + \
                       string(NCBI_ERRNO_STR_WRAPPER(xvp_retval)); \
                if ( xvp_retval == -1 ) { \
                    msg += " errno=" + NStr::NumericToString(errno); \
                } \
                msg += ")"; \
                NCBI_NS_NCBI::CNcbiDiag::DiagValidate(DIAG_COMPILE_INFO, #expression, msg.c_str()); \
            } \
        } while ( 0 )
#endif
 
 
bool xncbi_VerifyReport(const char *  expr);
 
#if defined(_DEBUG)
 
// 'simple' verify
#  define xncbi_Verify(expression) assert(expression)
#  define xncbi_VerifyAndErrorReport(expression) \
    do { \
        if ( !(expression) ) \
            assert(xncbi_VerifyReport(#expression)); \
    } while ( 0 )
 
#else // _DEBUG
 
// 'simple' verify - just evaluate the expression
#  define xncbi_Verify(expression) while ( expression ) break
 
#  define xncbi_VerifyAndErrorReport(expression) \
    do { \
        if ( !(expression) ) \
            xncbi_VerifyReport(#expression); \
    } while ( 0 )
 
#endif // _DEBUG
 
 
END_NCBI_SCOPE
 
#endif // NCBIDBG_P__HPP