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 web site:   http://sourceforge.net/projects/rkh-reactivesys/
 *  e-mail:         francuccilea@gmail.com
 *  ---------------------------------------------------------------------------
 */

/* -------------------------- Development history -------------------------- */
/*
 *  2015.10.24  LeFr  v2.4.05  Initial version
 */

/* -------------------------------- Authors -------------------------------- */
/*
 *  LeFr  Leandro Francucci  francuccilea@gmail.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 ------------------------------ */