-/* Copyright (c) 2008-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2008-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. */
#ifndef SIMGRID_MC_ADDRESS_SPACE_H
#define SIMGRID_MC_ADDRESS_SPACE_H
-#include <cassert>
-#include <cstddef>
-#include <cstdint>
-#include <cstring>
-#include <type_traits>
-
-#include <string>
-#include <vector>
-
#include "src/mc/mc_forward.hpp"
#include "src/mc/remote/RemotePtr.hpp"
public:
constexpr ReadOptions() : value_(0) {}
- constexpr operator bool() const { return value_ != 0; }
+ explicit constexpr operator bool() const { return value_ != 0; }
constexpr bool operator!() const { return value_ == 0; }
constexpr ReadOptions operator|(ReadOptions const& that) const
*/
class AddressSpace {
private:
- Process* process_;
+ RemoteClient* process_;
+
public:
- AddressSpace(Process* process) : process_(process) {}
- virtual ~AddressSpace();
+ explicit AddressSpace(RemoteClient* process) : process_(process) {}
+ virtual ~AddressSpace() = default;
- /** The process of this addres space
+ /** The process of this address space
*
* This is where we can get debug informations, memory layout, etc.
*/
- simgrid::mc::Process* process() const { return process_; }
+ simgrid::mc::RemoteClient* process() const { return process_; }
/** Read data from the address space
*