-/* 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 xbt_enforce, when an assertion is not satisfied */
+DECLARE_SIMGRID_EXCEPTION(AssertionError);
+
#undef DECLARE_SIMGRID_EXCEPTION
class XBT_PUBLIC ForcefulKillException {
*/
public:
ForcefulKillException() = default;
- explicit ForcefulKillException(const std::string& msg) : msg_(std::string("Actor killed (") + msg + std::string(")."))
- {
- }
+ explicit ForcefulKillException(const std::string& msg) : msg_("Actor killed (" + msg + ").") {}
~ForcefulKillException();
const char* what() const noexcept { return msg_.c_str(); }
static bool try_n_catch(const std::function<void()>& try_block);
private:
- std::string msg_ = std::string("Actor killed.");
+ std::string msg_ = "Actor killed.";
};
} // namespace simgrid