CBMC
Public Member Functions | Protected Attributes | List of all members
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 structured_datat &data)
 
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 27 of file message.h.

Constructor & Destructor Documentation

◆ message_handlert()

message_handlert::message_handlert ( )
inline

Definition at line 30 of file message.h.

◆ ~message_handlert()

virtual message_handlert::~message_handlert ( )
inlinevirtual

Definition at line 49 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 inlining_decoratort, ui_message_handlert, and console_message_handlert.

Definition at line 66 of file message.h.

◆ flush()

virtual void message_handlert::flush ( unsigned  )
pure virtual

Implemented in smt2_message_handlert, stream_message_handlert, null_message_handlert, console_message_handlert, ui_message_handlert, and inlining_decoratort.

◆ get_message_count()

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

Definition at line 56 of file message.h.

◆ get_verbosity()

unsigned message_handlert::get_verbosity ( ) const
inline

Definition at line 54 of file message.h.

◆ print() [1/5]

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

Implemented in smt2_message_handlert, stream_message_handlert, null_message_handlert, console_message_handlert, cl_message_handlert, gcc_message_handlert, inlining_decoratort, and ui_message_handlert.

◆ print() [2/5]

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

Implemented in smt2_message_handlert, stream_message_handlert, inlining_decoratort, null_message_handlert, ui_message_handlert, console_message_handlert, and gcc_message_handlert.

Definition at line 60 of file message.cpp.

◆ print() [3/5]

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

Reimplemented in inlining_decoratort, ui_message_handlert, gcc_message_handlert, cl_message_handlert, and null_message_handlert.

Definition at line 16 of file message.cpp.

◆ print() [4/5]

void message_handlert::print ( unsigned  level,
const structured_datat &  data 
)
virtual

Reimplemented in inlining_decoratort, and ui_message_handlert.

Definition at line 68 of file message.cpp.

◆ print() [5/5]

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

Implemented in smt2_message_handlert, stream_message_handlert, null_message_handlert, console_message_handlert, cl_message_handlert, gcc_message_handlert, inlining_decoratort, and ui_message_handlert.

◆ set_verbosity()

void message_handlert::set_verbosity ( unsigned  _verbosity)
inline

Definition at line 53 of file message.h.

Member Data Documentation

◆ message_count

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

Definition at line 73 of file message.h.

◆ verbosity

unsigned message_handlert::verbosity
protected

Definition at line 72 of file message.h.

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