|
cprover
|
Go to the source code of this file.
Functions | |
| bool | parse_xml (std::istream &in, const std::string &filename, message_handlert &message_handler, xmlt &dest) |
| bool | parse_xml (const std::string &filename, message_handlert &message_handler, xmlt &dest) |
Variables | |
| xml_parsert | xml_parser |
| bool parse_xml | ( | std::istream & | in, |
| const std::string & | filename, | ||
| message_handlert & | message_handler, | ||
| xmlt & | dest | ||
| ) |
Definition at line 18 of file xml_parser.cpp.
References xml_parsert::clear(), xml_parse_treet::element, parsert::in, xml_parsert::parse_tree, parsert::set_file(), messaget::set_message_handler(), xmlt::swap(), xml_parser, and yyxmlparse().
Referenced by xml_interfacet::get_xml_options(), parse_xml(), and read_graphml().
| bool parse_xml | ( | const std::string & | filename, |
| message_handlert & | message_handler, | ||
| xmlt & | dest | ||
| ) |
Definition at line 41 of file xml_parser.cpp.
References parse_xml().
| xml_parsert xml_parser |
Definition at line 15 of file xml_parser.cpp.
Referenced by parse_xml(), read_goto_object(), yyxmlerror(), and yyxmlparse().