Yoshihiro TSUBOI / BLE_API_Native_IRC

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Dependents:   BLE_Health_Thermometer_IRC BLE_RCBController_micono_test BLE_konashi_PIO_test BLE_ADT7410_TMP102_Sample ... more

Fork of BLE_API_Native_blog by Donal Morrissey

hw/nRF51822n/common/assertion.h@0:4c3097c65247, 2014-02-06 (annotated)

Committer:
ktownsend
Date:
Thu Feb 06 11:51:06 2014 +0000
Revision:
0:4c3097c65247
Native mode drivers

Who changed what in which revision?

UserRevisionLine numberNew contents of line
ktownsend 0:4c3097c65247 1 /**************************************************************************/
ktownsend 0:4c3097c65247 2 /*!
ktownsend 0:4c3097c65247 3 @file assertion.h
ktownsend 0:4c3097c65247 4 @author hathach (tinyusb.org)
ktownsend 0:4c3097c65247 5
ktownsend 0:4c3097c65247 6 @section LICENSE
ktownsend 0:4c3097c65247 7
ktownsend 0:4c3097c65247 8 Software License Agreement (BSD License)
ktownsend 0:4c3097c65247 9
ktownsend 0:4c3097c65247 10 Copyright (c) 2013, K. Townsend (microBuilder.eu)
ktownsend 0:4c3097c65247 11 All rights reserved.
ktownsend 0:4c3097c65247 12
ktownsend 0:4c3097c65247 13 Redistribution and use in source and binary forms, with or without
ktownsend 0:4c3097c65247 14 modification, are permitted provided that the following conditions are met:
ktownsend 0:4c3097c65247 15 1. Redistributions of source code must retain the above copyright
ktownsend 0:4c3097c65247 16 notice, this list of conditions and the following disclaimer.
ktownsend 0:4c3097c65247 17 2. Redistributions in binary form must reproduce the above copyright
ktownsend 0:4c3097c65247 18 notice, this list of conditions and the following disclaimer in the
ktownsend 0:4c3097c65247 19 documentation and/or other materials provided with the distribution.
ktownsend 0:4c3097c65247 20 3. Neither the name of the copyright holders nor the
ktownsend 0:4c3097c65247 21 names of its contributors may be used to endorse or promote products
ktownsend 0:4c3097c65247 22 derived from this software without specific prior written permission.
ktownsend 0:4c3097c65247 23
ktownsend 0:4c3097c65247 24 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ''AS IS'' AND ANY
ktownsend 0:4c3097c65247 25 EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
ktownsend 0:4c3097c65247 26 WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
ktownsend 0:4c3097c65247 27 DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY
ktownsend 0:4c3097c65247 28 DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
ktownsend 0:4c3097c65247 29 INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
ktownsend 0:4c3097c65247 30 LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION HOWEVER CAUSED AND
ktownsend 0:4c3097c65247 31 ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
ktownsend 0:4c3097c65247 32 INCLUDING NEGLIGENCE OR OTHERWISE ARISING IN ANY WAY OUT OF THE USE OF THIS
ktownsend 0:4c3097c65247 33 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
ktownsend 0:4c3097c65247 34 */
ktownsend 0:4c3097c65247 35 /**************************************************************************/
ktownsend 0:4c3097c65247 36
ktownsend 0:4c3097c65247 37 /** \file
ktownsend 0:4c3097c65247 38 * \brief TBD
ktownsend 0:4c3097c65247 39 *
ktownsend 0:4c3097c65247 40 * \note TBD
ktownsend 0:4c3097c65247 41 */
ktownsend 0:4c3097c65247 42
ktownsend 0:4c3097c65247 43 /** \ingroup TBD
ktownsend 0:4c3097c65247 44 * \defgroup TBD
ktownsend 0:4c3097c65247 45 * \brief TBD
ktownsend 0:4c3097c65247 46 *
ktownsend 0:4c3097c65247 47 * @{
ktownsend 0:4c3097c65247 48 */
ktownsend 0:4c3097c65247 49
ktownsend 0:4c3097c65247 50 #ifndef _ASSERTION_H_
ktownsend 0:4c3097c65247 51 #define _ASSERTION_H_
ktownsend 0:4c3097c65247 52
ktownsend 0:4c3097c65247 53 #include "projectconfig.h"
ktownsend 0:4c3097c65247 54
ktownsend 0:4c3097c65247 55 #ifdef __cplusplus
ktownsend 0:4c3097c65247 56 extern "C"
ktownsend 0:4c3097c65247 57 {
ktownsend 0:4c3097c65247 58 #endif
ktownsend 0:4c3097c65247 59
ktownsend 0:4c3097c65247 60 static inline void debugger_breakpoint(void) ATTR_ALWAYS_INLINE;
ktownsend 0:4c3097c65247 61 static inline void debugger_breakpoint(void)
ktownsend 0:4c3097c65247 62 {
ktownsend 0:4c3097c65247 63 #ifndef _TEST_
ktownsend 0:4c3097c65247 64 __asm("BKPT #0\n");
ktownsend 0:4c3097c65247 65 #endif
ktownsend 0:4c3097c65247 66 }
ktownsend 0:4c3097c65247 67
ktownsend 0:4c3097c65247 68 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 69 // Compile-time Assert
ktownsend 0:4c3097c65247 70 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 71 #if defined __COUNTER__ && __COUNTER__ != __COUNTER__
ktownsend 0:4c3097c65247 72 #define _ASSERT_COUNTER __COUNTER__
ktownsend 0:4c3097c65247 73 #else
ktownsend 0:4c3097c65247 74 #define _ASSERT_COUNTER __LINE__
ktownsend 0:4c3097c65247 75 #endif
ktownsend 0:4c3097c65247 76
ktownsend 0:4c3097c65247 77 #define ASSERT_STATIC(const_expr, message) enum { XSTRING_CONCAT_(static_assert_, _ASSERT_COUNTER) = 1/(!!(const_expr)) }
ktownsend 0:4c3097c65247 78
ktownsend 0:4c3097c65247 79 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 80 // Assert Helper
ktownsend 0:4c3097c65247 81 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 82 //#ifndef _TEST_
ktownsend 0:4c3097c65247 83 // #define ASSERT_MESSAGE(format, ...)\
ktownsend 0:4c3097c65247 84 // _PRINTF("Assert at %s: %s: %d: " format "\n", __BASE_FILE__, __PRETTY_FUNCTION__, __LINE__, __VA_ARGS__)
ktownsend 0:4c3097c65247 85 //#else
ktownsend 0:4c3097c65247 86 // #define ASSERT_MESSAGE(format, ...)\
ktownsend 0:4c3097c65247 87 // _PRINTF("%d:note: Assert " format "\n", __LINE__, __VA_ARGS__)
ktownsend 0:4c3097c65247 88 //#endif
ktownsend 0:4c3097c65247 89
ktownsend 0:4c3097c65247 90 #if CFG_DEBUG == 3
ktownsend 0:4c3097c65247 91 #define ASSERT_MESSAGE(format, ...) debugger_breakpoint()
ktownsend 0:4c3097c65247 92 #elif CFG_DEBUG == 2
ktownsend 0:4c3097c65247 93 #define ASSERT_MESSAGE(format, ...) printf("Assert at %s: %s: %d: " format "\n", __BASE_FILE__, __PRETTY_FUNCTION__, __LINE__, __VA_ARGS__)
ktownsend 0:4c3097c65247 94 #else
ktownsend 0:4c3097c65247 95 #define ASSERT_MESSAGE(format, ...)
ktownsend 0:4c3097c65247 96 #endif
ktownsend 0:4c3097c65247 97
ktownsend 0:4c3097c65247 98 #define ASSERT_ERROR_HANDLER(x, para) \
ktownsend 0:4c3097c65247 99 return (x)
ktownsend 0:4c3097c65247 100
ktownsend 0:4c3097c65247 101 #define ASSERT_DEFINE_WITH_HANDLER(error_handler, handler_para, setup_statement, condition, error, format, ...) \
ktownsend 0:4c3097c65247 102 do{\
ktownsend 0:4c3097c65247 103 setup_statement;\
ktownsend 0:4c3097c65247 104 if (!(condition)) {\
ktownsend 0:4c3097c65247 105 ASSERT_MESSAGE(format, __VA_ARGS__);\
ktownsend 0:4c3097c65247 106 error_handler(error, handler_para);\
ktownsend 0:4c3097c65247 107 }\
ktownsend 0:4c3097c65247 108 }while(0)
ktownsend 0:4c3097c65247 109
ktownsend 0:4c3097c65247 110 #define ASSERT_DEFINE(...) ASSERT_DEFINE_WITH_HANDLER(ASSERT_ERROR_HANDLER, NULL, __VA_ARGS__)
ktownsend 0:4c3097c65247 111
ktownsend 0:4c3097c65247 112 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 113 // error_t Status Assert TODO use ASSERT_DEFINE
ktownsend 0:4c3097c65247 114 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 115 #define ASSERT_STATUS_MESSAGE(sts, message) \
ktownsend 0:4c3097c65247 116 ASSERT_DEFINE(error_t status = (error_t)(sts),\
ktownsend 0:4c3097c65247 117 ERROR_NONE == status, status, "%s: %s", ErrorStr[status], message)
ktownsend 0:4c3097c65247 118
ktownsend 0:4c3097c65247 119 #define ASSERT_STATUS(sts) \
ktownsend 0:4c3097c65247 120 ASSERT_DEFINE(error_t status = (error_t)(sts),\
ktownsend 0:4c3097c65247 121 ERROR_NONE == status, status, "error = %d", status)
ktownsend 0:4c3097c65247 122
ktownsend 0:4c3097c65247 123 #define ASSERT_STATUS_RET_VOID(sts) \
ktownsend 0:4c3097c65247 124 ASSERT_DEFINE(error_t status = (error_t)(sts),\
ktownsend 0:4c3097c65247 125 ERROR_NONE == status, (void) 0, "error = %d", status)
ktownsend 0:4c3097c65247 126
ktownsend 0:4c3097c65247 127 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 128 // Logical Assert
ktownsend 0:4c3097c65247 129 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 130 #define ASSERT(...) ASSERT_TRUE(__VA_ARGS__)
ktownsend 0:4c3097c65247 131 #define ASSERT_TRUE(condition , error) ASSERT_DEFINE( , (condition), error, "%s", "evaluated to false")
ktownsend 0:4c3097c65247 132 #define ASSERT_FALSE(condition , error) ASSERT_DEFINE( ,!(condition), error, "%s", "evaluated to true")
ktownsend 0:4c3097c65247 133
ktownsend 0:4c3097c65247 134 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 135 // Pointer Assert
ktownsend 0:4c3097c65247 136 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 137 #define ASSERT_PTR(...) ASSERT_PTR_NOT_NULL(__VA_ARGS__)
ktownsend 0:4c3097c65247 138 #define ASSERT_PTR_NOT_NULL(pointer, error) ASSERT_DEFINE( , NULL != (pointer), error, "%s", "pointer is NULL")
ktownsend 0:4c3097c65247 139 #define ASSERT_PTR_NULL(pointer, error) ASSERT_DEFINE( , NULL == (pointer), error, "%s", "pointer is not NULL")
ktownsend 0:4c3097c65247 140
ktownsend 0:4c3097c65247 141 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 142 // Integral Assert
ktownsend 0:4c3097c65247 143 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 144 #define ASSERT_XXX_EQUAL(type_format, expected, actual, error) \
ktownsend 0:4c3097c65247 145 ASSERT_DEFINE(\
ktownsend 0:4c3097c65247 146 uint32_t exp = (expected); uint32_t act = (actual),\
ktownsend 0:4c3097c65247 147 exp==act,\
ktownsend 0:4c3097c65247 148 error,\
ktownsend 0:4c3097c65247 149 "expected " type_format ", actual " type_format, exp, act)
ktownsend 0:4c3097c65247 150
ktownsend 0:4c3097c65247 151 #define ASSERT_XXX_WITHIN(type_format, lower, upper, actual, error) \
ktownsend 0:4c3097c65247 152 ASSERT_DEFINE(\
ktownsend 0:4c3097c65247 153 uint32_t low = (lower); uint32_t up = (upper); uint32_t act = (actual),\
ktownsend 0:4c3097c65247 154 (low <= act) && (act <= up),\
ktownsend 0:4c3097c65247 155 error,\
ktownsend 0:4c3097c65247 156 "expected within " type_format " - " type_format ", actual " type_format, low, up, act)
ktownsend 0:4c3097c65247 157
ktownsend 0:4c3097c65247 158 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 159 // Integer Assert
ktownsend 0:4c3097c65247 160 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 161 #define ASSERT_INT(...) ASSERT_INT_EQUAL(__VA_ARGS__)
ktownsend 0:4c3097c65247 162 #define ASSERT_INT_EQUAL(...) ASSERT_XXX_EQUAL("%d", __VA_ARGS__)
ktownsend 0:4c3097c65247 163 #define ASSERT_INT_WITHIN(...) ASSERT_XXX_WITHIN("%d", __VA_ARGS__)
ktownsend 0:4c3097c65247 164
ktownsend 0:4c3097c65247 165 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 166 // Hex Assert
ktownsend 0:4c3097c65247 167 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 168 #define ASSERT_HEX(...) ASSERT_HEX_EQUAL(__VA_ARGS__)
ktownsend 0:4c3097c65247 169 #define ASSERT_HEX_EQUAL(...) ASSERT_XXX_EQUAL("0x%x", __VA_ARGS__)
ktownsend 0:4c3097c65247 170 #define ASSERT_HEX_WITHIN(...) ASSERT_XXX_WITHIN("0x%x", __VA_ARGS__)
ktownsend 0:4c3097c65247 171
ktownsend 0:4c3097c65247 172 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 173 // Bin Assert
ktownsend 0:4c3097c65247 174 //--------------------------------------------------------------------+
ktownsend 0:4c3097c65247 175 #define BIN8_PRINTF_PATTERN "%d%d%d%d%d%d%d%d"
ktownsend 0:4c3097c65247 176 #define BIN8_PRINTF_CONVERT(byte) \
ktownsend 0:4c3097c65247 177 ((byte) & 0x80 ? 1 : 0), \
ktownsend 0:4c3097c65247 178 ((byte) & 0x40 ? 1 : 0), \
ktownsend 0:4c3097c65247 179 ((byte) & 0x20 ? 1 : 0), \
ktownsend 0:4c3097c65247 180 ((byte) & 0x10 ? 1 : 0), \
ktownsend 0:4c3097c65247 181 ((byte) & 0x08 ? 1 : 0), \
ktownsend 0:4c3097c65247 182 ((byte) & 0x04 ? 1 : 0), \
ktownsend 0:4c3097c65247 183 ((byte) & 0x02 ? 1 : 0), \
ktownsend 0:4c3097c65247 184 ((byte) & 0x01 ? 1 : 0)
ktownsend 0:4c3097c65247 185
ktownsend 0:4c3097c65247 186 #define ASSERT_BIN8(...) ASSERT_BIN8_EQUAL(__VA_ARGS__)
ktownsend 0:4c3097c65247 187 #define ASSERT_BIN8_EQUAL(expected, actual, error)\
ktownsend 0:4c3097c65247 188 ASSERT_DEFINE(\
ktownsend 0:4c3097c65247 189 uint8_t exp = (expected); uint8_t act = (actual),\
ktownsend 0:4c3097c65247 190 exp==act,\
ktownsend 0:4c3097c65247 191 error,\
ktownsend 0:4c3097c65247 192 "expected " BIN8_PRINTF_PATTERN ", actual " BIN8_PRINTF_PATTERN, BIN8_PRINTF_CONVERT(exp), BIN8_PRINTF_CONVERT(act) )
ktownsend 0:4c3097c65247 193
ktownsend 0:4c3097c65247 194 #ifdef __cplusplus
ktownsend 0:4c3097c65247 195 }
ktownsend 0:4c3097c65247 196 #endif
ktownsend 0:4c3097c65247 197
ktownsend 0:4c3097c65247 198 #endif /* _ASSERTION_H_ */
ktownsend 0:4c3097c65247 199
ktownsend 0:4c3097c65247 200 /** @} */