X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1e18ccad74ce3d49299f1da9022c5d5e4ee76918..c7b463c9c17665403d001fc59cb649551e93d950:/include/xbt/asserts.h diff --git a/include/xbt/asserts.h b/include/xbt/asserts.h index d5b9b9da5c..dcb0e0522b 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, 2006, 2007, 2009, 2010. 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,53 +12,46 @@ #include "xbt/misc.h" #include "xbt/log.h" #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. + * You can pass them a format message and arguments, just as if it where a + * printf. + * 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. * * @{ */ -void xbt_abort(void) _XBT_GNUC_NORETURN; -void xbt_die(const char *msg) _XBT_GNUC_NORETURN; - #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) + @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() +#ifdef XBT_USE_DEPRECATED -#endif /* _XBT_ASSERTS_H */ +#define xbt_assert0(...) xbt_assert(__VA_ARGS__) +#define xbt_assert1(...) xbt_assert(__VA_ARGS__) +#define xbt_assert2(...) xbt_assert(__VA_ARGS__) +#define xbt_assert3(...) xbt_assert(__VA_ARGS__) +#define xbt_assert4(...) xbt_assert(__VA_ARGS__) +#define xbt_assert5(...) xbt_assert(__VA_ARGS__) +#define xbt_assert6(...) xbt_assert(__VA_ARGS__) + +#endif +/** @} */ + SG_END_DECL() +#endif /* _XBT_ASSERTS_H */