*
* -->
*
+ * \defgroup debug Debugging facilities and macros
+ * \ingroup core
+ * \{
+ *
* \brief Simple debug facilities for hosted and embedded C/C++ applications.
*
* Debug output goes to stderr in hosted applications.
* Freestanding (AKA embedded) applications use \c drv/kdebug.c to output
* diagnostic messages to a serial terminal or a JTAG debugger.
*
- * \version $Id$
* \author Bernie Innocenti <bernie@codewiz.org>
*
* $WIZ$ module_name = "debug"
* $WIZ$ module_configuration = "bertos/cfg/cfg_debug.h"
* $WIZ$ DEBUG = 1
* $WIZ$ module_depends = "formatwr"
+ * $WIZ$ module_supports = "not atmega103"
*/
#ifndef BERTOS_DEBUG_H
#endif /* !CPU_HARVARD */
#if !CONFIG_KDEBUG_ASSERT_NO_TEXT
+ /**
+ * Assert a pre-condition on code.
+ */
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert(#x, THIS_FILE, __LINE__)))
+ /**
+ * Assert a pre-condition and give explanation message when assert fails
+ */
#define ASSERT2(x, help) ((void)(LIKELY(x) ? 0 : __bassert(help " (" #x ")", THIS_FILE, __LINE__)))
#else
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert("", THIS_FILE, __LINE__)))
#define ASSERT2(x, help) ((void)ASSERT(x))
#endif
+ #define IS_VALID_PTR(p) (LIKELY((void *)(p) >= (void *)CPU_RAM_START))
/**
* Check that the given pointer is either NULL or pointing to valid memory.
*
*
* \see ASSERT_VALID_PTR_OR_NULL()
*/
- #define ASSERT_VALID_PTR(p) ((void)(LIKELY((void *)(p) >= (void *)CPU_RAM_START) \
- ? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__)))
+ #define ASSERT_VALID_PTR(p) (IS_VALID_PTR(p) \
+ ? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__))
/**
* Check that the given pointer is not pointing to invalid memory.
#define ASSERT(x) ((void)0)
#endif /* ASSERT */
#define ASSERT2(x, help) ((void)0)
+ #define IS_VALID_PTR(p) (1)
#define ASSERT_VALID_PTR(p) ((void)0)
#define ASSERT_VALID_PTR_OR_NULL(p) ((void)0)
#define ASSERT_VALID_OBJ(_t, _o) ((void)0)
#endif /* _DEBUG */
+/** \} */ // defgroup debug
+
#endif /* BERTOS_DEBUG_H */