-/* Copyright (c) 2018-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2018-2022. 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. */
xbt::ThrowPoint const& throw_point() const { return throwpoint_; }
/** Allow to carry a value (used by testany/waitany) */
- int get_value() const { return value_; }
- void set_value(int value) { value_ = value; }
+ ssize_t get_value() const { return value_; }
+ void set_value(ssize_t value) { value_ = value; }
std::string resolve_backtrace() const { return throwpoint_.backtrace_.resolve(); }
- virtual void rethrow_nested(simgrid::xbt::ThrowPoint&& throwpoint, const std::string& message) const
+ XBT_ATTRIB_NORETURN virtual void rethrow_nested(simgrid::xbt::ThrowPoint&& throwpoint,
+ const std::string& message) const
{
std::throw_with_nested(Exception(std::move(throwpoint), message));
}
private:
xbt::ThrowPoint throwpoint_;
- int value_ = 0;
+ ssize_t value_ = 0;
};
#define DECLARE_SIMGRID_EXCEPTION(AnyException, ...) \
using Exception::Exception; \
__VA_ARGS__ \
~AnyException() override; \
- void rethrow_nested(simgrid::xbt::ThrowPoint&& throwpoint, const std::string& message) const override \
+ XBT_ATTRIB_NORETURN void rethrow_nested(simgrid::xbt::ThrowPoint&& throwpoint, \
+ const std::string& message) const override \
{ \
std::throw_with_nested(AnyException(std::move(throwpoint), message)); \
} \
DECLARE_SIMGRID_EXCEPTION(ParseError, PARSE_ERROR_CONSTRUCTOR);
#undef PARSE_ERROR_CONSTRUCTOR
+/** Exception raised by s4u_enforce, when an assertion is not satisfied */
+#define ASSERTION_ERROR_CONSTRUCTOR \
+ template<typename... Args> AssertionError(const char * f, Args... args) \
+ : Exception(XBT_THROW_POINT, xbt::string_printf(f, args...)) \
+ { \
+ }
+
+DECLARE_SIMGRID_EXCEPTION(AssertionError, ASSERTION_ERROR_CONSTRUCTOR);
+#undef ASSERTION_ERROR_CONSTRUCTOR
+
#undef DECLARE_SIMGRID_EXCEPTION
class XBT_PUBLIC ForcefulKillException {