cprover
Loading...
Searching...
No Matches
xml_parser.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#include "xml_parser.h"
10
11#include <fstream>
12
14
15// 'do it all' function
17 std::istream &in,
18 const std::string &filename,
19 message_handlert &message_handler,
20 xmlt &dest)
21{
23 xml_parser.set_file(filename);
24 xml_parser.in=&in;
25 xml_parser.log.set_message_handler(message_handler);
26
27 bool result=yyxmlparse()!=0;
28
29 // save result
31
32 // save some memory
34
35 return result;
36}
37
38// 'do it all' function
40 const std::string &filename,
41 message_handlert &message_handler,
42 xmlt &dest)
43{
44 std::ifstream in(filename);
45
46 if(!in)
47 return true;
48
49 return parse_xml(in, filename, message_handler, dest);
50}
virtual void set_message_handler(message_handlert &_message_handler)
Definition message.h:179
std::istream * in
Definition parser.h:26
void set_file(const irep_idt &file)
Definition parser.h:85
messaget log
Definition parser.h:136
virtual void clear()
Definition xml_parser.h:42
xml_parse_treet parse_tree
Definition xml_parser.h:22
Definition xml.h:21
void swap(xmlt &xml)
Definition xml.cpp:25
bool parse_xml(std::istream &in, const std::string &filename, message_handlert &message_handler, xmlt &dest)
xml_parsert xml_parser
int yyxmlparse()