Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 6 Oct 2015 09:33:21 +0000 (11:33 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 9 Oct 2015 12:11:23 +0000 (14:11 +0200)
15 files changed:
src/mc/ModelChecker.hpp
src/mc/Process.cpp [moved from src/mc/mc_process.cpp with 99% similarity]
src/mc/Process.hpp [moved from src/mc/mc_process.h with 100% similarity]
src/mc/mc_base.cpp
src/mc/mc_dwarf.cpp
src/mc/mc_ignore.h
src/mc/mc_server.h
src/mc/mc_smx.h
src/mc/mc_unw.cpp
src/mc/mc_unw.h
src/mc/mc_visited.cpp
src/mc/mcer_ignore.h
teshsuite/mc/dwarf/dwarf.cpp
teshsuite/mc/dwarf_expression/dwarf_expression.cpp
tools/cmake/DefinePackages.cmake

index 846ea2b..2e72956 100644 (file)
@@ -14,8 +14,8 @@
 #include <xbt/base.h>
 
 #include "mc_forward.hpp"
 #include <xbt/base.h>
 
 #include "mc_forward.hpp"
-#include "mc_process.h"
-#include "PageStore.hpp"
+#include "mc/Process.hpp"
+#include "mc/PageStore.hpp"
 #include "mc_protocol.h"
 
 namespace simgrid {
 #include "mc_protocol.h"
 
 namespace simgrid {
similarity index 99%
rename from src/mc/mc_process.cpp
rename to src/mc/Process.cpp
index 2a70cb5..67a18b3 100644 (file)
@@ -27,7 +27,6 @@
 
 #include <xbt/mmalloc.h>
 
 
 #include <xbt/mmalloc.h>
 
-#include "mc_process.h"
 #include "mc_object_info.h"
 #include "mc_unw.h"
 #include "mc_snapshot.h"
 #include "mc_object_info.h"
 #include "mc_unw.h"
 #include "mc_snapshot.h"
@@ -35,6 +34,7 @@
 #include "mc_smx.h"
 #include "mc_server.h"
 
 #include "mc_smx.h"
 #include "mc_server.h"
 
+#include "mc/Process.hpp"
 #include "mc/AddressSpace.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
 #include "mc/AddressSpace.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
similarity index 100%
rename from src/mc/mc_process.h
rename to src/mc/Process.hpp
index 74c8268..f38cf7b 100644 (file)
@@ -16,8 +16,8 @@
 #include "mc_protocol.h"
 
 #ifdef HAVE_MC
 #include "mc_protocol.h"
 
 #ifdef HAVE_MC
-#include "mc_process.h"
-#include "ModelChecker.hpp"
+#include "mc/Process.hpp"
+#include "mc/ModelChecker.hpp"
 #include "mc_smx.h"
 #include "mc_server.h"
 #endif
 #include "mc_smx.h"
 #include "mc_server.h"
 #endif
index 185d4be..b4eece9 100644 (file)
@@ -24,8 +24,8 @@
 
 #include "mc_object_info.h"
 #include "mc_private.h"
 
 #include "mc_object_info.h"
 #include "mc_private.h"
-#include "mc_process.h"
 
 
+#include "mc/Process.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
 
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
 
index f789493..a9b134d 100644 (file)
@@ -10,7 +10,7 @@
 #include <xbt/dynar.h>
 
 #include "mc/datatypes.h"
 #include <xbt/dynar.h>
 
 #include "mc/datatypes.h"
-#include "mc_process.h"
+#include "mc/Process.hpp"
 
 #include "xbt/misc.h"           /* SG_BEGIN_DECL */
 
 
 #include "xbt/misc.h"           /* SG_BEGIN_DECL */
 
index 422172b..f5457e1 100644 (file)
@@ -17,7 +17,7 @@
 #include <xbt/misc.h>
 #include <xbt/base.h>
  
 #include <xbt/misc.h>
 #include <xbt/base.h>
  
-#include "mc_process.h"
+#include "mc/Process.hpp"
 #include "mc_exit.h"
 
 SG_BEGIN_DECL()
 #include "mc_exit.h"
 
 SG_BEGIN_DECL()
index 8872498..db1bf86 100644 (file)
@@ -14,7 +14,7 @@
 
 #include "smpi/private.h"
 
 
 #include "smpi/private.h"
 
-#include "mc_process.h"
+#include "mc/Process.hpp"
 #include "mc_protocol.h"
 
 /** @file
 #include "mc_protocol.h"
 
 /** @file
index 899b403..4fc030f 100644 (file)
@@ -19,7 +19,7 @@
 #include <libunwind.h>
 
 #include "mc_object_info.h"
 #include <libunwind.h>
 
 #include "mc_object_info.h"
-#include "mc_process.h"
+#include "mc/Process.hpp"
 #include "mc_unw.h"
 #include "mc/Frame.hpp"
 
 #include "mc_unw.h"
 #include "mc/Frame.hpp"
 
index 1a22b84..915c445 100644 (file)
@@ -28,7 +28,7 @@
 
 #include <xbt/base.h>
 
 
 #include <xbt/base.h>
 
-#include "mc_process.h"
+#include "mc/Process.hpp"
 
 SG_BEGIN_DECL()
 
 
 SG_BEGIN_DECL()
 
index 104576b..6498965 100644 (file)
@@ -11,7 +11,7 @@
 #include "mc_safety.h"
 #include "mc_liveness.h"
 #include "mc_private.h"
 #include "mc_safety.h"
 #include "mc_liveness.h"
 #include "mc_private.h"
-#include "mc_process.h"
+#include "mc/Process.hpp"
 #include "mc_smx.h"
 
 extern "C" {
 #include "mc_smx.h"
 
 extern "C" {
index db38400..d5f5529 100644 (file)
@@ -10,7 +10,7 @@
 #include <xbt/dynar.h>
 
 #include "mc/datatypes.h"
 #include <xbt/dynar.h>
 
 #include "mc/datatypes.h"
-#include "mc/mc_process.h"
+#include "mc/Process.hpp"
 
 #include "xbt/misc.h"           /* SG_BEGIN_DECL */
 
 
 #include "xbt/misc.h"           /* SG_BEGIN_DECL */
 
index ee7138c..d110ac6 100644 (file)
@@ -17,8 +17,8 @@
 #include "mc/datatypes.h"
 #include "mc/mc_object_info.h"
 #include "mc/mc_private.h"
 #include "mc/datatypes.h"
 #include "mc/mc_object_info.h"
 #include "mc/mc_private.h"
-#include "mc/mc_process.h"
 
 
+#include "mc/Process.hpp"
 #include "mc/Type.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
 #include "mc/Type.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
index 32798ad..98ce207 100644 (file)
 #include <assert.h>
 #include <stdlib.h>
 
 #include <assert.h>
 #include <stdlib.h>
 
-#include "mc/mc_process.h"
 #include "mc/mc_private.h"
 #include "mc/mc_object_info.h"
 
 #include "mc/mc_private.h"
 #include "mc/mc_object_info.h"
 
+#include "mc/Process.hpp"
 #include "mc/Type.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
 #include "mc/Type.hpp"
 #include "mc/ObjectInformation.hpp"
 #include "mc/Variable.hpp"
index 6daa09f..52ab426 100644 (file)
@@ -616,8 +616,8 @@ set(MC_SRC
 
   src/mc/mc_forward.h
   src/mc/mc_forward.hpp
 
   src/mc/mc_forward.h
   src/mc/mc_forward.hpp
-  src/mc/mc_process.h
-  src/mc/mc_process.cpp
+  src/mc/Process.hpp
+  src/mc/Process.cpp
   src/mc/mc_unw.h
   src/mc/mc_unw.cpp
   src/mc/mc_unw_vmread.cpp
   src/mc/mc_unw.h
   src/mc/mc_unw.cpp
   src/mc/mc_unw_vmread.cpp