21 uit __ui,
const std::string &program):_ui(__ui)
29 std::cout <<
"<?xml version=\"1.0\" encoding=\"UTF-8\"?>" <<
"\n";
30 std::cout <<
"<cprover>" <<
"\n";
34 program_xml.
name=
"program";
35 program_xml.
data=program;
37 std::cout << program_xml;
46 std::cout << json_program;
54 const std::string &program):
56 cmdline.isset(
"xml-ui")?
uit::XML_UI:
57 cmdline.isset(
"json-ui")?
uit::JSON_UI:
68 std::cout <<
"</cprover>" <<
"\n";
87 return "STATUS-MESSAGE";
92 const std::string &message)
101 console_message_handler.
print(level, message);
110 print(level, message, -1, location);
119 const std::string &message,
131 level, message, sequence_number, location);
137 std::string tmp_message(message);
139 if(!tmp_message.empty() && *tmp_message.rbegin()==
'\n')
140 tmp_message.resize(tmp_message.size()-1);
144 std::string sequence_number_str=
145 sequence_number>=0?std::to_string(sequence_number):
"";
147 ui_msg(type, tmp_message, sequence_number_str, location);
155 const std::string &type,
156 const std::string &msg1,
157 const std::string &msg2,
176 const std::string &type,
177 const std::string &msg1,
178 const std::string &msg2,
182 result.
name=
"message";
196 const std::string &type,
197 const std::string &msg1,
198 const std::string &msg2,
206 result.new_element(
xml(location));
215 std::cout <<
",\n" << result;
225 console_message_handler.
flush(level);
232 std::cout << std::flush;
const char * level_string(unsigned level)
xmlt xml(const source_locationt &location)
virtual void flush(unsigned level)
virtual void json_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
virtual void flush(unsigned level) override
void set_attribute(const std::string &attribute, unsigned value)
virtual void xml_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
virtual void ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
xmlt & new_element(const std::string &name)
const irep_idt & get_file() const
virtual ~ui_message_handlert()
virtual void print(unsigned level, const std::string &message)
virtual void print(unsigned level, const std::string &message) override
virtual void print(unsigned level, const std::string &message)=0