-
- XBT_DEBUG("Dump %s", stream_.str().c_str());
- fprintf(tracing_file, "%s\n", stream_.str().c_str());
-}
-
-void VariableEvent::print()
-{
- if (instr_fmt_type != instr_fmt_paje)
- return;
-
- stream_ << " " << value;
-
- XBT_DEBUG("Dump %s", stream_.str().c_str());
- fprintf(tracing_file, "%s\n", stream_.str().c_str());