cprover
|
Go to the source code of this file.
Classes | |
class | xml_parsert |
Functions | |
int | yyxmlparse () |
int | yyxmlerror (const std::string &error) |
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(), and yyxmlparse().
Referenced by xml_parsert::clear(), 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().
int yyxmlerror | ( | const std::string & | error | ) |
Definition at line 82 of file xml_y.tab.cpp.
References parsert::parse_error(), xml_parser, and yyxmltext.
Referenced by xml_parsert::clear(), and yyxmllex().
int yyxmlparse | ( | void | ) |
Definition at line 1040 of file xml_y.tab.cpp.
Referenced by xml_parsert::parse(), and parse_xml().
xml_parsert xml_parser |
Definition at line 15 of file xml_parser.cpp.
Referenced by xml_parsert::clear(), read_goto_object(), yyxmlerror(), and yyxmlparse().