- fprintf(tracing_file, "%% Key string\n");
- fprintf(tracing_file, "%%EndEventDef\n");
-}
-
-static void TRACE_header_PajeNewEvent (int basic, int size)
-{
- fprintf(tracing_file, "%%EventDef PajeNewEvent %d\n", PAJE_NewEvent);
- fprintf(tracing_file, "%% Time date\n");
- fprintf(tracing_file, "%% Type string\n");
- fprintf(tracing_file, "%% Container string\n");
- fprintf(tracing_file, "%% Value string\n");
- fprintf(tracing_file, "%%EndEventDef\n");
-}
-
-void TRACE_header(int basic, int size)
-{
- XBT_DEBUG ("Define paje header");
- TRACE_header_PajeDefineContainerType (basic, size);
- TRACE_header_PajeDefineVariableType (basic, size);
- TRACE_header_PajeDefineStateType (basic, size);
- TRACE_header_PajeDefineEventType (basic, size);
- TRACE_header_PajeDefineLinkType (basic, size);
- TRACE_header_PajeDefineEntityValue (basic, size);
- TRACE_header_PajeCreateContainer (basic, size);
- TRACE_header_PajeDestroyContainer (basic, size);
- TRACE_header_PajeSetVariable (basic, size);
- TRACE_header_PajeAddVariable (basic, size);
- TRACE_header_PajeSubVariable (basic, size);
- TRACE_header_PajeSetState (basic, size);
- TRACE_header_PajePushState (basic, size);
- TRACE_header_PajePopState (basic, size);
- TRACE_header_PajeResetState (basic, size);
+ tracing_file << "% Key string" << std::endl;
+ tracing_file << "%EndEventDef" << std::endl;
+}
+
+static void TRACE_header_PajeNewEvent()
+{
+ tracing_file << "%EventDef PajeNewEvent " << simgrid::instr::PAJE_NewEvent << std::endl;
+ tracing_file << "% Time date" << std::endl;
+ tracing_file << "% Type string" << std::endl;
+ tracing_file << "% Container string" << std::endl;
+ tracing_file << "% Value string" << std::endl;
+ tracing_file << "%EndEventDef" << std::endl;
+}
+
+void TRACE_header(bool basic, bool size)
+{
+ TRACE_header_PajeDefineContainerType(basic);
+ TRACE_header_PajeDefineVariableType(basic);
+ TRACE_header_PajeDefineStateType(basic);
+ TRACE_header_PajeDefineEventType(basic);
+ TRACE_header_PajeDefineLinkType(basic);
+ TRACE_header_PajeDefineEntityValue(basic);
+ TRACE_header_PajeCreateContainer();
+ TRACE_header_PajeDestroyContainer();
+ TRACE_header_PajeSetVariable();
+ TRACE_header_PajeAddVariable();
+ TRACE_header_PajeSubVariable();
+ TRACE_header_PajeSetState();
+ TRACE_header_PajePushState(size);
+ TRACE_header_PajePopState();
+ TRACE_header_PajeResetState(basic);