-std::vector<simgrid::instr::PajeEvent*> buffer;
-void buffer_debug(std::vector<simgrid::instr::PajeEvent*>* buf);
-
-void dump_comment(std::string comment)
-{
- if (not comment.empty())
- tracing_file << "# " << comment << std::endl;
-}
-
-void dump_comment_file(std::string filename)
-{
- if (filename.empty())
- return;
- std::ifstream* fs = new std::ifstream();
- fs->open(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;
- tracing_file << "# ";
- 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)