have a on_completion per activity type to save users some dynamic_cast-based filtering

[simgrid.git] / src / mc / inspect / mc_unw.hpp

diff --git a/src/mc/inspect/mc_unw.hpp b/src/mc/inspect/mc_unw.hpp
index ce9d39c7b980cae20a52da2356e608eb3cfacea0..6291c1ce4d73cce92995c15b1d781a00af1925b1 100644 (file)
--- a/src/mc/inspect/mc_unw.hpp
+++ b/src/mc/inspect/mc_unw.hpp
@@ -40,12 +40,12 @@ XBT_PRIVATE void* create_context(unw_addr_space_t as, pid_t pid);
 namespace simgrid::mc {
 
 class UnwindContext {
-  simgrid::mc::AddressSpace* address_space_ = nullptr;
-  simgrid::mc::RemoteProcess* process_      = nullptr;
-  unw_context_t unwind_context_             = {};
+  simgrid::mc::AddressSpace* address_space_  = nullptr;
+  simgrid::mc::RemoteProcessMemory* process_ = nullptr;
+  unw_context_t unwind_context_              = {};
 
 public:
-  void initialize(simgrid::mc::RemoteProcess* process, unw_context_t* c);
+  void initialize(simgrid::mc::RemoteProcessMemory& process, const unw_context_t* c);
   unw_cursor_t cursor();
 
 private: // Methods and virtual table for libunwind