Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_COUT_MESSAGE_H
11 #define CPROVER_UTIL_COUT_MESSAGE_H
43 const std::string &message)
override;
45 virtual void flush(
unsigned level)
override;
53 std::string
command(
unsigned c)
const override;
79 const std::string &message)
override;
83 const std::string &message,
94 #endif // CPROVER_UTIL_COUT_MESSAGE_H
void print(unsigned, const xmlt &) override
bool use_SGR
true if we use ECMA-48 SGR to render colors
virtual void flush(unsigned level) override
std::string string(const messaget::commandt &c) const
feed a command into a string
bool is_a_tty
true if we are outputting to a proper console
void print(unsigned, const xmlt &) override
void print(unsigned, const jsont &) override
void print(unsigned, const jsont &) override
console_message_handlert()
std::string command(unsigned c) const override
Create an ECMA-48 SGR (Select Graphic Rendition) command with given code.