1 /* Copyright (c) 2016-2022. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #ifndef SIMGRID_XBT_ASSERTS_HPP
7 #define SIMGRID_XBT_ASSERTS_HPP
10 #include <simgrid/Exception.hpp>
17 * @brief Those are the SimGrid version of the good ol' assert macro.
19 * You can pass them a format message and arguments, just as if it where a printf.
21 * If the statement evaluates to false, then a simgrid::AsertionError is thrown.
22 * This is identical to the xbt_assert macro, except that an exception is thrown instead of calling abort().
24 * Unlike the standard assert, xbt_enforce is never disabled, even if the macro NDEBUG is defined at compile time.
25 * Note however that this macro should *not* be used with a condition that has side effects, since the exception can be
28 /** @brief The condition which failed will be displayed.
30 #define xbt_enforce(...) \
31 _XBT_IF_ONE_ARG(_xbt_enforce_ARG1, _xbt_enforce_ARGN, __VA_ARGS__)(__VA_ARGS__)
32 #define _xbt_enforce_ARG1(cond) _xbt_enforce_ARGN((cond), "Assertion %s failed", #cond)
33 #define _xbt_enforce_ARGN(cond, ...) \
36 throw simgrid::AssertionError(__VA_ARGS__); \
42 } // namespace simgrid