From: Maxwell Pirtle <maxwellpirtle@gmail.com>
Date: Mon, 6 Feb 2023 15:13:31 +0000 (+0100)
Subject: Add `udpor` namespace
X-Git-Tag: v3.34~462^2~26
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e92731a85139d9ebe033deb0827a8a4deaf3651e

Add `udpor` namespace
---

diff --git a/src/mc/explo/UdporChecker.cpp b/src/mc/explo/UdporChecker.cpp
index d649460be9..726c0af6fa 100644
--- a/src/mc/explo/UdporChecker.cpp
+++ b/src/mc/explo/UdporChecker.cpp
@@ -8,7 +8,7 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_udpor, mc, "Logging specific to MC safety verification ");
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 UdporChecker::UdporChecker(const std::vector<char*>& args) : Exploration(args)
 {
@@ -166,9 +166,13 @@ std::vector<std::string> UdporChecker::get_textual_trace()
   return trace;
 }
 
+} // namespace simgrid::mc::udpor
+
+namespace simgrid::mc {
+
 Exploration* create_udpor_checker(const std::vector<char*>& args)
 {
-  return new UdporChecker(args);
+  return new simgrid::mc::udpor::UdporChecker(args);
 }
 
 } // namespace simgrid::mc
diff --git a/src/mc/explo/UdporChecker.hpp b/src/mc/explo/UdporChecker.hpp
index fec1146ae6..a629aec8a2 100644
--- a/src/mc/explo/UdporChecker.hpp
+++ b/src/mc/explo/UdporChecker.hpp
@@ -13,7 +13,7 @@
 
 #include <optional>
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 /**
  * @brief Performs exploration of a concurrent system via the
@@ -128,6 +128,6 @@ private:
    */
   void clean_up_explore(const UnfoldingEvent* e, const EventSet& C, const EventSet& D);
 };
-} // namespace simgrid::mc
+} // namespace simgrid::mc::udpor
 
 #endif
diff --git a/src/mc/udpor_global.cpp b/src/mc/udpor_global.cpp
index b1bfb054a3..1177ff30c1 100644
--- a/src/mc/udpor_global.cpp
+++ b/src/mc/udpor_global.cpp
@@ -9,8 +9,8 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_udpor_global, mc, "udpor_global");
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 // TODO: Implement methods on EventSet as appropriate
 
-} // namespace simgrid::mc
+} // namespace simgrid::mc::udpor
diff --git a/src/mc/udpor_global.hpp b/src/mc/udpor_global.hpp
index ac4a781ef8..a7892ad72e 100644
--- a/src/mc/udpor_global.hpp
+++ b/src/mc/udpor_global.hpp
@@ -15,7 +15,7 @@
 
 /* TODO: many method declared in this module are not implemented */
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 class UnfoldingEvent;
 class Configuration;
@@ -135,5 +135,5 @@ public:
   Handle record_state(const std::unique_ptr<State>&&);
 };
 
-} // namespace simgrid::mc
+} // namespace simgrid::mc::udpor
 #endif