class StopRequest {
/** @brief Exception launched to kill a process, in order to properly unwind its stack and release RAII stuff
*
- * Nope, Sonar, this should not inherit of std::exception.
+ * Nope, Sonar, this should not inherit of std::exception nor of simgrid::Exception.
* Otherwise, users may accidentally catch it with a try {} catch (std::exception)
*/
+ public:
+ StopRequest() = default;
+ StopRequest(std::string msg) : msg_(msg) { }
+ private:
+ std::string msg_;
};
bool iwannadie;
Context(std::function<void()> code, void_pfn_smxprocess_t cleanup_func, smx_actor_t process);
+ Context(const Context&) = delete;
+ Context& operator=(const Context&) = delete;
+
void operator()() { code_(); }
bool has_code() const { return static_cast<bool>(code_); }
smx_actor_t process() { return this->process_; }
