Assertion.hpp

Go to the documentation of this file.

/*
 *  Assertion.h
 *  ers
 *
 *  Created by Matthias Wiesmann on 26.11.04.
 *  Modified by Serguei Kolos on 02.08.05.
 *  Copyright 2004 CERN. All rights reserved.
 *
 */
 
#ifndef ERS_ASSERTION_H
#define ERS_ASSERTION_H
 
#include <ers/Issue.hpp>
#include <ers/Severity.hpp>
#include <ers/StreamManager.hpp>
 
ERS_DECLARE_ISSUE(  ers,                    
            Assertion,              
            "Assertion (" << condition 
                        << ") failed because " << reason,   
            ((const char *)condition )      
            ((const char *)reason ) )       
#ifdef __rtems__
#include <assert.h>
#define ERS_INTERNAL_ABORT(m)   __assert_func (__FILE__, __LINE__, __ASSERT_FUNC, m)
#else
#define ERS_INTERNAL_ABORT(_)   ::abort()
#endif
 
#define ERS_ASSERT_MSG( expression, message ) { \
if( !(expression) ) \
{ \
    std::ostringstream ers_report_impl_out_buffer; \
    ers_report_impl_out_buffer << BOOST_PP_IF( ERS_IS_EMPTY( message ), "of unknown reason", message ); \
    std::string reason = ers_report_impl_out_buffer.str(); \
    ers::Assertion __issue__( ERS_HERE, #expression, reason.c_str() ); \
    ers::StreamManager::instance().report_issue( ers::Fatal, __issue__ ); \
    ERS_INTERNAL_ABORT(#expression); \
}}
 
#define ERS_ASSERT( expression )    ERS_ASSERT_MSG( expression, "of bad internal state" )
 
#define ERS_PRECONDITION( expression )  ERS_ASSERT_MSG( expression, "of bad external parameter" )
 
#define ERS_RANGE_CHECK( min, val, max )        \
    ERS_ASSERT_MSG( (min) <= (val) && (val) <= (max), \
                    val << " is not in [" << min << "," << max << "] range" )
        
#define ERS_STRICT_RANGE_CHECK( min, val, max ) \
    ERS_ASSERT_MSG( (min) < (val) && (val) < (max), \
                    val << " is not in (" << min << "," << max << ") range" )
 
#endif