asserter.h

Go to the documentation of this file.

 
#ifndef ECU_ASSERTER_H_
#define ECU_ASSERTER_H_
 
/*------------------------------------------------------------*/
/*------------------------- INCLUDES -------------------------*/
/*------------------------------------------------------------*/
 
/* STDLib. */
#include <stdint.h>
 
/* ECU. */
#include "ecu/attributes.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
/*------------------------------------------------------------*/
/*-------------------- STATIC ASSERT MACROS ------------------*/
/*------------------------------------------------------------*/
 
#if defined(ECU_DOXYGEN)
    #define ECU_STATIC_ASSERT(check_, msg_)
#else
    #if defined(__cplusplus) && (__cplusplus >= 201103L)
        #define ECU_STATIC_ASSERT(check_, msg_) \
            static_assert((check_), msg_)
    #elif !defined(__cplusplus) && defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 201112L) && (__STDC_VERSION__ < 202311L)
        #define ECU_STATIC_ASSERT(check_, msg_) \
            _Static_assert((check_), msg_)
    #elif !defined(__cplusplus) && defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 202311L)
        #define ECU_STATIC_ASSERT(check_, msg_) \
            static_assert((check_), msg_)
    #else
        #define ECU_STATIC_ASSERT(check_, msg_) \
            extern const char ecu_static_assert_fired_[(check_) ? 1 : -1]
    #endif
#endif /* ECU_DOXYGEN */
 
/*------------------------------------------------------------*/
/*-------------------- RUNTIME ASSERT MACROS -----------------*/
/*------------------------------------------------------------*/
 
#if defined(ECU_DOXYGEN)
    #define ECU_ASSERT(check_)
 
    #define ECU_ASSERT_DEFINE_FILE(name_)
#else
    #if !defined(ECU_DISABLE_ASSERTS)
        #define ECU_ASSERT(check_) \
            ((check_) ? ((void)0) : ecu_assert_handler(&ecu_file_name_[0], __LINE__))
 
        #define ECU_ASSERT_DEFINE_FILE(name_) \
            static const char ecu_file_name_[] ECU_ATTRIBUTE_UNUSED = name_;
    #else
        #define ECU_ASSERT(check_) \
            ((void)0)
 
        #define ECU_ASSERT_DEFINE_FILE(name_)
    #endif
#endif /* ECU_DOXYGEN */
 
/*------------------------------------------------------------*/
/*--------------------- PUBLIC FUNCTIONS ---------------------*/
/*------------------------------------------------------------*/
 
#ifdef ECU_UNIT_TEST
/* Assert handler defined as normal function without noreturn attribute for unit tests.
When an assertion fires during a test control must return to the caller (the test). */
extern void ecu_assert_handler(const char *file, int line);
#else
ECU_ATTRIBUTE_NORETURN extern void ecu_assert_handler(const char *file, int line);
#endif
 
#ifdef __cplusplus
}
#endif
 
#endif /* ECU_ASSERTER_H_ */