23 const std::string &pattern,
24 const char *header_file,
27 std::istringstream hdr(header_file);
29 while(std::getline(hdr, line))
32 if(
has_prefix(line,
"//") || line.find(pattern) == std::string::npos)
44 const std::ostringstream &s,
48 std::istringstream in(s.str());
78 symbol_tablet::symbolst::const_iterator s_it=
79 new_symbol_table.
symbols.find(identifier);
81 if(s_it==new_symbol_table.
symbols.end())
84 message.error() <<
"failed to produce built-in symbol '" << identifier
90 symbol_table.
add(s_it->second);
104 const std::string pattern=
' '+
id2string(identifier)+
'(';
106 std::ostringstream s;
114 return convert(identifier, s, symbol_table, mh);
120 return convert(identifier, s, symbol_table, mh);
127 return convert(identifier, s, symbol_table, mh);
134 return convert(identifier, s, symbol_table, mh);
144 return convert(identifier, s, symbol_table, mh);
147 return convert(identifier, s, symbol_table, mh);
150 return convert(identifier, s, symbol_table, mh);
153 return convert(identifier, s, symbol_table, mh);
156 return convert(identifier, s, symbol_table, mh);
159 return convert(identifier, s, symbol_table, mh);
162 return convert(identifier, s, symbol_table, mh);
169 return convert(identifier, s, symbol_table, mh);
172 return convert(identifier, s, symbol_table, mh);
175 return convert(identifier, s, symbol_table, mh);
178 return convert(identifier, s, symbol_table, mh);
186 return convert(identifier, s, symbol_table, mh);
196 return convert(identifier, s, symbol_table, mh);
203 return convert(identifier, s, symbol_table, mh);