Shuta Nakamae / nRF51822

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.

Fork of nRF51822 by Nordic Semiconductor

common/assertion.h@374:d57070489710, 2015-07-06 (annotated)

Committer:
rgrover1
Date:
Mon Jul 06 10:21:01 2015 +0100
Revision:
374:d57070489710
Synchronized with git rev 3d87035e

Author: Rohit Grover

fix #16: hide duplicate symbol definitions in ble_types.h

Who changed what in which revision?

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