129 lines
4.8 KiB
C
129 lines
4.8 KiB
C
|
/**************************************************************************/
|
||
|
|
/*!
|
||
|
|
@file verify.h
|
||
|
|
@author hathach
|
||
|
|
|
||
|
|
@section LICENSE
|
||
|
|
|
||
|
|
Software License Agreement (BSD License)
|
||
|
|
|
||
|
|
Copyright (c) 2018, 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.
|
||
|
|
*/
|
||
|
|
/**************************************************************************/
|
||
|
|
#ifndef VERIFY_H_
|
||
|
|
#define VERIFY_H_
|
||
|
|
|
||
|
|
#include "tusb_option.h"
|
||
|
|
#include <stdbool.h>
|
||
|
|
#include <stdint.h>
|
||
|
|
#include "compiler/compiler.h"
|
||
|
|
|
||
|
|
#ifdef __cplusplus
|
||
|
|
extern "C" {
|
||
|
|
#endif
|
||
|
|
|
||
|
|
//--------------------------------------------------------------------+
|
||
|
|
// Compile-time Verify
|
||
|
|
//--------------------------------------------------------------------+
|
||
|
|
#if defined __COUNTER__ && __COUNTER__ != __COUNTER__
|
||
|
|
#define _VERIFY_COUNTER __COUNTER__
|
||
|
|
#else
|
||
|
|
#define _VERIFY_COUNTER __LINE__
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#define VERIFY_STATIC(const_expr) enum { XSTRING_CONCAT_(static_verify_, _VERIFY_COUNTER) = 1/(!!(const_expr)) }
|
||
|
|
|
||
|
|
//--------------------------------------------------------------------+
|
||
|
|
// VERIFY Helper
|
||
|
|
//--------------------------------------------------------------------+
|
||
|
|
#if TUSB_CFG_DEBUG >= 1
|
||
|
|
// #define VERIFY_MESS(format, ...) cprintf("[%08ld] %s: %d: verify failed\n", get_millis(), __func__, __LINE__)
|
||
|
|
#define VERIFY_MESS(_status) cprintf("%s: %d: verify failed, error = %s\n", __PRETTY_FUNCTION__, __LINE__, dbg_err_str(_status));
|
||
|
|
#else
|
||
|
|
#define VERIFY_MESS(_status)
|
||
|
|
#endif
|
||
|
|
|
||
|
|
|
||
|
|
#define VERIFY_DEFINE(_status, _error) \
|
||
|
|
if ( 0 != _status ) { \
|
||
|
|
VERIFY_MESS(_status) \
|
||
|
|
return _error; \
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Helper to implement optional parameter for VERIFY Macro family
|
||
|
|
*/
|
||
|
|
#define VERIFY_GETARGS(arg1, arg2, arg3, ...) arg3
|
||
|
|
|
||
|
|
/*------------------------------------------------------------------*/
|
||
|
|
/* VERIFY STATUS
|
||
|
|
* - VERIFY_STS_1ARGS : return status of condition if failed
|
||
|
|
* - VERIFY_STS_2ARGS : return provided status code if failed
|
||
|
|
*------------------------------------------------------------------*/
|
||
|
|
#define VERIFY_STS_1ARGS(sts) \
|
||
|
|
do { \
|
||
|
|
uint32_t _status = (uint32_t)(sts); \
|
||
|
|
VERIFY_DEFINE(_status, _status);\
|
||
|
|
} while(0)
|
||
|
|
|
||
|
|
#define VERIFY_STS_2ARGS(sts, _error) \
|
||
|
|
do { \
|
||
|
|
uint32_t _status = (uint32_t)(sts); \
|
||
|
|
VERIFY_DEFINE(_status, _error);\
|
||
|
|
} while(0)
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Check if status is success (zero), otherwise return
|
||
|
|
* - status value if called with 1 parameter e.g VERIFY_STATUS(status)
|
||
|
|
* - 2 parameter if called with 2 parameters e.g VERIFY_STATUS(status, errorcode)
|
||
|
|
*/
|
||
|
|
#define VERIFY_STATUS(...) VERIFY_GETARGS(__VA_ARGS__, VERIFY_STS_2ARGS, VERIFY_STS_1ARGS)(__VA_ARGS__)
|
||
|
|
|
||
|
|
|
||
|
|
/*------------------------------------------------------------------*/
|
||
|
|
/* VERIFY
|
||
|
|
* - VERIFY_1ARGS : return condition if failed (false)
|
||
|
|
* - VERIFY_2ARGS : return provided value if failed
|
||
|
|
*------------------------------------------------------------------*/
|
||
|
|
#define VERIFY_1ARGS(cond) if (!(cond)) return false;
|
||
|
|
#define VERIFY_2ARGS(cond, _error) if (!(cond)) return _error;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Check if condition is success (true), otherwise return
|
||
|
|
* - false value if called with 1 parameter e.g VERIFY(condition)
|
||
|
|
* - 2 parameter if called with 2 parameters e.g VERIFY(condition, errorcode)
|
||
|
|
*/
|
||
|
|
#define VERIFY(...) VERIFY_GETARGS(__VA_ARGS__, VERIFY_2ARGS, VERIFY_1ARGS)(__VA_ARGS__)
|
||
|
|
|
||
|
|
// TODO VERIFY with final statement
|
||
|
|
|
||
|
|
|
||
|
|
#ifdef __cplusplus
|
||
|
|
}
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#endif /* VERIFY_H_ */
|