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;
50 std::unique_ptr<const timestampert>
time;
57 const std::string &program,
63 const std::string &
message)
override;
79 const std::string &type,
80 const std::string &msg,
84 const std::string &type,
85 const std::string &msg,
89 const std::string &type,
90 const std::string &msg,
95 std::string
command(
unsigned c)
const override
100 return std::string();
104 #define OPT_FLUSH "(flush)"
106 #define HELP_FLUSH " --flush flush every line of output\n"
108 #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.
A way of representing nested key/value data.
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 flush(unsigned level) override
ui_message_handlert(const class cmdlinet &, const std::string &program)
void print(unsigned level, const structured_datat &data) override
message_handlert * message_handler