16 const std::string &message,
99 const std::string &user_input,
103 unsigned v = default_verbosity;
105 if(!user_input.empty())
113 "verbosity value " + user_input +
" out of range, using debug-level (" +
134 const std::function<
void(
mstreamt &)> &output_generator)
const static const commandt bright_magenta
render text with bright magenta foreground color
static const commandt bright_yellow
render text with bright yellow foreground color
const std::string & id2string(const irep_idt &d)
static const commandt bold
render text with bold font
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
static const commandt blue
render text with blue foreground color
unsigned unsafe_string2unsigned(const std::string &str, int base)
const irep_idt & get_function() const
static unsigned eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest.
static const commandt bright_red
render text with bright red foreground color
static const commandt bright_blue
render text with bright blue foreground color
static const commandt reset
return to default formatting, as defined by the terminal
const irep_idt & get_column() const
unsigned get_verbosity() const
static const commandt underline
render underlined text
static const commandt magenta
render text with magenta foreground color
const irep_idt & get_line() const
static const commandt red
render text with red foreground color
static const commandt bright_cyan
render text with bright cyan foreground color
static const commandt bright_green
render text with bright green foreground color
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
static const commandt faint
render text with faint font
const irep_idt & get_file() const
std::vector< std::size_t > message_count
void conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
Generate output to message_stream using output_generator if the configured verbosity is at least as h...
void set_verbosity(unsigned _verbosity)
static const commandt green
render text with green foreground color
static const commandt cyan
render text with cyan foreground color
message_handlert * message_handler
static const commandt yellow
render text with yellow foreground color
static const commandt italic
render italic text
virtual void print(unsigned level, const std::string &message)=0