-static std::vector<simgrid::instr::PajeEvent*> buffer;
-
-void dump_comment(const std::string& comment)
-{
- if (not comment.empty())
- tracing_file << "# " << comment << std::endl;
-}
-
-void dump_comment_file(const std::string& filename)
-{
- if (filename.empty())
- return;
- std::ifstream fs(filename.c_str(), std::ifstream::in);
-
- if (fs.fail())
- THROWF(system_error, 1, "Comment file %s could not be opened for reading.", filename.c_str());
-
- while (not fs.eof()) {
- std::string line;
- std::getline(fs, line);
- tracing_file << "# " << line;
- }
- fs.close();
-}
-
-double TRACE_last_timestamp_to_dump = 0;
-//dumps the trace file until the timestamp TRACE_last_timestamp_to_dump
-void TRACE_paje_dump_buffer(bool force)
+double last_timestamp_to_dump = 0;
+// dumps the trace file until the last_timestamp_to_dump
+void dump_buffer(bool force)