[mc] OOPify/C++ify ObjectInformation

[simgrid.git] / src / mc / mc_forward.h

diff --git a/src/mc/mc_forward.h b/src/mc/mc_forward.h
index a247eba..d2ca1cd 100644 (file)
--- a/src/mc/mc_forward.h
+++ b/src/mc/mc_forward.h
@@ -22,6 +22,7 @@ class ModelChecker;
 class AddressSpace;
 class Process;
 class Snapshot;
+class ObjectInformation;
 
 }
 }
@@ -31,6 +32,7 @@ typedef ::simgrid::mc::PageStore s_mc_pages_store_t;
 typedef ::simgrid::mc::AddressSpace s_mc_address_space_t;
 typedef ::simgrid::mc::Process s_mc_process_t;
 typedef ::simgrid::mc::Snapshot s_mc_snapshot_t;
+typedef ::simgrid::mc::ObjectInformation s_mc_object_info_t;
 
 #else
 
@@ -39,10 +41,11 @@ typedef struct _s_mc_pages_store s_mc_pages_store_t;
 typedef struct _s_mc_address_space_t s_mc_address_space_t;
 typedef struct _s_mc_process_t s_mc_process_t;
 typedef struct _s_mc_snapshot_t s_mc_snapshot_t;
+typedef struct _s_mc_object_info_t s_mc_object_info_t;
 
 #endif
 
-typedef struct s_mc_object_info s_mc_object_info_t, *mc_object_info_t;
+
 typedef struct s_dw_type s_dw_type_t, *dw_type_t;
 typedef struct s_memory_map s_memory_map_t, *memory_map_t;
 typedef struct s_dw_variable s_dw_variable_t, *dw_variable_t;
@@ -54,6 +57,7 @@ typedef s_mc_model_checker_t *mc_model_checker_t;
 typedef s_mc_address_space_t *mc_address_space_t;
 typedef s_mc_process_t *mc_process_t;
 typedef s_mc_snapshot_t *mc_snapshot_t;
+typedef s_mc_object_info_t *mc_object_info_t;
 
 SG_BEGIN_DECL()
 extern mc_model_checker_t mc_model_checker;