X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3203ed1f4fb6f4617e94d5351661ba07e8b8f833..21446da234b79358c6f7ed918e582e7e5a36d8b3:/src/mc/ObjectInformation.hpp

diff --git a/src/mc/ObjectInformation.hpp b/src/mc/ObjectInformation.hpp
index 2b257623db..9a55d87bfc 100644
--- a/src/mc/ObjectInformation.hpp
+++ b/src/mc/ObjectInformation.hpp
@@ -9,11 +9,13 @@
 
 #include <string>
 #include <unordered_map>
+#include <memory>
 #include <vector>
 
 #include <xbt/base.h>
 
-#include "src/mc/mc_forward.h"
+#include "src/xbt/memory_map.hpp"
+#include "src/mc/mc_forward.hpp"
 #include "src/mc/Type.hpp"
 #include "src/mc/Frame.hpp"
 
@@ -88,22 +90,20 @@ public:
     return this->flags & simgrid::mc::ObjectInformation::Executable;
   }
 
-  bool privatized() const
-  {
-#ifdef HAVE_SMPI
-    return this->executable() && smpi_privatize_global_variables;
-#else
-    return false;
-#endif
-  }
-
   void* base_address() const;
 
   simgrid::mc::Frame* find_function(const void *ip) const;
   simgrid::mc::Variable* find_variable(const char* name) const;
-
+  void remove_global_variable(const char* name);
+  void remove_local_variable(
+    const char* name, const char* scope);
 };
 
+XBT_PRIVATE std::shared_ptr<ObjectInformation> createObjectInformation(
+  std::vector<simgrid::xbt::VmMap> const& maps, const char* name);
+XBT_PRIVATE void postProcessObjectInformation(
+  simgrid::mc::Process* process, simgrid::mc::ObjectInformation* info);
+
 }
 }