From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 10 Jan 2019 08:59:12 +0000 (+0100)
Subject: [sonar] Rename method (don't use "main").
X-Git-Tag: v3_22~615
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/31ab190e8fd70254fe4fc021e2626c8629e477a1?ds=sidebyside

[sonar] Rename method (don't use "main").
---

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index 582059dd2d..a049e86514 100644
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -429,7 +429,7 @@ void CommunicationDeterminismChecker::restoreState()
   }
 }
 
-void CommunicationDeterminismChecker::main()
+void CommunicationDeterminismChecker::real_run()
 {
   std::unique_ptr<simgrid::mc::VisitedState> visited_state = nullptr;
   smx_simcall_t req = nullptr;
@@ -565,7 +565,7 @@ void CommunicationDeterminismChecker::run()
 
   this->prepare();
 
-  this->main();
+  this->real_run();
 }
 
 Checker* createCommunicationDeterminismChecker(Session& session)
diff --git a/src/mc/checker/CommunicationDeterminismChecker.hpp b/src/mc/checker/CommunicationDeterminismChecker.hpp
index 59a0bca421..594c65df86 100644
--- a/src/mc/checker/CommunicationDeterminismChecker.hpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.hpp
@@ -28,7 +28,7 @@ public:
   std::vector<std::string> getTextualTrace() override;
 private:
   void prepare();
-  void main();
+  void real_run();
   void logState() override;
   void deterministic_comm_pattern(int process, simgrid::mc::PatternCommunication* comm, int backtracking);
   void restoreState();