10 #ifndef CPROVER_UTIL_UI_MESSAGE_H 11 #define CPROVER_UTIL_UI_MESSAGE_H 39 virtual void flush(
unsigned level);
47 const std::string &message);
52 const std::string &message,
57 const std::string &type,
58 const std::string &msg1,
59 const std::string &msg2,
63 const std::string &type,
64 const std::string &msg1,
65 const std::string &msg2,
69 const std::string &type,
70 const std::string &msg1,
71 const std::string &msg2,
77 #endif // CPROVER_UTIL_UI_MESSAGE_H
const char * level_string(unsigned level)
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 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)
virtual ~ui_message_handlert()
virtual void print(unsigned level, const std::string &message)