13 bool has_prefix(
const std::string &s,
const std::string &prefix)
15 return std::string(s, 0, prefix.size())==prefix;
25 while(getline(std::cin, line))
34 std::string
function=std::string(line, 13, std::string::npos);
35 std::size_t
pos=
function.find(
' ');
36 if(pos!=std::string::npos)
37 function=std::string(
function, 0, pos);
39 std::cout <<
"{ \"" <<
function <<
"\",\n";
40 std::cout <<
" \"#line 1 \\\"<builtin-library-" 41 <<
function <<
">\\\"\\n\"\n";
47 for(
unsigned i=0; i<line.size(); i++)
49 const char ch=line[i];
54 else if(ch==
'\r' || ch==
'\n')
61 std::cout <<
"\\n\"\n";
bool has_prefix(const std::string &s, const std::string &prefix)