cprover
|
Converts symbols to xml structures and back. More...
Go to the source code of this file.
Functions | |
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... | |
Converts symbols to xml structures and back.
Definition in file xml_symbol.h.
converts a symbol to an xml symbol node
Definition at line 21 of file xml_symbol.cpp.
References symbolt::base_name, convert(), xmlt::data, dstringt::empty(), irept::id(), id2string(), symbolt::is_extern, symbolt::is_file_local, symbolt::is_input, symbolt::is_lvalue, symbolt::is_macro, irept::is_nil(), symbolt::is_output, symbolt::is_property, symbolt::is_state_var, symbolt::is_static_lifetime, symbolt::is_thread_local, symbolt::is_type, symbolt::location, symbolt::mode, symbolt::module, xmlt::name, symbolt::name, xmlt::new_element(), symbolt::pretty_name, xmlt::set_attribute(), xmlt::set_attribute_bool(), symbolt::type, and symbolt::value.
Referenced by convert().
converts an xml symbol node to a symbol
Definition at line 69 of file xml_symbol.cpp.
References symbolt::base_name, convert(), xmlt::elements, xmlt::get_attribute(), irept::id(), symbolt::is_extern, symbolt::is_file_local, symbolt::is_input, symbolt::is_lvalue, symbolt::is_macro, symbolt::is_output, symbolt::is_property, symbolt::is_state_var, symbolt::is_static_lifetime, symbolt::is_thread_local, symbolt::is_type, symbolt::location, symbolt::mode, symbolt::module, symbolt::name, symbolt::type, and symbolt::value.