trace-generators/traces/implementation/X86TraceGenerator.cpp
void trace::X86TraceGenerator::writeInstToFile(ofstream &file, Inst_info *inst_info)
{
  file << "*** begin of the data strcture *** " <<endl;

  WRITE_INST_TO_FILE(file, inst_info);

  file << "*** end of the data strcture *** " << endl << endl;
}
///////////////////////////////////////////////////////////////////////////////////////////////
// for debug purpose, write instruction info in a file (text format)
///////////////////////////////////////////////////////////////////////////////////////////////
for debug purpose, write instruction info in a file (text format)
for debug purpose write instruction info in a file ( text format )
void trace::X86TraceGenerator::writeInstToFile(ofstream &file, Inst_info *inst_info)
{
  file << "*** begin of the data strcture *** " <<endl;
  WRITE_INST_TO_FILE(file, inst_info);
  file << "*** end of the data strcture *** " << endl << endl;
}
void trace :: X86TraceGenerator :: writeInstToFile ( ofstream & file , Inst_info * inst_info ) { file << " " << endl ; WRITE_INST_TO_FILE ( file , inst_info ) ; file << " " << endl << endl ; }
for debug purpose, write instruction info in a file (text format)
for debug purpose write instruction info in a file ( text format )