A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Unused code.
[simgrid.git]
/
src
/
mc
/
remote
/
Channel.hpp
diff --git
a/src/mc/remote/Channel.hpp
b/src/mc/remote/Channel.hpp
index
4553718
..
cd216b4
100644
(file)
--- a/
src/mc/remote/Channel.hpp
+++ b/
src/mc/remote/Channel.hpp
@@
-1,5
+1,4
@@
-/* Copyright (c) 2015-2017. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2015-2019. 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. */
/* 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. */
@@
-7,16
+6,14
@@
#ifndef SIMGRID_MC_CHANNEL_HPP
#define SIMGRID_MC_CHANNEL_HPP
#ifndef SIMGRID_MC_CHANNEL_HPP
#define SIMGRID_MC_CHANNEL_HPP
-#include
<unistd.h>
+#include
"src/mc/remote/mc_protocol.h"
#include <type_traits>
#include <type_traits>
-#include "src/mc/remote/mc_protocol.h"
-
namespace simgrid {
namespace mc {
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.
*
* This abstracts away the way the messages are transferred. Currently, they
* are sent over a (connected) `SOCK_SEQPACKET` socket.
@@
-29,7
+26,6
@@
class Channel {
}
public:
}
public:
- Channel() = default;
explicit Channel(int sock) : socket_(sock) {}
~Channel();
explicit Channel(int sock) : socket_(sock) {}
~Channel();
@@
-37,15
+33,6
@@
public:
Channel(Channel const&) = delete;
Channel& operator=(Channel const&) = delete;
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
// Send
int send(const void* message, size_t size) const;
int send(e_mc_message_type type) const
@@
-66,7
+53,7
@@
public:
return this->receive(&m, sizeof(M));
}
return this->receive(&m, sizeof(M));
}
- int get
S
ocket() const { return socket_; }
+ int get
_s
ocket() const { return socket_; }
};
}
}
};
}
}