187 lines
7.7 KiB
C
187 lines
7.7 KiB
C
/**************************************************************************/
|
|
/*!
|
|
@file assertion.h
|
|
@author hathach (tinyusb.org)
|
|
|
|
@section LICENSE
|
|
|
|
Software License Agreement (BSD License)
|
|
|
|
Copyright (c) 2013, hathach (tinyusb.org)
|
|
All rights reserved.
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
modification, are permitted provided that the following conditions are met:
|
|
1. Redistributions of source code must retain the above copyright
|
|
notice, this list of conditions and the following disclaimer.
|
|
2. Redistributions in binary form must reproduce the above copyright
|
|
notice, this list of conditions and the following disclaimer in the
|
|
documentation and/or other materials provided with the distribution.
|
|
3. Neither the name of the copyright holders nor the
|
|
names of its contributors may be used to endorse or promote products
|
|
derived from this software without specific prior written permission.
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ''AS IS'' AND ANY
|
|
EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
|
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY
|
|
DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION HOWEVER CAUSED AND
|
|
ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
INCLUDING NEGLIGENCE OR OTHERWISE ARISING IN ANY WAY OUT OF THE USE OF THIS
|
|
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
This file is part of the tinyusb stack.
|
|
*/
|
|
/**************************************************************************/
|
|
|
|
/** \ingroup Group_Common
|
|
* \defgroup group_assertion Assertion
|
|
* @{ */
|
|
|
|
|
|
#ifndef _TUSB_ASSERTION_H_
|
|
#define _TUSB_ASSERTION_H_
|
|
|
|
#ifdef __cplusplus
|
|
extern "C"
|
|
{
|
|
#endif
|
|
|
|
#include "tusb_option.h"
|
|
#include <stdbool.h>
|
|
#include <stdint.h>
|
|
#include "compiler/compiler.h"
|
|
|
|
#include "tusb_hal.h" // TODO find a way to break hal dependency
|
|
|
|
#define VOID_RETURN
|
|
|
|
//#if ( defined CFG_PRINTF_UART || defined CFG_PRINTF_USBCDC || defined CFG_PRINTF_DEBUG )
|
|
#if TUSB_CFG_DEBUG
|
|
#define _PRINTF(...) printf(__VA_ARGS__)
|
|
#else
|
|
#define _PRINTF(...)
|
|
#endif
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Assert Helper
|
|
//--------------------------------------------------------------------+
|
|
#ifndef _TEST_
|
|
#define _ASSERT_MESSAGE(format, ...) _PRINTF("Assert at %s: %s: %d: " format "\n", __BASE_FILE__, __func__ , __LINE__, __VA_ARGS__)
|
|
#else // TODO remove this
|
|
#define _ASSERT_MESSAGE(format, ...) _PRINTF("%d:note: Assert " format "\n", __LINE__, __VA_ARGS__)
|
|
#endif
|
|
|
|
#ifndef _TEST_ASSERT_
|
|
#define ASSERT_ERROR_HANDLER(x, para) return x
|
|
#else
|
|
#define ASSERT_ERROR_HANDLER(x, para) Throw(x)
|
|
#endif
|
|
|
|
#define ASSERT_DEFINE_WITH_HANDLER(error_handler, handler_para, setup_statement, condition, error, format, ...) \
|
|
do{\
|
|
setup_statement;\
|
|
if (!(condition)) {\
|
|
tusb_hal_dbg_breakpoint();\
|
|
_ASSERT_MESSAGE(format, __VA_ARGS__);\
|
|
error_handler(error, handler_para);\
|
|
}\
|
|
}while(0)
|
|
|
|
#define ASSERT_DEFINE(...) ASSERT_DEFINE_WITH_HANDLER(ASSERT_ERROR_HANDLER, NULL, __VA_ARGS__)
|
|
|
|
//--------------------------------------------------------------------+
|
|
// tusb_error_t Status Assert TODO use ASSERT_DEFINE
|
|
//--------------------------------------------------------------------+
|
|
#define ASSERT_STATUS_MESSAGE(sts, message) \
|
|
ASSERT_DEFINE(tusb_error_t status = (tusb_error_t)(sts),\
|
|
TUSB_ERROR_NONE == status, status, "%s: %s", TUSB_ErrorStr[status], message)
|
|
|
|
#define ASSERT_STATUS(sts) \
|
|
ASSERT_DEFINE(tusb_error_t status = (tusb_error_t)(sts),\
|
|
TUSB_ERROR_NONE == status, status, "%s", TUSB_ErrorStr[status])
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Logical Assert
|
|
//--------------------------------------------------------------------+
|
|
#define ASSERT(...) ASSERT_TRUE(__VA_ARGS__)
|
|
#define ASSERT_TRUE(condition , error) ASSERT_DEFINE( , (condition), error, "%s", "evaluated to false")
|
|
#define ASSERT_FALSE(condition , error) ASSERT_DEFINE( ,!(condition), error, "%s", "evaluated to true")
|
|
#define ASSERT_FAILED(error) ASSERT_DEFINE( , false, error, "%s", "FAILED")
|
|
#define ASSERT_FAILED_MSG(error, msg) ASSERT_DEFINE( , false, error, "FAILED: %s", msg)
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Pointer Assert
|
|
//--------------------------------------------------------------------+
|
|
#define ASSERT_PTR(...) ASSERT_PTR_NOT_NULL(__VA_ARGS__)
|
|
#define ASSERT_PTR_NOT_NULL(pointer, error) ASSERT_DEFINE( , NULL != (pointer), error, "%s", "pointer is NULL")
|
|
#define ASSERT_PTR_NULL(pointer, error) ASSERT_DEFINE( , NULL == (pointer), error, "%s", "pointer is not NULL")
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Integral Assert
|
|
//--------------------------------------------------------------------+
|
|
#define ASSERT_XXX_EQUAL(type_format, expected, actual, error) \
|
|
ASSERT_DEFINE(\
|
|
uint32_t exp = (expected); uint32_t act = (actual),\
|
|
exp==act,\
|
|
error,\
|
|
"expected " type_format ", actual " type_format, exp, act)
|
|
|
|
#define ASSERT_XXX_WITHIN(type_format, lower, upper, actual, error) \
|
|
ASSERT_DEFINE(\
|
|
uint32_t low = (lower); uint32_t up = (upper); uint32_t act = (actual),\
|
|
(low <= act) && (act <= up),\
|
|
error,\
|
|
"expected within " type_format " - " type_format ", actual " type_format, low, up, act)
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Integer Assert
|
|
//--------------------------------------------------------------------+
|
|
#define ASSERT_INT(...) ASSERT_INT_EQUAL(__VA_ARGS__)
|
|
#define ASSERT_INT_EQUAL(...) ASSERT_XXX_EQUAL("%d", __VA_ARGS__)
|
|
#define ASSERT_INT_WITHIN(...) ASSERT_XXX_WITHIN("%d", __VA_ARGS__)
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Hex Assert
|
|
//--------------------------------------------------------------------+
|
|
#define ASSERT_HEX(...) ASSERT_HEX_EQUAL(__VA_ARGS__)
|
|
#define ASSERT_HEX_EQUAL(...) ASSERT_XXX_EQUAL("0x%x", __VA_ARGS__)
|
|
#define ASSERT_HEX_WITHIN(...) ASSERT_XXX_WITHIN("0x%x", __VA_ARGS__)
|
|
|
|
//--------------------------------------------------------------------+
|
|
// Bin Assert
|
|
//--------------------------------------------------------------------+
|
|
#define BIN8_PRINTF_PATTERN "%d%d%d%d%d%d%d%d"
|
|
#define BIN8_PRINTF_CONVERT(byte) \
|
|
((byte) & 0x80 ? 1 : 0), \
|
|
((byte) & 0x40 ? 1 : 0), \
|
|
((byte) & 0x20 ? 1 : 0), \
|
|
((byte) & 0x10 ? 1 : 0), \
|
|
((byte) & 0x08 ? 1 : 0), \
|
|
((byte) & 0x04 ? 1 : 0), \
|
|
((byte) & 0x02 ? 1 : 0), \
|
|
((byte) & 0x01 ? 1 : 0)
|
|
|
|
#define ASSERT_BIN8(...) ASSERT_BIN8_EQUAL(__VA_ARGS__)
|
|
#define ASSERT_BIN8_EQUAL(expected, actual, error)\
|
|
ASSERT_DEFINE(\
|
|
uint8_t exp = (expected); uint8_t act = (actual),\
|
|
exp==act,\
|
|
error,\
|
|
"expected " BIN8_PRINTF_PATTERN ", actual " BIN8_PRINTF_PATTERN, BIN8_PRINTF_CONVERT(exp), BIN8_PRINTF_CONVERT(act) )
|
|
|
|
//--------------------------------------------------------------------+
|
|
// TODO Bit Assert
|
|
//--------------------------------------------------------------------+
|
|
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif /* _TUSB_ASSERTION_H_ */
|
|
|
|
/** @} */
|