Kill unused function instr_platform_traced().

diff --git a/src/include/surf/surf.hpp b/src/include/surf/surf.hpp
index ea0fdb2..4cd73e2 100644 (file)
--- a/src/include/surf/surf.hpp
+++ b/src/include/surf/surf.hpp
@@ -391,7 +391,6 @@ XBT_PUBLIC(void) parse_platform_file(const char* file);
 
 /* instr_routing.c */
 void instr_routing_define_callbacks();
 
 /* instr_routing.c */
 void instr_routing_define_callbacks();

-int instr_platform_traced();

 xbt_graph_t instr_routing_platform_graph();
 void instr_routing_platform_graph_export_graphviz(xbt_graph_t g, const char* filename);
 
 xbt_graph_t instr_routing_platform_graph();
 void instr_routing_platform_graph_export_graphviz(xbt_graph_t g, const char* filename);
 

diff --git a/src/surf/instr_routing.cpp b/src/surf/instr_routing.cpp
index f6e9639..05c22a1 100644 (file)
--- a/src/surf/instr_routing.cpp
+++ b/src/surf/instr_routing.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2010-2017. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2010-2018. The SimGrid Team. All rights reserved.          */

 
 /* 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. */
 
 /* 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. */


@@ -16,7 +16,6 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_routing, instr, "Tracing platform hierarchy");
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_routing, instr, "Tracing platform hierarchy");
 

-static int platform_created = 0;            /* indicate whether the platform file has been traced */

 static std::vector<simgrid::instr::NetZoneContainer*> currentContainer; /* push and pop, used only in creation */
 
 static const char *instr_node_name (xbt_node_t node)
 static std::vector<simgrid::instr::NetZoneContainer*> currentContainer; /* push and pop, used only in creation */
 
 static const char *instr_node_name (xbt_node_t node)


@@ -263,7 +262,6 @@ static void instr_routing_parse_end_platform ()
                            filter);
   XBT_DEBUG ("Graph extraction finished.");
   delete filter;
                            filter);
   XBT_DEBUG ("Graph extraction finished.");
   delete filter;

-  platform_created = 1;

   TRACE_paje_dump_buffer(true);
 }
 
   TRACE_paje_dump_buffer(true);
 }
 


@@ -346,11 +344,6 @@ void instr_new_value_for_user_state_type(std::string type_name, const char* valu
   recursiveNewValueForUserStateType(type_name, value, color, simgrid::instr::Container::getRoot()->type_);
 }
 
   recursiveNewValueForUserStateType(type_name, value, color, simgrid::instr::Container::getRoot()->type_);
 }
 

-int instr_platform_traced ()
-{
-  return platform_created;
-}
-

 #define GRAPHICATOR_SUPPORT_FUNCTIONS
 
 static void recursiveXBTGraphExtraction(xbt_graph_t graph, std::map<std::string, xbt_node_t>* nodes,
 #define GRAPHICATOR_SUPPORT_FUNCTIONS
 
 static void recursiveXBTGraphExtraction(xbt_graph_t graph, std::map<std::string, xbt_node_t>* nodes,