mc: move some files related to ELF, DWARF or unwind reading into their own directory

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

diff --git a/src/mc/Variable.hpp b/src/mc/inspect/Variable.hpp
similarity index 86%
rename from src/mc/Variable.hpp
rename to src/mc/inspect/Variable.hpp
index b3a0817..8c4f6c2 100644 (file)
--- a/src/mc/Variable.hpp
+++ b/src/mc/inspect/Variable.hpp
@@ -11,8 +11,8 @@
 
 #include <string>
 
+#include "src/mc/inspect/LocationList.hpp"
 #include "src/mc/mc_forward.hpp"
-#include "src/mc/LocationList.hpp"
 
 namespace simgrid {
 namespace mc {
@@ -20,11 +20,11 @@ namespace mc {
 /** A variable (global or local) in the model-checked program */
 class Variable {
 public:
-  Variable() = default;
+  Variable()       = default;
   std::uint32_t id = 0;
-  bool global = false;
+  bool global      = false;
   std::string name;
-  unsigned type_id = 0;
+  unsigned type_id        = 0;
   simgrid::mc::Type* type = nullptr;
 
   /** Address of the variable (if it is fixed) */
@@ -43,7 +43,7 @@ public:
   simgrid::mc::ObjectInformation* object_info = nullptr;
 };
 
-}
-}
+} // namespace mc
+} // namespace simgrid
 
 #endif