2013-01-13 13:27:17 +01:00
|
|
|
/*
|
|
|
|
* assertion.h
|
|
|
|
*
|
|
|
|
* Created on: Jan 11, 2013
|
|
|
|
* Author: hathach
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Software License Agreement (BSD License)
|
2013-01-27 07:50:40 +01:00
|
|
|
* Copyright (c) 2013, hathach (tinyusb.net)
|
2013-01-13 13:27:17 +01:00
|
|
|
* 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. The name of the author may not be used to endorse or promote products
|
|
|
|
* derived from this software without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``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 AUTHOR 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 tiny usb stack.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/** \file
|
|
|
|
* \brief TBD
|
|
|
|
*
|
|
|
|
* \note TBD
|
|
|
|
*/
|
|
|
|
|
|
|
|
/** \ingroup TBD
|
|
|
|
* \defgroup TBD
|
|
|
|
* \brief TBD
|
|
|
|
*
|
|
|
|
* @{
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _TUSB_ASSERTION_H_
|
|
|
|
#define _TUSB_ASSERTION_H_
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C"
|
|
|
|
{
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include "tusb_option.h"
|
|
|
|
|
2013-02-26 11:28:05 +01:00
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
// Compile-time Assert
|
|
|
|
//--------------------------------------------------------------------+
|
2013-03-04 09:01:33 +01:00
|
|
|
#ifdef __ICCARM__
|
|
|
|
#define STATIC_ASSERT static_assert
|
2013-02-26 11:28:05 +01:00
|
|
|
#else
|
2013-03-04 09:01:33 +01:00
|
|
|
#if defined __COUNTER__ && __COUNTER__ != __COUNTER__
|
|
|
|
#define _ASSERT_COUNTER __COUNTER__
|
|
|
|
#else
|
|
|
|
#define _ASSERT_COUNTER __LINE__
|
|
|
|
#endif
|
2013-02-28 09:03:18 +01:00
|
|
|
|
2013-03-04 09:01:33 +01:00
|
|
|
#define STATIC_ASSERT(const_expr, message) enum { XSTRING_CONCAT_(static_assert_, _ASSERT_COUNTER) = 1/(!!(const_expr)) }
|
|
|
|
#endif
|
2013-03-03 18:46:40 +01:00
|
|
|
|
2013-01-13 13:27:17 +01:00
|
|
|
//#if ( defined CFG_PRINTF_UART || defined CFG_PRINTF_USBCDC || defined CFG_PRINTF_DEBUG )
|
2013-02-28 09:03:18 +01:00
|
|
|
#if TUSB_CFG_DEBUG == 3
|
2013-01-13 13:27:17 +01:00
|
|
|
#define _PRINTF(...) printf(__VA_ARGS__)
|
|
|
|
#else
|
|
|
|
#define _PRINTF(...)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
// Assert Helper
|
|
|
|
//--------------------------------------------------------------------+
|
2013-02-06 07:15:12 +01:00
|
|
|
#ifndef _TEST_
|
|
|
|
#define ASSERT_MESSAGE(format, ...)\
|
|
|
|
_PRINTF("Assert at %s: %s: %d: " format "\n", __BASE_FILE__, __PRETTY_FUNCTION__, __LINE__, __VA_ARGS__)
|
|
|
|
#else
|
|
|
|
#define ASSERT_MESSAGE(format, ...)\
|
|
|
|
_PRINTF("%d:note: Assert " format "\n", __LINE__, __VA_ARGS__)
|
|
|
|
#endif
|
2013-01-22 11:41:06 +01:00
|
|
|
|
|
|
|
#ifndef _TEST_ASSERT_
|
2013-02-06 06:03:01 +01:00
|
|
|
#define ASSERT_ERROR_HANDLER(x, para) return (x)
|
2013-01-22 11:41:06 +01:00
|
|
|
#else
|
2013-02-06 06:03:01 +01:00
|
|
|
#define ASSERT_ERROR_HANDLER(x, para) Throw(x)
|
2013-01-22 11:41:06 +01:00
|
|
|
#endif
|
|
|
|
|
2013-02-06 06:03:01 +01:00
|
|
|
#define ASSERT_DEFINE_WITH_HANDLER(error_handler, handler_para, setup_statement, condition, error, format, ...) \
|
2013-01-13 13:27:17 +01:00
|
|
|
do{\
|
2013-01-13 14:00:01 +01:00
|
|
|
setup_statement;\
|
|
|
|
if (!(condition)) {\
|
2013-02-02 09:36:20 +01:00
|
|
|
ASSERT_MESSAGE(format, __VA_ARGS__);\
|
2013-02-06 06:03:01 +01:00
|
|
|
error_handler(error, handler_para);\
|
2013-01-13 13:27:17 +01:00
|
|
|
}\
|
|
|
|
}while(0)
|
|
|
|
|
2013-02-06 06:03:01 +01:00
|
|
|
#define ASSERT_DEFINE(...) ASSERT_DEFINE_WITH_HANDLER(ASSERT_ERROR_HANDLER, NULL, __VA_ARGS__)
|
|
|
|
|
2013-01-13 13:27:17 +01:00
|
|
|
//--------------------------------------------------------------------+
|
2013-01-22 11:41:06 +01:00
|
|
|
// tusb_error_t Status Assert TODO use ASSERT_DEFINE
|
2013-01-13 13:27:17 +01:00
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
#define ASSERT_STATUS_MESSAGE(sts, message) \
|
2013-01-22 11:41:06 +01:00
|
|
|
ASSERT_DEFINE(tusb_error_t status = (tusb_error_t)(sts),\
|
|
|
|
TUSB_ERROR_NONE == status, status, "%s: %s", TUSB_ErrorStr[status], message)
|
2013-01-13 13:27:17 +01:00
|
|
|
|
2013-01-22 11:41:06 +01:00
|
|
|
#define ASSERT_STATUS(sts) \
|
|
|
|
ASSERT_DEFINE(tusb_error_t status = (tusb_error_t)(sts),\
|
|
|
|
TUSB_ERROR_NONE == status, status, "%s", TUSB_ErrorStr[status])
|
2013-01-13 13:27:17 +01:00
|
|
|
|
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
// Logical Assert
|
|
|
|
//--------------------------------------------------------------------+
|
2013-01-13 18:41:23 +01:00
|
|
|
#define ASSERT(...) ASSERT_TRUE(__VA_ARGS__)
|
2013-01-18 08:39:42 +01:00
|
|
|
#define ASSERT_TRUE(condition , error) ASSERT_DEFINE( , (condition), error, "%s", "evaluated to false")
|
2013-01-13 18:41:23 +01:00
|
|
|
#define ASSERT_FALSE(condition , error) ASSERT_DEFINE( ,!(condition), error, "%s", "evaluated to true")
|
2013-01-13 13:27:17 +01:00
|
|
|
|
|
|
|
//--------------------------------------------------------------------+
|
2013-01-22 11:41:06 +01:00
|
|
|
// 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
|
2013-01-13 13:27:17 +01:00
|
|
|
//--------------------------------------------------------------------+
|
2013-01-13 18:41:23 +01:00
|
|
|
#define ASSERT_XXX_EQUAL(type_format, expected, actual, error) \
|
2013-01-13 14:09:51 +01:00
|
|
|
ASSERT_DEFINE(\
|
|
|
|
uint32_t exp = (expected); uint32_t act = (actual),\
|
|
|
|
exp==act,\
|
|
|
|
error,\
|
2013-01-13 18:41:23 +01:00
|
|
|
"expected " type_format ", actual " type_format, exp, act)
|
2013-01-13 14:09:51 +01:00
|
|
|
|
2013-01-13 18:41:23 +01:00
|
|
|
#define ASSERT_XXX_WITHIN(type_format, lower, upper, actual, error) \
|
2013-01-13 14:09:51 +01:00
|
|
|
ASSERT_DEFINE(\
|
|
|
|
uint32_t low = (lower); uint32_t up = (upper); uint32_t act = (actual),\
|
|
|
|
(low <= act) && (act <= up),\
|
|
|
|
error,\
|
2013-01-13 18:41:23 +01:00
|
|
|
"expected within " type_format " - " type_format ", actual " type_format, low, up, act)
|
|
|
|
|
2013-01-22 11:41:06 +01:00
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
// Integer Assert
|
|
|
|
//--------------------------------------------------------------------+
|
2013-01-13 18:41:23 +01:00
|
|
|
#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__)
|
2013-01-13 13:27:17 +01:00
|
|
|
|
2013-01-13 14:39:01 +01:00
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
// Hex Assert
|
|
|
|
//--------------------------------------------------------------------+
|
2013-01-13 18:41:23 +01:00
|
|
|
#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__)
|
2013-01-13 13:27:17 +01:00
|
|
|
|
2013-01-18 08:39:42 +01:00
|
|
|
//--------------------------------------------------------------------+
|
2013-01-22 11:41:06 +01:00
|
|
|
// TODO Bin Assert
|
|
|
|
//--------------------------------------------------------------------+
|
2013-01-31 05:05:33 +01:00
|
|
|
#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) )
|
2013-01-22 11:41:06 +01:00
|
|
|
|
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
// TODO Bit Assert
|
2013-01-18 08:39:42 +01:00
|
|
|
//--------------------------------------------------------------------+
|
|
|
|
|
|
|
|
|
2013-01-13 13:27:17 +01:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* _TUSB_ASSERTION_H_ */
|
|
|
|
|
|
|
|
/** @} */
|