Assertion.hpp File Reference

#include <ers/Issue.hpp>
#include <ers/Severity.hpp>
#include <ers/StreamManager.hpp>

Include dependency graph for Assertion.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	ERS_INTERNAL_ABORT(_)
#define	ERS_ASSERT_MSG(expression, message)
#define	ERS_ASSERT(expression)
#define	ERS_PRECONDITION(expression)
#define	ERS_RANGE_CHECK(min, val, max)
#define	ERS_STRICT_RANGE_CHECK(min, val, max)

Macro Definition Documentation

ERS_ASSERT

#define ERS_ASSERT

(

expression

)

Value:

ERS_ASSERT_MSG(expression, "of bad internal state")

ERS_ASSERT_MSG

#define ERS_ASSERT_MSG	(		expression,
			message )

Value:

{                                                                                                                    \
  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);                                                                                 \
  }                                                                                                                  \
}

ERS_INTERNAL_ABORT

#define ERS_INTERNAL_ABORT

(

_

)

Value:

::abort()

ERS_PRECONDITION

#define ERS_PRECONDITION

(

expression

)

Value:

ERS_ASSERT_MSG(expression, "of bad external parameter")

If expression is not true, then an issue of type ers::Asertion is thrown. It should be used to check the parameters, which are passed to functions.

Note

This macro is defined to empty statement if the ERS_NO_DEBUG macro is defined

ERS_RANGE_CHECK

#define ERS_RANGE_CHECK	(		min,
			val,
			max )

Value:

ERS_ASSERT_MSG((min) <= (val) && (val) <= (max), val << " is not in [" << min << "," << max << "] range")

the following condition

( min <= val ) && ( val <= max ) 

If this expression is not true, then an issue of type ers::Asertion is thrown.

Note

This macro is defined to empty statement if the ERS_NO_DEBUG macro is defined

ERS_STRICT_RANGE_CHECK

#define ERS_STRICT_RANGE_CHECK	(		min,
			val,
			max )

Value:

ERS_ASSERT_MSG((min) < (val) && (val) < (max), val << " is not in (" << min << "," << max << ") range")

the following condition

( min < val ) && ( val < max ) 

If this expression is not true, then an issue of type ers::Asertion is thrown.

Note

This macro is disabled if the ERS_NO_DEBUG macro is defined