cprover
message_handlert Class Referenceabstract

#include <message.h>

Inheritance diagram for message_handlert:
[legend]
Collaboration diagram for message_handlert:
[legend]

Public Member Functions

 message_handlert ()
 
virtual void print (unsigned level, const std::string &message)=0
 
virtual void print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location)
 
virtual void flush (unsigned level)
 
virtual ~message_handlert ()
 
void set_verbosity (unsigned _verbosity)
 
unsigned get_verbosity () const
 
unsigned get_message_count (unsigned level) const
 

Protected Attributes

unsigned verbosity
 
std::vector< unsigned > message_count
 

Detailed Description

Definition at line 20 of file message.h.

Constructor & Destructor Documentation

◆ message_handlert()

message_handlert::message_handlert ( )
inline

Definition at line 23 of file message.h.

◆ ~message_handlert()

virtual message_handlert::~message_handlert ( )
inlinevirtual

Definition at line 40 of file message.h.

Member Function Documentation

◆ flush()

virtual void message_handlert::flush ( unsigned  level)
inlinevirtual

Reimplemented in stream_message_handlert, ui_message_handlert, and console_message_handlert.

Definition at line 35 of file message.h.

Referenced by messaget::eom().

◆ get_message_count()

unsigned message_handlert::get_message_count ( unsigned  level) const
inline

◆ get_verbosity()

unsigned message_handlert::get_verbosity ( ) const
inline

Definition at line 45 of file message.h.

References verbosity.

◆ print() [1/2]

◆ print() [2/2]

void message_handlert::print ( unsigned  level,
const std::string &  message,
int  sequence_number,
const source_locationt location 
)
virtual

◆ set_verbosity()

Member Data Documentation

◆ message_count

std::vector<unsigned> message_handlert::message_count
protected

Definition at line 57 of file message.h.

Referenced by get_message_count(), and print().

◆ verbosity


The documentation for this class was generated from the following files: