X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fe304706848f0a64477d4687b3ea97d5b9a0c35c..ce3828ea3263c4e26f6af845d25a73f21e526326:/src/mc/remote/Channel.hpp diff --git a/src/mc/remote/Channel.hpp b/src/mc/remote/Channel.hpp index 64d5003089..cd216b4c80 100644 --- a/src/mc/remote/Channel.hpp +++ b/src/mc/remote/Channel.hpp @@ -13,7 +13,7 @@ namespace simgrid { namespace mc { -/** A channel for exchanging messages between model-checker and model-checked +/** A channel for exchanging messages between model-checker and model-checked app * * This abstracts away the way the messages are transferred. Currently, they * are sent over a (connected) `SOCK_SEQPACKET` socket. @@ -26,7 +26,6 @@ class Channel { } public: - Channel() = default; explicit Channel(int sock) : socket_(sock) {} ~Channel(); @@ -34,15 +33,6 @@ public: Channel(Channel const&) = delete; Channel& operator=(Channel const&) = delete; - // Move: - Channel(Channel&& that) : socket_(that.socket_) { that.socket_ = -1; } - Channel& operator=(Channel&& that) - { - this->socket_ = that.socket_; - that.socket_ = -1; - return *this; - } - // Send int send(const void* message, size_t size) const; int send(e_mc_message_type type) const