rkhassert.h

Go to the documentation of this file.

/*
 *  --------------------------------------------------------------------------
 *
 *                                Framework RKH
 *                                -------------
 *
 *            State-machine framework for reactive embedded systems
 *
 *                      Copyright (C) 2010 Leandro Francucci.
 *          All rights reserved. Protected by international copyright laws.
 *
 *
 *  RKH is free software: you can redistribute it and/or modify it under the
 *  terms of the GNU General Public License as published by the Free Software
 *  Foundation, either version 3 of the License, or (at your option) any
 *  later version.
 *
 *  RKH is distributed in the hope that it will be useful, but WITHOUT ANY
 *  WARRANTY; without even the implied warranty of MERCHANTABILITY or
 *  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
 *  more details.
 *
 *  You should have received a copy of the GNU General Public License along
 *  with RKH, see copying.txt file.
 *
 *  Contact information:
 *  RKH site: http://vortexmakes.com/que-es/
 *  RKH GitHub: https://github.com/vortexmakes/RKH
 *  RKH Sourceforge: https://sourceforge.net/projects/rkh-reactivesys/
 *  e-mail: lf@vortexmakes.com
 *  ---------------------------------------------------------------------------
 */
 
/* -------------------------- Development history -------------------------- */
/*
 *  2015.10.24  LeFr  v2.4.05  Initial version
 */
 
/* -------------------------------- Authors -------------------------------- */
/*
 *  LeFr  Leandro Francucci  lf@vortexmakes.com
 */
 
/* --------------------------------- Notes --------------------------------- */
/* --------------------------------- Module -------------------------------- */
#ifndef __RKHASSERT_H__
#define __RKHASSERT_H__
 
/* ----------------------------- Include files ----------------------------- */
#include "rkhcfg.h"
#include "rkhfwk_module.h"
 
/* ---------------------- External C language linkage ---------------------- */
#ifdef __cplusplus
extern "C" {
#endif
 
/* --------------------------------- Macros -------------------------------- */
#if RKH_CFG_FWK_ASSERT_EN == RKH_ENABLED
    #define RKH_ASSERT(exp) \
        if ((exp)) \
        { \
        } \
        else \
        { \
            rkh_assert(m_name, __LINE__); \
        }
 
    #define RKH_ALLEGE(exp)     RKH_ASSERT(exp)
 
    #define RKH_ERROR()         rkh_assert(m_name, __LINE__)
 
#else
    #define RKH_ASSERT(exp)     ((void)0)
    #define RKH_ALLEGE(exp)     ((void)(exp))
    #define RKH_ERROR()         ((void)0)
#endif
 
#define RKH_REQUIRE(exp)        RKH_ASSERT(exp)
 
#define RKH_ENSURE(exp)         RKH_ASSERT(exp)
 
#define RKH_INVARIANT(exp)      RKH_ASSERT(exp)
 
/* -------------------------------- Constants ------------------------------ */
/* ------------------------------- Data types ------------------------------ */
/* -------------------------- External variables --------------------------- */
/* -------------------------- Function prototypes -------------------------- */
#if RKH_CFG_FWK_ASSERT_EN == RKH_ENABLED
void rkh_assert(const char *const file, int line);
#endif
 
/* -------------------- External C language linkage end -------------------- */
#ifdef __cplusplus
}
#endif
 
/* ------------------------------ Module end ------------------------------- */
#endif
 
/* ------------------------------ End of file ------------------------------ */