14 const std::string &message,
59 const std::string &message)
const std::string & id2string(const irep_idt &d)
const irep_idt & get_function() const
const irep_idt & get_column() const
const irep_idt & get_line() const
const irep_idt & get_file() const
std::vector< unsigned > message_count
virtual void print(unsigned level, const std::string &message)=0