X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/63c371bbca5afccc4708761d83af6fc2443ca553..c30af81e2d4c73ccdc758a06f9b154cff0ab857b:/src/mc/remote/Channel.hpp diff --git a/src/mc/remote/Channel.hpp b/src/mc/remote/Channel.hpp index ac4fd0c11e..c9de6d6ac9 100644 --- a/src/mc/remote/Channel.hpp +++ b/src/mc/remote/Channel.hpp @@ -19,7 +19,7 @@ namespace mc { /** A channel for exchanging messages between model-checker and model-checked * * This abstracts away the way the messages are transferred. Currently, they - * are sent over a (connected) `SOCK_DGRAM` socket. + * are sent over a (connected) `SOCK_SEQPACKET` socket. */ class Channel { int socket_ = -1; @@ -29,7 +29,7 @@ class Channel { } public: - Channel() {} + Channel() = default; explicit Channel(int sock) : socket_(sock) {} ~Channel(); @@ -53,6 +53,7 @@ public: s_mc_message message = {type}; return this->send(&message, sizeof(message)); } + /** @brief Send a message; returns 0 on success or errno on failure */ template typename std::enable_if(), int>::type send(M const& m) const { return this->send(&m, sizeof(M));