cprover
|
#include <xml.h>
Public Types | |
typedef std::list< xmlt > | elementst |
typedef std::map< std::string, std::string > | attributest |
Public Member Functions | |
xmlt () | |
xmlt (const std::string &_name) | |
elementst::const_iterator | find (const std::string &name) const |
elementst::iterator | find (const std::string &name) |
void | set_attribute (const std::string &attribute, unsigned value) |
void | set_attribute (const std::string &attribute, unsigned long value) |
void | set_attribute (const std::string &attribute, unsigned long long value) |
void | set_attribute (const std::string &attribute, const std::string &value) |
std::string | get_attribute (const std::string &attribute) const |
void | set_attribute_bool (const std::string &attribute, bool value) |
bool | get_attribute_bool (const std::string &attribute) const |
std::string | get_element (const std::string &element) const |
xmlt & | new_element (const std::string &name) |
xmlt & | new_element (const xmlt &xml) |
xmlt & | new_element () |
void | swap (xmlt &xml) |
void | clear () |
void | output (std::ostream &out, unsigned indent=0) const |
Static Public Member Functions | |
static void | escape (const std::string &s, std::ostream &out) |
escaping for XML elements More... | |
static std::string | unescape (const std::string &s) |
takes a string and unescapes any xml style escaped symbols More... | |
static void | escape_attribute (const std::string &s, std::ostream &out) |
escaping for XML attributes, assuming that double quotes " are used consistently, not single quotes More... | |
Public Attributes | |
std::string | name |
std::string | data |
attributest | attributes |
elementst | elements |
Static Protected Member Functions | |
static void | do_indent (std::ostream &out, unsigned indent) |
typedef std::map<std::string, std::string> xmlt::attributest |
typedef std::list<xmlt> xmlt::elementst |
|
inline |
Definition at line 21 of file xml.h.
Referenced by new_element().
void xmlt::clear | ( | void | ) |
Definition at line 15 of file xml.cpp.
References attributes, elements, and name.
Referenced by xml_parse_treet::clear().
|
staticprotected |
|
static |
escaping for XML elements
Definition at line 78 of file xml.cpp.
Referenced by value_set_analysist::convert().
|
static |
escaping for XML attributes, assuming that double quotes " are used consistently, not single quotes
Definition at line 115 of file xml.cpp.
Referenced by output(), and call_grapht::output_xml().
xmlt::elementst::const_iterator xmlt::find | ( | const std::string & | name | ) | const |
xmlt::elementst::iterator xmlt::find | ( | const std::string & | name | ) |
|
inline |
Definition at line 54 of file xml.h.
References attributes.
Referenced by build_graph_rec(), convert(), and read_goto_object().
|
inline |
Definition at line 70 of file xml.h.
References attributes.
|
inline |
|
inline |
Definition at line 86 of file xml.h.
References elements, name, and xmlt().
Referenced by symex_coveraget::build_cobertura(), build_graph_rec(), symex_coveraget::compute_overall_coverage(), convert(), show_goto_functions_xmlt::convert(), xml_goto_program_convertt::convert(), xml_symbol_convertt::convert(), value_set_analysist::convert(), xml_irep_convertt::convert(), xml_irep_convertt::convert_map(), goto_program_coverage_recordt::goto_program_coverage_recordt(), graphml_witnesst::operator()(), bmc_covert::operator()(), ai_baset::output_xml(), xml_irep_convertt::reference_convert(), bmc_all_propertiest::report(), symex_parse_optionst::report_cover(), show_locations(), show_loop_ids(), show_properties(), write_graphml(), xml(), static_analyzert::xml_report(), and ui_message_handlert::xml_ui_msg().
|
inline |
void xmlt::output | ( | std::ostream & | out, |
unsigned | indent = 0 |
||
) | const |
Definition at line 31 of file xml.cpp.
References attributes, do_indent(), elements, escape_attribute(), and name.
Referenced by operator<<(), and xml_irep_convertt::output_map().
void xmlt::set_attribute | ( | const std::string & | attribute, |
unsigned | value | ||
) |
Definition at line 174 of file xml.cpp.
Referenced by symex_coveraget::build_cobertura(), build_graph_rec(), symex_coveraget::compute_overall_coverage(), convert(), show_goto_functions_xmlt::convert(), xml_goto_program_convertt::convert(), xml_irep_convertt::convert(), xml_irep_convertt::convert_map(), goto_program_coverage_recordt::goto_program_coverage_recordt(), graphml_witnesst::operator()(), bmc_covert::operator()(), xml_irep_convertt::output_map(), ai_baset::output_xml(), bmc_all_propertiest::report(), symex_parse_optionst::report_cover(), symex_parse_optionst::report_properties(), set_attribute(), set_attribute_bool(), show_loop_ids(), show_properties(), write_graphml(), xml(), static_analyzert::xml_report(), ui_message_handlert::xml_ui_msg(), and yyxmlparse().
void xmlt::set_attribute | ( | const std::string & | attribute, |
unsigned long | value | ||
) |
Definition at line 181 of file xml.cpp.
References set_attribute().
void xmlt::set_attribute | ( | const std::string & | attribute, |
unsigned long long | value | ||
) |
Definition at line 188 of file xml.cpp.
References set_attribute().
void xmlt::set_attribute | ( | const std::string & | attribute, |
const std::string & | value | ||
) |
Definition at line 195 of file xml.cpp.
References attributes.
|
inline |
Definition at line 63 of file xml.h.
References set_attribute().
Referenced by convert(), and show_goto_functions_xmlt::convert().
void xmlt::swap | ( | xmlt & | xml | ) |
Definition at line 23 of file xml.cpp.
References attributes, data, elements, name, and xml().
Referenced by convert(), parse_xml(), and xml_parse_treet::swap().
|
static |
takes a string and unescapes any xml style escaped symbols
Definition at line 213 of file xml.cpp.
References unsafe_string2int().
Referenced by yyxmlparse().
attributest xmlt::attributes |
Definition at line 32 of file xml.h.
Referenced by clear(), get_attribute(), get_attribute_bool(), output(), set_attribute(), and swap().
std::string xmlt::data |
Definition at line 30 of file xml.h.
Referenced by build_graph_rec(), convert(), show_goto_functions_xmlt::convert(), xml_goto_program_convertt::convert(), value_set_analysist::convert(), xml_irep_convertt::convert(), bv_refinementt::dec_solve(), graphml_witnesst::operator()(), ai_domain_baset::output_xml(), xml_irep_convertt::reference_convert(), clobber_parse_optionst::report_failure(), symex_parse_optionst::report_failure(), bmct::report_failure(), clobber_parse_optionst::report_success(), symex_parse_optionst::report_success(), bmct::report_success(), show_locations(), show_loop_ids(), show_properties(), swap(), ui_message_handlert::ui_message_handlert(), write_graphml(), xml(), ui_message_handlert::xml_ui_msg(), and yyxmlparse().
elementst xmlt::elements |
Definition at line 33 of file xml.h.
Referenced by build_graph_rec(), clear(), symex_coveraget::compute_overall_coverage(), convert(), show_goto_functions_xmlt::convert(), xml_goto_program_convertt::convert(), xml_irep_convertt::convert(), find(), find_instruction(), xml_goto_program_convertt::find_instruction(), get_element(), new_element(), xml_parsert::new_level(), output(), read_goto_object(), and swap().
std::string xmlt::name |
Definition at line 30 of file xml.h.
Referenced by add_node(), build_graph_rec(), clear(), convert(), xml_goto_program_convertt::convert(), find(), new_element(), output(), read_goto_object(), show_locations(), swap(), ui_message_handlert::ui_message_handlert(), xml(), ui_message_handlert::xml_ui_msg(), and yyxmlparse().