Kev Mann / mbed-dev-OS5_10_4

RTC auf true

platform/mbed_assert.h@2:7aab896b1a3b, 2019-03-13 (annotated)

Committer:
kevman
Date:
Wed Mar 13 11:03:24 2019 +0000
Revision:
2:7aab896b1a3b
Parent:
0:38ceb79fef03 
2019-03-13

Who changed what in which revision?

UserRevisionLine numberNew contents of line
kevman 0:38ceb79fef03 1
kevman 0:38ceb79fef03 2 /** \addtogroup platform */
kevman 0:38ceb79fef03 3 /** @{*/
kevman 0:38ceb79fef03 4 /**
kevman 0:38ceb79fef03 5 * \defgroup platform_Assert Assert macros
kevman 0:38ceb79fef03 6 * @{
kevman 0:38ceb79fef03 7 */
kevman 0:38ceb79fef03 8 /* mbed Microcontroller Library
kevman 0:38ceb79fef03 9 * Copyright (c) 2006-2013 ARM Limited
kevman 0:38ceb79fef03 10 *
kevman 0:38ceb79fef03 11 * Licensed under the Apache License, Version 2.0 (the "License");
kevman 0:38ceb79fef03 12 * you may not use this file except in compliance with the License.
kevman 0:38ceb79fef03 13 * You may obtain a copy of the License at
kevman 0:38ceb79fef03 14 *
kevman 0:38ceb79fef03 15 * http://www.apache.org/licenses/LICENSE-2.0
kevman 0:38ceb79fef03 16 *
kevman 0:38ceb79fef03 17 * Unless required by applicable law or agreed to in writing, software
kevman 0:38ceb79fef03 18 * distributed under the License is distributed on an "AS IS" BASIS,
kevman 0:38ceb79fef03 19 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
kevman 0:38ceb79fef03 20 * See the License for the specific language governing permissions and
kevman 0:38ceb79fef03 21 * limitations under the License.
kevman 0:38ceb79fef03 22 */
kevman 0:38ceb79fef03 23 #ifndef MBED_ASSERT_H
kevman 0:38ceb79fef03 24 #define MBED_ASSERT_H
kevman 0:38ceb79fef03 25
kevman 0:38ceb79fef03 26 #include "mbed_preprocessor.h"
kevman 0:38ceb79fef03 27
kevman 0:38ceb79fef03 28 #ifdef __cplusplus
kevman 0:38ceb79fef03 29 extern "C" {
kevman 0:38ceb79fef03 30 #endif
kevman 0:38ceb79fef03 31
kevman 0:38ceb79fef03 32 /** Internal mbed assert function which is invoked when MBED_ASSERT macro fails.
kevman 0:38ceb79fef03 33 * This function is active only if NDEBUG is not defined prior to including this
kevman 0:38ceb79fef03 34 * assert header file.
kevman 0:38ceb79fef03 35 * In case of MBED_ASSERT failing condition, error() is called with the assertation message.
kevman 0:38ceb79fef03 36 * @param expr Expression to be checked.
kevman 0:38ceb79fef03 37 * @param file File where assertation failed.
kevman 0:38ceb79fef03 38 * @param line Failing assertation line number.
kevman 0:38ceb79fef03 39 */
kevman 0:38ceb79fef03 40 void mbed_assert_internal(const char *expr, const char *file, int line);
kevman 0:38ceb79fef03 41
kevman 0:38ceb79fef03 42 #ifdef __cplusplus
kevman 0:38ceb79fef03 43 }
kevman 0:38ceb79fef03 44 #endif
kevman 0:38ceb79fef03 45
kevman 0:38ceb79fef03 46 /** MBED_ASSERT
kevman 0:38ceb79fef03 47 * Declare runtime assertions: results in runtime error if condition is false
kevman 0:38ceb79fef03 48 *
kevman 0:38ceb79fef03 49 * @note
kevman 0:38ceb79fef03 50 * Use of MBED_ASSERT is limited to Debug and Develop builds.
kevman 0:38ceb79fef03 51 *
kevman 0:38ceb79fef03 52 * @code
kevman 0:38ceb79fef03 53 *
kevman 0:38ceb79fef03 54 * int Configure(serial_t *obj) {
kevman 0:38ceb79fef03 55 * MBED_ASSERT(obj);
kevman 0:38ceb79fef03 56 * }
kevman 0:38ceb79fef03 57 * @endcode
kevman 0:38ceb79fef03 58 */
kevman 0:38ceb79fef03 59 #ifdef NDEBUG
kevman 0:38ceb79fef03 60 #define MBED_ASSERT(expr) ((void)0)
kevman 0:38ceb79fef03 61
kevman 0:38ceb79fef03 62 #else
kevman 0:38ceb79fef03 63 #define MBED_ASSERT(expr) \
kevman 0:38ceb79fef03 64 do { \
kevman 0:38ceb79fef03 65 if (!(expr)) { \
kevman 0:38ceb79fef03 66 mbed_assert_internal(#expr, __FILE__, __LINE__); \
kevman 0:38ceb79fef03 67 } \
kevman 0:38ceb79fef03 68 } while (0)
kevman 0:38ceb79fef03 69 #endif
kevman 0:38ceb79fef03 70
kevman 0:38ceb79fef03 71
kevman 0:38ceb79fef03 72 /** MBED_STATIC_ASSERT
kevman 0:38ceb79fef03 73 * Declare compile-time assertions, results in compile-time error if condition is false
kevman 0:38ceb79fef03 74 *
kevman 0:38ceb79fef03 75 * The assertion acts as a declaration that can be placed at file scope, in a
kevman 0:38ceb79fef03 76 * code block (except after a label), or as a member of a C++ class/struct/union.
kevman 0:38ceb79fef03 77 *
kevman 0:38ceb79fef03 78 * @note
kevman 0:38ceb79fef03 79 * Use of MBED_STATIC_ASSERT as a member of a struct/union is limited:
kevman 0:38ceb79fef03 80 * - In C++, MBED_STATIC_ASSERT is valid in class/struct/union scope.
kevman 0:38ceb79fef03 81 * - In C, MBED_STATIC_ASSERT is not valid in struct/union scope, and
kevman 0:38ceb79fef03 82 * MBED_STRUCT_STATIC_ASSERT is provided as an alternative that is valid
kevman 0:38ceb79fef03 83 * in C and C++ class/struct/union scope.
kevman 0:38ceb79fef03 84 *
kevman 0:38ceb79fef03 85 * @code
kevman 0:38ceb79fef03 86 * MBED_STATIC_ASSERT(MBED_LIBRARY_VERSION >= 120,
kevman 0:38ceb79fef03 87 * "The mbed library must be at least version 120");
kevman 0:38ceb79fef03 88 *
kevman 0:38ceb79fef03 89 * int main() {
kevman 0:38ceb79fef03 90 * MBED_STATIC_ASSERT(sizeof(int) >= sizeof(char),
kevman 0:38ceb79fef03 91 * "An int must be larger than a char");
kevman 0:38ceb79fef03 92 * }
kevman 0:38ceb79fef03 93 * @endcode
kevman 0:38ceb79fef03 94 */
kevman 0:38ceb79fef03 95 #if defined(__cplusplus) && (__cplusplus >= 201103L || __cpp_static_assert >= 200410L)
kevman 0:38ceb79fef03 96 #define MBED_STATIC_ASSERT(expr, msg) static_assert(expr, msg)
kevman 0:38ceb79fef03 97 #elif !defined(__cplusplus) && __STDC_VERSION__ >= 201112L
kevman 0:38ceb79fef03 98 #define MBED_STATIC_ASSERT(expr, msg) _Static_assert(expr, msg)
kevman 0:38ceb79fef03 99 #elif defined(__cplusplus) && defined(__GNUC__) && defined(__GXX_EXPERIMENTAL_CXX0X__) \
kevman 0:38ceb79fef03 100 && (__GNUC__*100 + __GNUC_MINOR__) > 403L
kevman 0:38ceb79fef03 101 #define MBED_STATIC_ASSERT(expr, msg) __extension__ static_assert(expr, msg)
kevman 0:38ceb79fef03 102 #elif !defined(__cplusplus) && defined(__GNUC__) && !defined(__CC_ARM) \
kevman 0:38ceb79fef03 103 && (__GNUC__*100 + __GNUC_MINOR__) > 406L
kevman 0:38ceb79fef03 104 #define MBED_STATIC_ASSERT(expr, msg) __extension__ _Static_assert(expr, msg)
kevman 0:38ceb79fef03 105 #elif defined(__ICCARM__)
kevman 0:38ceb79fef03 106 #define MBED_STATIC_ASSERT(expr, msg) static_assert(expr, msg)
kevman 0:38ceb79fef03 107 #else
kevman 0:38ceb79fef03 108 #define MBED_STATIC_ASSERT(expr, msg) \
kevman 0:38ceb79fef03 109 enum {MBED_CONCAT(MBED_ASSERTION_AT_, __LINE__) = sizeof(char[(expr) ? 1 : -1])}
kevman 0:38ceb79fef03 110 #endif
kevman 0:38ceb79fef03 111
kevman 0:38ceb79fef03 112 /** MBED_STRUCT_STATIC_ASSERT
kevman 0:38ceb79fef03 113 * Declare compile-time assertions, results in compile-time error if condition is false
kevman 0:38ceb79fef03 114 *
kevman 0:38ceb79fef03 115 * Unlike MBED_STATIC_ASSERT, MBED_STRUCT_STATIC_ASSERT can and must be used
kevman 0:38ceb79fef03 116 * as a member of a C/C++ class/struct/union.
kevman 0:38ceb79fef03 117 *
kevman 0:38ceb79fef03 118 * @code
kevman 0:38ceb79fef03 119 * struct thing {
kevman 0:38ceb79fef03 120 * MBED_STATIC_ASSERT(2 + 2 == 4,
kevman 0:38ceb79fef03 121 * "Hopefully the universe is mathematically consistent");
kevman 0:38ceb79fef03 122 * };
kevman 0:38ceb79fef03 123 * @endcode
kevman 0:38ceb79fef03 124 */
kevman 0:38ceb79fef03 125 #define MBED_STRUCT_STATIC_ASSERT(expr, msg) int : (expr) ? 0 : -1
kevman 0:38ceb79fef03 126
kevman 0:38ceb79fef03 127
kevman 0:38ceb79fef03 128 #endif
kevman 0:38ceb79fef03 129
kevman 0:38ceb79fef03 130 /**@}*/
kevman 0:38ceb79fef03 131
kevman 0:38ceb79fef03 132 /**@}*/
kevman 0:38ceb79fef03 133