C++ (Cpp) symbolt::to_irep примеры использования

Пример #1

Файл: xml_symbol_hashing.cpp Проект: Dthird/CBMC

void xml_symbol_convertt::convert(const symbolt& sym, xmlt &root)
{
  xmlt &xmlsym = root.new_element("symbol");
  irepcache.push_back(irept());
  sym.to_irep(irepcache.back());  
  irepconverter.reference_convert(irepcache.back(), xmlsym);
}

Пример #2

Файл: symbol_serialization.cpp Проект: ashokkelur/CBMC-With-DSP-C

void symbol_serializationt::convert(const symbolt& sym, std::ostream &out)
{
  irepcache.push_back(irept());
  sym.to_irep(irepcache.back());  
  irepconverter.reference_convert(irepcache.back(), out);
}