]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/ObjectInformation.hpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[simix] Make Mutex a C++ class (kind-of)
[simgrid.git] / src / mc / ObjectInformation.hpp
index ac1fd1b2dfb685e1999dd89b7615e95b413141ce..9a55d87bfcdcd8cbc63a8b7731d2beb1b127eae0 100644 (file)
@@ -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"
 
@@ -97,7 +99,10 @@ public:
     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);
 
 }
 }