10 #ifndef CPROVER_UTIL_UI_MESSAGE_H 11 #define CPROVER_UTIL_UI_MESSAGE_H 26 const std::string &program,
52 virtual void flush(
unsigned level)
override;
63 std::unique_ptr<const timestampert>
time;
69 const std::string &message)
override;
73 const std::string &message,
86 const std::string &type,
87 const std::string &msg1,
88 const std::string &msg2,
92 const std::string &type,
93 const std::string &msg1,
94 const std::string &msg2,
98 const std::string &type,
99 const std::string &msg1,
100 const std::string &msg2,
106 #define OPT_FLUSH "(flush)" 108 #define HELP_FLUSH " --flush flush every line of output\n" 110 #endif // CPROVER_UTIL_UI_MESSAGE_H
const char * level_string(unsigned level)
ui_message_handlert()
Default constructor; implementation is in .cpp file.
virtual void json_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
virtual void print(unsigned level, const std::string &message) override
Provides methods for streaming JSON arrays.
virtual void xml_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
#define PRECONDITION(CONDITION)
clockt
Derived types of timestampert.
virtual void ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
std::unique_ptr< json_stream_arrayt > json_stream
virtual ~ui_message_handlert()
std::unique_ptr< const timestampert > time
virtual void flush(unsigned level) override
json_stream_arrayt & get_json_stream() override
Return the underlying JSON stream.