Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_UI_MESSAGE_H
11 #define CPROVER_UTIL_UI_MESSAGE_H
36 virtual void flush(
unsigned level)
override;
49 std::unique_ptr<const timestampert>
time;
56 const std::string &program,
62 const std::string &
message)
override;
78 const std::string &type,
79 const std::string &msg,
83 const std::string &type,
84 const std::string &msg,
88 const std::string &type,
89 const std::string &msg,
94 std::string
command(
unsigned c)
const override
103 #define OPT_FLUSH "(flush)"
105 #define HELP_FLUSH " --flush flush every line of output\n"
107 #endif // CPROVER_UTIL_UI_MESSAGE_H
virtual std::string command(unsigned) const
Create an ECMA-48 SGR (Select Graphic Rendition) command.
virtual void ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)
clockt
Derived types of timestampert.
virtual ~ui_message_handlert()
ui_message_handlert(ui_message_handlert &&)=default
virtual uit get_ui() const
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
virtual json_stream_arrayt & get_json_stream()
std::unique_ptr< json_stream_arrayt > json_stream
virtual void json_ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)
std::unique_ptr< const timestampert > time
#define PRECONDITION(CONDITION)
Provides methods for streaming JSON arrays.
std::unique_ptr< console_message_handlert > console_message_handler
const char * level_string(unsigned level)
virtual void xml_ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)
std::string command(unsigned c) const override
Create an ECMA-48 SGR (Select Graphic Rendition) command.
virtual void print(unsigned level, const std::string &message) override
virtual void flush(unsigned level) override
ui_message_handlert(const class cmdlinet &, const std::string &program)
message_handlert * message_handler