cprover
message_handlert Class Referenceabstract

#include <message.h>

+ Inheritance diagram for message_handlert:
+ Collaboration diagram for message_handlert:

Public Member Functions

 message_handlert ()
 
virtual void print (unsigned level, const std::string &message)=0
 
virtual void print (unsigned level, const xmlt &xml)=0
 
virtual void print (unsigned level, const jsont &json)=0
 
virtual void print (unsigned level, const std::string &message, const source_locationt &location)
 
virtual void flush (unsigned)=0
 
virtual ~message_handlert ()
 
void set_verbosity (unsigned _verbosity)
 
unsigned get_verbosity () const
 
std::size_t get_message_count (unsigned level) const
 
virtual std::string command (unsigned) const
 Create an ECMA-48 SGR (Select Graphic Rendition) command. More...
 

Protected Attributes

unsigned verbosity
 
std::vector< std::size_t > message_count
 

Detailed Description

Definition at line 24 of file message.h.

Constructor & Destructor Documentation

◆ message_handlert()

message_handlert::message_handlert ( )
inline

Definition at line 27 of file message.h.

◆ ~message_handlert()

virtual message_handlert::~message_handlert ( )
inlinevirtual

Definition at line 44 of file message.h.

Member Function Documentation

◆ command()

virtual std::string message_handlert::command ( unsigned  ) const
inlinevirtual

Create an ECMA-48 SGR (Select Graphic Rendition) command.

The default behavior is no action.

Reimplemented in ui_message_handlert, and console_message_handlert.

Definition at line 61 of file message.h.

◆ flush()

virtual void message_handlert::flush ( unsigned  )
pure virtual

◆ get_message_count()

std::size_t message_handlert::get_message_count ( unsigned  level) const
inline

Definition at line 51 of file message.h.

◆ get_verbosity()

unsigned message_handlert::get_verbosity ( ) const
inline

Definition at line 49 of file message.h.

◆ print() [1/4]

void message_handlert::print ( unsigned  level,
const std::string &  message 
)
pure virtual

◆ print() [2/4]

virtual void message_handlert::print ( unsigned  level,
const xmlt xml 
)
pure virtual

◆ print() [3/4]

virtual void message_handlert::print ( unsigned  level,
const jsont json 
)
pure virtual

◆ print() [4/4]

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

Reimplemented in null_message_handlert, gcc_message_handlert, and ui_message_handlert.

Definition at line 14 of file message.cpp.

◆ set_verbosity()

void message_handlert::set_verbosity ( unsigned  _verbosity)
inline

Definition at line 48 of file message.h.

Member Data Documentation

◆ message_count

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

Definition at line 68 of file message.h.

◆ verbosity

unsigned message_handlert::verbosity
protected

Definition at line 67 of file message.h.


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