Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix include guards
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 29 Jun 2015 08:53:51 +0000 (10:53 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 29 Jun 2015 08:53:51 +0000 (10:53 +0200)
29 files changed:
src/mc/AddressSpace.hpp
src/mc/ModelChecker.hpp
src/mc/PageStore.hpp
src/mc/RegionSnapshot.hpp
src/mc/mc_base.h
src/mc/mc_client.h
src/mc/mc_comm_pattern.h
src/mc/mc_forward.h
src/mc/mc_hash.hpp
src/mc/mc_ignore.h
src/mc/mc_liveness.h
src/mc/mc_location.h
src/mc/mc_memory_map.h
src/mc/mc_mmalloc.h
src/mc/mc_mmu.h
src/mc/mc_object_info.h
src/mc/mc_private.h
src/mc/mc_process.h
src/mc/mc_protocol.h
src/mc/mc_record.h
src/mc/mc_replay.h
src/mc/mc_request.h
src/mc/mc_safety.h
src/mc/mc_server.h
src/mc/mc_smx.h
src/mc/mc_snapshot.h
src/mc/mc_state.h
src/mc/mc_unw.h
src/mc/mcer_ignore.h

index 1da65e8..4481e45 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_ADDRESS_SPACE_H
-#define MC_ADDRESS_SPACE_H
+#ifndef SIMGRID_MC_ADDRESS_SPACE_H
+#define SIMGRID_MC_ADDRESS_SPACE_H
 
 #include <cstdint>
 #include <type_traits>
index f9a1342..fe50841 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
  
-#ifndef MC_MODEL_CHECKER_H
-#define MC_MODEL_CHECKER_H
+#ifndef SIMGRID_MC_MODEL_CHECKER_HPP
+#define SIMGRID_MC_MODEL_CHECKER_HPP
 
 #include <sys/types.h>
 
index 3491f58..f1d84d3 100644 (file)
@@ -4,25 +4,23 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MC_PAGESTORE_HPP
+#define SIMGRID_MC_PAGESTORE_HPP
+
 #include <stdint.h>
 
-#ifdef __cplusplus
 #include <vector>
 
 #include <boost/array.hpp>
 #include <boost/utility.hpp>
 #include <boost/unordered_map.hpp>
 #include <boost/unordered_set.hpp>
-#endif
 
 #include <xbt.h>
 
 #include "mc_mmu.h"
 #include "mc_forward.h"
 
-#ifndef MC_PAGE_STORE_H
-#define MC_PAGE_STORE_H
-
 namespace simgrid {
 namespace mc {
 
index a5f1946..5e09e62 100644 (file)
@@ -4,15 +4,15 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MC_REGION_SNAPSHOT_HPP
+#define SIMGRID_MC_REGION_SNAPSHOT_HPP
+
 #include <cstddef>
 #include <utility>
 
 #include "PageStore.hpp"
 #include "AddressSpace.hpp"
 
-#ifndef SIMGRID_MC_REGION_SNAPSHOT_HPP
-#define SIMGRID_MC_REGION_SNAPSHOT_HPP
-
 namespace simgrid {
 namespace mc {
 
index c3a63c1..45b3cb5 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_BASE_H
-#define MC_BASE_H
+#ifndef SIMGRID_MC_BASE_H
+#define SIMGRID_MC_BASE_H
 
 #include <xbt/misc.h>
 #include <simgrid/simix.h>
index c919dc8..589e625 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_CLIENT_H
-#define MC_CLIENT_H
+#ifndef SIMGRID_MC_CLIENT_H
+#define SIMGRID_MC_CLIENT_H
 
 #include <xbt/misc.h>
 #include "mc_protocol.h"
index 0f50392..54a7036 100644 (file)
@@ -4,6 +4,9 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MC_COMM_PATTERN_H
+#define SIMGRID_MC_COMM_PATTERN_H
+
 #include <stdint.h>
 
 #include <simgrid_config.h>
@@ -15,9 +18,6 @@
 
 #include "mc_state.h"
 
-#ifndef MC_COMM_PATTERN_H
-#define MC_COMM_PATTERN_H
-
 SG_BEGIN_DECL()
 
 typedef struct s_mc_comm_pattern{
index 725382b..a247eba 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_FORWARD_H
-#define MC_FORWARD_H
+#ifndef SIMGRID_MC_FORWARD_H
+#define SIMGRID_MC_FORWARD_H
 
 #include <xbt/misc.h>
 #include <mc/datatypes.h>
index 5362e18..bcf43c4 100644 (file)
@@ -4,6 +4,9 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MC_HASH_HPP
+#define SIMGRID_MC_HASH_HPP
+
 #include <stdio.h>
 #include <stdint.h>
 
@@ -12,9 +15,6 @@
 #include "xbt/misc.h"
 #include "mc_snapshot.h"
 
-#ifndef SIMGRID_MC_HASH_HPP
-#define SIMGRID_MC_HASH_HPP
-
 /** \brief Hash the current state
  *  \param num_state number of states
  *  \param stacks stacks (mc_snapshot_stak_t) used fot the stack unwinding informations
index b5ac593..05986fb 100644 (file)
@@ -3,6 +3,9 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MC_IGNORE_H
+#define SIMGRID_MC_IGNORE_H
+
 #include <xbt/dynar.h>
 
 #include "mc/datatypes.h"
@@ -17,3 +20,5 @@ XBT_INTERNAL void MC_stack_area_add(stack_region_t stack_area);
 XBT_INTERNAL xbt_dynar_t MC_checkpoint_ignore_new(void);
 
 SG_END_DECL();
+
+#endif
index f7edd2e..57f77f7 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_LIVENESS_H
-#define MC_LIVENESS_H
+#ifndef SIMGRID_MC_LIVENESS_H
+#define SIMGRID_MC_LIVENESS_H
 
 #include <stdint.h>
 
index a3b3bb5..d6f6fe4 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_OBJECT_LOCATION_H
-#define MC_OBJECT_LOCATION_H
+#ifndef SIMGRID_MC_OBJECT_LOCATION_H
+#define SIMGRID_MC_OBJECT_LOCATION_H
 
 #include <stdint.h>
 
index afcbb70..21f2bdd 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_MEMORY_MAP_H
-#define MC_MEMORY_MAP_H
+#ifndef SIMGRID_MC_MEMORY_MAP_H
+#define SIMGRID_MC_MEMORY_MAP_H
 
 #include <cstdint>
 
index 987bf89..c1f5ffe 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_MMALLOC_H
-#define MC_MMALLOC_H
+#ifndef SIMGRID_MC_MMALLOC_H
+#define SIMGRID_MC_MMALLOC_H
 
 #include <xbt/misc.h>
 #include <xbt/mmalloc.h>
index f097dac..25d10ce 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_MMU_H
-#define MC_MMU_H
+#ifndef SIMGRID_MC_MMU_H
+#define SIMGRID_MC_MMU_H
 
 #include <stdint.h>
 #include <stdbool.h>
index 9dbf036..b356884 100644 (file)
@@ -8,8 +8,8 @@
  *  Debug information for the MC.
  */
 
-#ifndef MC_OBJECT_INFO_H
-#define MC_OBJECT_INFO_H
+#ifndef SIMGRID_MC_OBJECT_INFO_H
+#define SIMGRID_MC_OBJECT_INFO_H
 
 #include <stdint.h>
 #include <stdbool.h>
index 97f7827..6d8b02f 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_PRIVATE_H
-#define MC_PRIVATE_H
+#ifndef SIMGRID_MC_PRIVATE_H
+#define SIMGRID_MC_PRIVATE_H
 
 #include <sys/types.h>
 
index 4aba8c4..b357134 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_PROCESS_H
-#define MC_PROCESS_H
+#ifndef SIMGRID_MC_PROCESS_H
+#define SIMGRID_MC_PROCESS_H
 
 #include <type_traits>
 
index c71c554..440c502 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_PROTOCOL_H
-#define MC_PROTOCOL_H
+#ifndef SIMGRID_MC_PROTOCOL_H
+#define SIMGRID_MC_PROTOCOL_H
 
 #include <xbt/misc.h>
 
index 1f7a677..08c9af5 100644 (file)
@@ -14,8 +14,8 @@
  *  passed to the application (without the MC specific arguments).
  */
 
-#ifndef MC_RECORD_H
-#define MC_RECORD_H
+#ifndef SIMGRID_MC_RECORD_H
+#define SIMGRID_MC_RECORD_H
 
 #include <stdbool.h>
 
index 2918305..934a30e 100644 (file)
@@ -6,11 +6,11 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include <xbt/misc.h>
-
 #ifndef SIMGRID_MC_REPLAY_H
 #define SIMGRID_MC_REPLAY_H
 
+#include <xbt/misc.h>
+
 SG_BEGIN_DECL()
 
 /** Replay path (if any) in string representation
index 33642d4..c70ad34 100644 (file)
@@ -4,13 +4,13 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MC_REQUEST_H
+#define SIMGRID_MC_REQUEST_H
+
 #include <simgrid_config.h>
 
 #include "../simix/smx_private.h"
 
-#ifndef MC_REQUEST_H
-#define MC_REQUEST_H
-
 SG_BEGIN_DECL()
 
 typedef enum e_mc_request_type {
index 00e4a0f..bd5ab1f 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_SAFETY_H
-#define MC_SAFETY_H
+#ifndef SIMGRID_MC_SAFETY_H
+#define SIMGRID_MC_SAFETY_H
 
 #include <stdint.h>
 
index e1ed05d..e2c1a23 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_SERVER_H
-#define MC_SERVER_H
+#ifndef SIMGRID_MC_SERVER_H
+#define SIMGRID_MC_SERVER_H
 
 #include <poll.h>
 
index 510bd2a..49d69be 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_SMX_H
-#define MC_SMX_H
+#ifndef SIMGRID_MC_SMX_H
+#define SIMGRID_MC_SMX_H
 
 #include <stddef.h>
 
index 8d9ce91..fc2ea78 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_SNAPSHOT_H
-#define MC_SNAPSHOT_H
+#ifndef SIMGRID_MC_SNAPSHOT_H
+#define SIMGRID_MC_SNAPSHOT_H
 
 #include <sys/types.h> // off_t
 #include <stdint.h> // size_t
index f44ac48..152e7a0 100644 (file)
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_STATE_H
-#define MC_STATE_H
+#ifndef SIMGRID_MC_STATE_H
+#define SIMGRID_MC_STATE_H
 
 #include <simgrid_config.h>
 #include "../simix/smx_private.h"
index 38287f1..eac812d 100644 (file)
@@ -5,8 +5,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef MC_UNW_H
-#define MC_UNW_H
+#ifndef SIMGRID_MC_UNW_H
+#define SIMGRID_MC_UNW_H
 
 /** \file
  *  Libunwind implementation for the model-checker
index aa740df..3e80613 100644 (file)
@@ -3,6 +3,9 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#ifndef SIMGRID_MCER_IGNORE_H
+#define SIMGRID_MCER_IGNORE_H
+
 #include <xbt/dynar.h>
 
 #include "mc/datatypes.h"
@@ -17,3 +20,5 @@ XBT_INTERNAL void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region);
 XBT_INTERNAL void MC_heap_region_ignore_remove(void *address, size_t size);
 
 SG_END_DECL();
+
+#endif
\ No newline at end of file