1*e985b929SDavid van Moolenbroek /* $NetBSD: tinytest_macros.h,v 1.3 2013/04/12 18:11:40 joerg Exp $ */ 2*e985b929SDavid van Moolenbroek /* tinytest_macros.h -- Copyright 2009-2012 Nick Mathewson 3*e985b929SDavid van Moolenbroek * 4*e985b929SDavid van Moolenbroek * Redistribution and use in source and binary forms, with or without 5*e985b929SDavid van Moolenbroek * modification, are permitted provided that the following conditions 6*e985b929SDavid van Moolenbroek * are met: 7*e985b929SDavid van Moolenbroek * 1. Redistributions of source code must retain the above copyright 8*e985b929SDavid van Moolenbroek * notice, this list of conditions and the following disclaimer. 9*e985b929SDavid van Moolenbroek * 2. Redistributions in binary form must reproduce the above copyright 10*e985b929SDavid van Moolenbroek * notice, this list of conditions and the following disclaimer in the 11*e985b929SDavid van Moolenbroek * documentation and/or other materials provided with the distribution. 12*e985b929SDavid van Moolenbroek * 3. The name of the author may not be used to endorse or promote products 13*e985b929SDavid van Moolenbroek * derived from this software without specific prior written permission. 14*e985b929SDavid van Moolenbroek * 15*e985b929SDavid van Moolenbroek * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 16*e985b929SDavid van Moolenbroek * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 17*e985b929SDavid van Moolenbroek * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 18*e985b929SDavid van Moolenbroek * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 19*e985b929SDavid van Moolenbroek * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 20*e985b929SDavid van Moolenbroek * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 21*e985b929SDavid van Moolenbroek * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 22*e985b929SDavid van Moolenbroek * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 23*e985b929SDavid van Moolenbroek * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 24*e985b929SDavid van Moolenbroek * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 25*e985b929SDavid van Moolenbroek */ 26*e985b929SDavid van Moolenbroek 27*e985b929SDavid van Moolenbroek #ifndef _TINYTEST_MACROS_H 28*e985b929SDavid van Moolenbroek #define _TINYTEST_MACROS_H 29*e985b929SDavid van Moolenbroek 30*e985b929SDavid van Moolenbroek /* Helpers for defining statement-like macros */ 31*e985b929SDavid van Moolenbroek #define TT_STMT_BEGIN do { 32*e985b929SDavid van Moolenbroek #define TT_STMT_END } while (/*CONSTCOND*/0) 33*e985b929SDavid van Moolenbroek 34*e985b929SDavid van Moolenbroek /* Redefine this if your test functions want to abort with something besides 35*e985b929SDavid van Moolenbroek * "goto end;" */ 36*e985b929SDavid van Moolenbroek #ifndef TT_EXIT_TEST_FUNCTION 37*e985b929SDavid van Moolenbroek #define TT_EXIT_TEST_FUNCTION TT_STMT_BEGIN goto end; TT_STMT_END 38*e985b929SDavid van Moolenbroek #endif 39*e985b929SDavid van Moolenbroek 40*e985b929SDavid van Moolenbroek /* Redefine this if you want to note success/failure in some different way. */ 41*e985b929SDavid van Moolenbroek #ifndef TT_DECLARE 42*e985b929SDavid van Moolenbroek #define TT_DECLARE(prefix, args) \ 43*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 44*e985b929SDavid van Moolenbroek printf("\n %s %s:%d: ",prefix,__FILE__,__LINE__); \ 45*e985b929SDavid van Moolenbroek printf args ; \ 46*e985b929SDavid van Moolenbroek TT_STMT_END 47*e985b929SDavid van Moolenbroek #endif 48*e985b929SDavid van Moolenbroek 49*e985b929SDavid van Moolenbroek /* Announce a failure. Args are parenthesized printf args. */ 50*e985b929SDavid van Moolenbroek #define TT_GRIPE(args) TT_DECLARE("FAIL", args) 51*e985b929SDavid van Moolenbroek 52*e985b929SDavid van Moolenbroek /* Announce a non-failure if we're verbose. */ 53*e985b929SDavid van Moolenbroek #define TT_BLATHER(args) \ 54*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 55*e985b929SDavid van Moolenbroek if (_tinytest_get_verbosity()>1) TT_DECLARE(" OK", args); \ 56*e985b929SDavid van Moolenbroek TT_STMT_END 57*e985b929SDavid van Moolenbroek 58*e985b929SDavid van Moolenbroek #define TT_DIE(args) \ 59*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 60*e985b929SDavid van Moolenbroek _tinytest_set_test_failed(); \ 61*e985b929SDavid van Moolenbroek TT_GRIPE(args); \ 62*e985b929SDavid van Moolenbroek TT_EXIT_TEST_FUNCTION; \ 63*e985b929SDavid van Moolenbroek TT_STMT_END 64*e985b929SDavid van Moolenbroek 65*e985b929SDavid van Moolenbroek #define TT_FAIL(args) \ 66*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 67*e985b929SDavid van Moolenbroek _tinytest_set_test_failed(); \ 68*e985b929SDavid van Moolenbroek TT_GRIPE(args); \ 69*e985b929SDavid van Moolenbroek TT_STMT_END 70*e985b929SDavid van Moolenbroek 71*e985b929SDavid van Moolenbroek /* Fail and abort the current test for the reason in msg */ 72*e985b929SDavid van Moolenbroek #define tt_abort_printf(msg) TT_DIE(msg) 73*e985b929SDavid van Moolenbroek #define tt_abort_perror(op) TT_DIE(("%s: %s [%d]",(op),strerror(errno), errno)) 74*e985b929SDavid van Moolenbroek #define tt_abort_msg(msg) TT_DIE(("%s", msg)) 75*e985b929SDavid van Moolenbroek #define tt_abort() TT_DIE(("%s", "(Failed.)")) 76*e985b929SDavid van Moolenbroek 77*e985b929SDavid van Moolenbroek /* Fail but do not abort the current test for the reason in msg. */ 78*e985b929SDavid van Moolenbroek #define tt_fail_printf(msg) TT_FAIL(msg) 79*e985b929SDavid van Moolenbroek #define tt_fail_perror(op) TT_FAIL(("%s: %s [%d]",(op),strerror(errno), errno)) 80*e985b929SDavid van Moolenbroek #define tt_fail_msg(msg) TT_FAIL(("%s", msg)) 81*e985b929SDavid van Moolenbroek #define tt_fail() TT_FAIL(("%s", "(Failed.)")) 82*e985b929SDavid van Moolenbroek 83*e985b929SDavid van Moolenbroek /* End the current test, and indicate we are skipping it. */ 84*e985b929SDavid van Moolenbroek #define tt_skip() \ 85*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 86*e985b929SDavid van Moolenbroek _tinytest_set_test_skipped(); \ 87*e985b929SDavid van Moolenbroek TT_EXIT_TEST_FUNCTION; \ 88*e985b929SDavid van Moolenbroek TT_STMT_END 89*e985b929SDavid van Moolenbroek 90*e985b929SDavid van Moolenbroek #define _tt_want(b, msg, fail) \ 91*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 92*e985b929SDavid van Moolenbroek if (!(b)) { \ 93*e985b929SDavid van Moolenbroek _tinytest_set_test_failed(); \ 94*e985b929SDavid van Moolenbroek TT_GRIPE(("%s",msg)); \ 95*e985b929SDavid van Moolenbroek fail; \ 96*e985b929SDavid van Moolenbroek } else { \ 97*e985b929SDavid van Moolenbroek TT_BLATHER(("%s",msg)); \ 98*e985b929SDavid van Moolenbroek } \ 99*e985b929SDavid van Moolenbroek TT_STMT_END 100*e985b929SDavid van Moolenbroek 101*e985b929SDavid van Moolenbroek /* Assert b, but do not stop the test if b fails. Log msg on failure. */ 102*e985b929SDavid van Moolenbroek #define tt_want_msg(b, msg) \ 103*e985b929SDavid van Moolenbroek _tt_want(b, msg, ); 104*e985b929SDavid van Moolenbroek 105*e985b929SDavid van Moolenbroek /* Assert b and stop the test if b fails. Log msg on failure. */ 106*e985b929SDavid van Moolenbroek #define tt_assert_msg(b, msg) \ 107*e985b929SDavid van Moolenbroek _tt_want(b, msg, TT_EXIT_TEST_FUNCTION); 108*e985b929SDavid van Moolenbroek 109*e985b929SDavid van Moolenbroek /* Assert b, but do not stop the test if b fails. */ 110*e985b929SDavid van Moolenbroek #define tt_want(b) tt_want_msg( (b), "want("#b")") 111*e985b929SDavid van Moolenbroek /* Assert b, and stop the test if b fails. */ 112*e985b929SDavid van Moolenbroek #define tt_assert(b) tt_assert_msg((b), "assert("#b")") 113*e985b929SDavid van Moolenbroek 114*e985b929SDavid van Moolenbroek #define tt_assert_test_fmt_type(a,b,str_test,type,test,printf_type,printf_fmt, \ 115*e985b929SDavid van Moolenbroek setup_block,cleanup_block,die_on_fail) \ 116*e985b929SDavid van Moolenbroek TT_STMT_BEGIN \ 117*e985b929SDavid van Moolenbroek type _val1 = (type)(a); \ 118*e985b929SDavid van Moolenbroek type _val2 = (type)(b); \ 119*e985b929SDavid van Moolenbroek int _tt_status = (test); \ 120*e985b929SDavid van Moolenbroek if (!_tt_status || _tinytest_get_verbosity()>1) { \ 121*e985b929SDavid van Moolenbroek printf_type _print; \ 122*e985b929SDavid van Moolenbroek printf_type _print1; \ 123*e985b929SDavid van Moolenbroek printf_type _print2; \ 124*e985b929SDavid van Moolenbroek type _value = _val1; \ 125*e985b929SDavid van Moolenbroek setup_block; \ 126*e985b929SDavid van Moolenbroek _print1 = _print; \ 127*e985b929SDavid van Moolenbroek _value = _val2; \ 128*e985b929SDavid van Moolenbroek setup_block; \ 129*e985b929SDavid van Moolenbroek _print2 = _print; \ 130*e985b929SDavid van Moolenbroek TT_DECLARE(_tt_status?" OK":"FAIL", \ 131*e985b929SDavid van Moolenbroek ("assert(%s): "printf_fmt" vs "printf_fmt, \ 132*e985b929SDavid van Moolenbroek str_test, _print1, _print2)); \ 133*e985b929SDavid van Moolenbroek _print = _print1; \ 134*e985b929SDavid van Moolenbroek cleanup_block; \ 135*e985b929SDavid van Moolenbroek _print = _print2; \ 136*e985b929SDavid van Moolenbroek cleanup_block; \ 137*e985b929SDavid van Moolenbroek if (!_tt_status) { \ 138*e985b929SDavid van Moolenbroek _tinytest_set_test_failed(); \ 139*e985b929SDavid van Moolenbroek die_on_fail ; \ 140*e985b929SDavid van Moolenbroek } \ 141*e985b929SDavid van Moolenbroek } \ 142*e985b929SDavid van Moolenbroek TT_STMT_END 143*e985b929SDavid van Moolenbroek 144*e985b929SDavid van Moolenbroek #define tt_assert_test_type(a,b,str_test,type,test,fmt,die_on_fail) \ 145*e985b929SDavid van Moolenbroek tt_assert_test_fmt_type(a,b,str_test,type,test,type,fmt, \ 146*e985b929SDavid van Moolenbroek {_print=_value;},{},die_on_fail) 147*e985b929SDavid van Moolenbroek 148*e985b929SDavid van Moolenbroek /* Helper: assert that a op b, when cast to type. Format the values with 149*e985b929SDavid van Moolenbroek * printf format fmt on failure. */ 150*e985b929SDavid van Moolenbroek #define tt_assert_op_type(a,op,b,type,fmt) \ 151*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,type,(_val1 op _val2),fmt, \ 152*e985b929SDavid van Moolenbroek TT_EXIT_TEST_FUNCTION) 153*e985b929SDavid van Moolenbroek 154*e985b929SDavid van Moolenbroek #define tt_int_op(a,op,b) \ 155*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,long,(_val1 op _val2), \ 156*e985b929SDavid van Moolenbroek "%ld",TT_EXIT_TEST_FUNCTION) 157*e985b929SDavid van Moolenbroek 158*e985b929SDavid van Moolenbroek #define tt_uint_op(a,op,b) \ 159*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,unsigned long, \ 160*e985b929SDavid van Moolenbroek (_val1 op _val2),"%lu",TT_EXIT_TEST_FUNCTION) 161*e985b929SDavid van Moolenbroek 162*e985b929SDavid van Moolenbroek #define tt_ptr_op(a,op,b) \ 163*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,const void*, \ 164*e985b929SDavid van Moolenbroek (_val1 op _val2),"%p",TT_EXIT_TEST_FUNCTION) 165*e985b929SDavid van Moolenbroek 166*e985b929SDavid van Moolenbroek #define tt_str_op(a,op,b) \ 167*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,const char *, \ 168*e985b929SDavid van Moolenbroek (strcmp(_val1,_val2) op 0),"<%s>",TT_EXIT_TEST_FUNCTION) 169*e985b929SDavid van Moolenbroek 170*e985b929SDavid van Moolenbroek #define tt_want_int_op(a,op,b) \ 171*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,long,(_val1 op _val2),"%ld",(void)0) 172*e985b929SDavid van Moolenbroek 173*e985b929SDavid van Moolenbroek #define tt_want_uint_op(a,op,b) \ 174*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,unsigned long, \ 175*e985b929SDavid van Moolenbroek (_val1 op _val2),"%lu",(void)0) 176*e985b929SDavid van Moolenbroek 177*e985b929SDavid van Moolenbroek #define tt_want_ptr_op(a,op,b) \ 178*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,const void*, \ 179*e985b929SDavid van Moolenbroek (_val1 op _val2),"%p",(void)0) 180*e985b929SDavid van Moolenbroek 181*e985b929SDavid van Moolenbroek #define tt_want_str_op(a,op,b) \ 182*e985b929SDavid van Moolenbroek tt_assert_test_type(a,b,#a" "#op" "#b,const char *, \ 183*e985b929SDavid van Moolenbroek (strcmp(_val1,_val2) op 0),"<%s>",(void)0) 184*e985b929SDavid van Moolenbroek 185*e985b929SDavid van Moolenbroek #endif 186