cprover
|
#include <xml_symbol_hashing.h>
Public Member Functions | |
xml_symbol_convertt (xml_irep_convertt::ireps_containert &ic) | |
void | convert (const symbolt &, xmlt &) |
converts a symbol to an xml symbol node More... | |
void | convert (const xmlt &, symbolt &) |
converts an xml symbol node to a symbol More... | |
Private Attributes | |
xml_irep_convertt | irepconverter |
std::list< irept > | irepcache |
Definition at line 22 of file xml_symbol_hashing.h.
|
inlineexplicit |
Definition at line 29 of file xml_symbol_hashing.h.
converts a symbol to an xml symbol node
Definition at line 21 of file xml_symbol_hashing.cpp.
References irepcache, irepconverter, xmlt::new_element(), xml_irep_convertt::reference_convert(), and symbolt::to_irep().
Referenced by read_goto_object().
converts an xml symbol node to a symbol
Definition at line 32 of file xml_symbol_hashing.cpp.
References xml_irep_convertt::convert(), symbolt::from_irep(), irepconverter, and xml_irep_convertt::resolve_references().
|
private |
Definition at line 26 of file xml_symbol_hashing.h.
Referenced by convert().
|
private |
Definition at line 25 of file xml_symbol_hashing.h.
Referenced by convert().