18 const std::string &filename,
40 const std::string &filename,
44 std::ifstream in(filename);
49 return parse_xml(in, filename, message_handler, dest);
virtual void set_message_handler(message_handlert &_message_handler)
void set_file(const irep_idt &file)
xml_parse_treet parse_tree
bool parse_xml(std::istream &in, const std::string &filename, message_handlert &message_handler, xmlt &dest)