X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/007e84eaf7247e8987d9cf6f795cb4a93ea66aa5..a4d071afeab4b3ff0a50eefbf48a391d4e8978aa:/include/xbt/asserts.h diff --git a/include/xbt/asserts.h b/include/xbt/asserts.h index 0b719eaad4..d3075fff04 100644 --- a/include/xbt/asserts.h +++ b/include/xbt/asserts.h @@ -1,7 +1,7 @@ -/* $Id$ */ /* xbt/asserts.h -- assertion mecanism */ -/* Copyright (c) 2004,2005 Martin Quinson. All rights reserved. */ +/* Copyright (c) 2005-2007, 2009-2014. The SimGrid Team. + * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -12,51 +12,32 @@ #include "xbt/misc.h" #include "xbt/log.h" #include "xbt/ex.h" - -SG_BEGIN_DECL() +SG_BEGIN_DECL() /** * @addtogroup XBT_error * @brief Those are the SimGrid version of the good ol' assert macro. * * You can pass them a format message and arguments, just as if it where a printf. - * It is converted to a CRITICALn logging request. + * It is converted to a XBT_CRITICAL logging request. + * Be careful: the boolean expression that you want to test should not have side effects, because assertions are + * disabled at compile time if NDEBUG is set. * * @{ */ - #ifdef NDEBUG -#define xbt_assert(cond) -#define xbt_assert0(cond,msg) -#define xbt_assert1(cond,msg,a) -#define xbt_assert2(cond,msg,a,b) -#define xbt_assert3(cond,msg,a,b,c) -#define xbt_assert4(cond,msg,a,b,c,d) -#define xbt_assert5(cond,msg,a,b,c,d,e) -#define xbt_assert6(cond,msg,a,b,c,d,e,f) +#define xbt_assert(...) ((void)0) #else - /** @brief The condition which failed will be displayed. - @hideinitializer */ -#define xbt_assert(cond) if (!(cond)) THROW1(0,0,"Assertion %s failed", #cond) - /** @hideinitializer */ -#define xbt_assert0(cond,msg) if (!(cond)) THROW0(0,0,msg) - /** @hideinitializer */ -#define xbt_assert1(cond,msg,a) if (!(cond)) THROW1(0,0,msg,a) - /** @hideinitializer */ -#define xbt_assert2(cond,msg,a,b) if (!(cond)) THROW2(0,0,msg,a,b) - /** @hideinitializer */ -#define xbt_assert3(cond,msg,a,b,c) if (!(cond)) THROW3(0,0,msg,a,b,c) - /** @hideinitializer */ -#define xbt_assert4(cond,msg,a,b,c,d) if (!(cond)) THROW4(0,0,msg,a,b,c,d) - /** @hideinitializer */ -#define xbt_assert5(cond,msg,a,b,c,d,e) if (!(cond)) THROW5(0,0,msg,a,b,c,d,e) - /** @hideinitializer */ -#define xbt_assert6(cond,msg,a,b,c,d,e,f) if (!(cond)) THROW6(0,0,msg,a,b,c,d,e,f) + /** @brief The condition which failed will be displayed. + @hideinitializer */ +#define xbt_assert(...) \ + _XBT_IF_ONE_ARG(_xbt_assert_ARG1, _xbt_assert_ARGN, __VA_ARGS__)(__VA_ARGS__) +#define _xbt_assert_ARG1(cond) \ + _xbt_assert_ARGN(cond, "Assertion %s failed", #cond) +#define _xbt_assert_ARGN(cond, ...) \ + do { if (!(cond)) THROWF(0, 0, __VA_ARGS__); } while (0) #endif - -/** @} */ - +/** @} */ SG_END_DECL() - -#endif /* _XBT_ASSERTS_H */ +#endif /* _XBT_ASSERTS_H */