X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6760cb07d6b57be16928d95339d71e57c4e24f36..a4d071afeab4b3ff0a50eefbf48a391d4e8978aa:/include/xbt/asserts.h diff --git a/include/xbt/asserts.h b/include/xbt/asserts.h index 7173df7ab8..d3075fff04 100644 --- a/include/xbt/asserts.h +++ b/include/xbt/asserts.h @@ -1,6 +1,6 @@ /* xbt/asserts.h -- assertion mecanism */ -/* Copyright (c) 2005, 2006, 2007, 2009, 2010. The SimGrid Team. +/* 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 @@ -14,44 +14,30 @@ #include "xbt/ex.h" 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 */ +SG_END_DECL() +#endif /* _XBT_ASSERTS_H */