file_converter.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Convert file contents to C strings
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/

 
#ifndef CPROVER_ANSI_C_FILE_CONVERTER_H
#define CPROVER_ANSI_C_FILE_CONVERTER_H
 
#include <istream>
#include <string>

inline void file_converter_emit_bytes(std::ostream &out, const std::string &s)
{
  for(const char c : s)
  {
    const unsigned char ch = static_cast<unsigned char>(c);
    if(ch >= 0x80)
      out << "(char)" << unsigned(ch) << ',';
    else
      out << unsigned(ch) << ',';
  }
}

inline void file_converter_append(
  std::istream &in,
  std::ostream &out,
  bool line_marker,
  const std::string &file_name)
{
  if(line_marker)
  {
    file_converter_emit_bytes(out, "#line 1 \"" + file_name + "\"\n");
    out << '\n';
  }
 
  std::string line;
  while(std::getline(in, line))
  {
    if(!line.empty() && line.back() == '\r')
      line.pop_back();
    file_converter_emit_bytes(out, line);
    out << "'\\n',\n";
  }
}
 
#endif // CPROVER_ANSI_C_FILE_CONVERTER_H