X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fd52ffa61dfc8d90d4a042240a3e389f0b86ca98..49e9f443f655fd07cc8ed1e4ad6ce329ded0fdc3:/src/mc/remote/Channel.hpp diff --git a/src/mc/remote/Channel.hpp b/src/mc/remote/Channel.hpp index 029ef68691..da1f649ae1 100644 --- a/src/mc/remote/Channel.hpp +++ b/src/mc/remote/Channel.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2015-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2015-2023. 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. */ @@ -10,8 +10,7 @@ #include -namespace simgrid { -namespace mc { +namespace simgrid::mc { /** A channel for exchanging messages between model-checker and model-checked app * @@ -20,10 +19,7 @@ namespace mc { */ class Channel { int socket_ = -1; - template static constexpr bool messageType() - { - return std::is_class::value && std::is_trivial::value; - } + template static constexpr bool messageType() { return std::is_class_v && std::is_trivial_v; } public: explicit Channel(int sock) : socket_(sock) {} @@ -41,21 +37,20 @@ public: 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 + template typename std::enable_if_t(), int> send(M const& m) const { return this->send(&m, sizeof(M)); } // Receive - ssize_t receive(void* message, size_t size, bool block = true) const; - template typename std::enable_if(), ssize_t>::type receive(M& m) const + ssize_t receive(void* message, size_t size) const; + template typename std::enable_if_t(), ssize_t> receive(M& m) const { return this->receive(&m, sizeof(M)); } int get_socket() const { return socket_; } }; -} // namespace mc -} // namespace simgrid +} // namespace simgrid::mc #endif