X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ab0bf820128e74dc5e7d9e6413b88bca2621a34e..a368c183d1cef6c5c80f4d32ae7154f70c684b06:/src/mc/AddressSpace.hpp diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp index 0ff146ac86..a5ff9b382e 100644 --- a/src/mc/AddressSpace.hpp +++ b/src/mc/AddressSpace.hpp @@ -12,7 +12,7 @@ #include #include "src/mc/mc_forward.hpp" -#include "src/mc/remote_ptr.hpp" +#include "src/mc/RemotePtr.hpp" namespace simgrid { namespace mc { @@ -116,19 +116,19 @@ public: * @param options */ virtual const void* read_bytes(void* buffer, std::size_t size, - remote_ptr address, int process_index = ProcessIndexAny, + RemotePtr address, int process_index = ProcessIndexAny, ReadOptions options = ReadOptions::none()) const = 0; /** Read a given data structure from the address space */ template inline - void read(T *buffer, remote_ptr ptr, int process_index = ProcessIndexAny) + void read(T *buffer, RemotePtr ptr, int process_index = ProcessIndexAny) { this->read_bytes(buffer, sizeof(T), ptr, process_index); } /** Read a given data structure from the address space */ template inline - T read(remote_ptr ptr, int process_index = ProcessIndexMissing) + T read(RemotePtr ptr, int process_index = ProcessIndexMissing) { static_assert(std::is_trivial::value, "Cannot read a non-trivial type"); T res;