+ // No copy:
+ CheckerSide(CheckerSide const&) = delete;
+ CheckerSide& operator=(CheckerSide const&) = delete;
+ CheckerSide& operator=(CheckerSide&&) = delete;
+
+ /* Communicating with the application */
+ Channel const& get_channel() const { return channel_; }
+ Channel& get_channel() { return channel_; }
+
+ bool handle_message(const char* buffer, ssize_t size);
+ void dispatch_events() const;
+ void break_loop() const;
+ void wait_for_requests();
+
+ /* Create a new CheckerSide by forking the currently existing one, and connect it through the master_socket */
+ std::unique_ptr<CheckerSide> clone(int master_socket);
+
+ /** Ask the application to run post-mortem analysis, and maybe to stop ASAP */
+ void finalize(bool terminate_asap = false);
+
+ /* Interacting with the application process */
+ pid_t get_pid() const { return pid_; }
+ bool running() const { return running_; }
+ void terminate() { running_ = false; }
+#if SIMGRID_HAVE_STATEFUL_MC
+ RemoteProcessMemory* get_remote_memory() { return remote_memory_.get(); }
+#endif