9 #ifndef CPROVER_GOTO_CC_GCC_MESSAGE_HANDLER_H
10 #define CPROVER_GOTO_CC_GCC_MESSAGE_HANDLER_H
26 void print(
unsigned level,
const std::string &
message)
override;
std::string command(unsigned c) const override
Create an ECMA-48 SGR (Select Graphic Rendition) command with given code.
void print(unsigned, const jsont &) override
std::string string(const messaget::commandt &c) const
feed a command into a string
void print(unsigned, const xmlt &) override
static const char * message(const statust &status)
Makes a status message string from a status.