20 const std::string &filename,
42 const std::string &filename,
46 std::ifstream in(filename);
51 return parse_xml(in, filename, message_handler, dest);
void set_file(const irep_idt &file)
virtual void set_message_handler(message_handlert &_message_handler)
bool parse_xml(std::istream &in, const std::string &filename, message_handlert &message_handler, xmlt &dest)
xml_parse_treet parse_tree