cprover
null_message_handlert Class Reference

#include <message.h>

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

Public Member Functions

virtual void print (unsigned level, const std::string &message)
 
virtual void print (unsigned level, const std::string &message, int, const source_locationt &)
 
- Public Member Functions inherited from message_handlert
 message_handlert ()
 
virtual void print (unsigned level, const xmlt &xml)
 
virtual json_stream_arraytget_json_stream ()
 Return the underlying JSON stream. More...
 
virtual void print (unsigned level, const jsont &json)
 
virtual void flush (unsigned level)
 
virtual ~message_handlert ()
 
void set_verbosity (unsigned _verbosity)
 
unsigned get_verbosity () const
 
unsigned get_message_count (unsigned level) const
 

Additional Inherited Members

- Protected Attributes inherited from message_handlert
unsigned verbosity
 
std::vector< unsigned > message_count
 

Detailed Description

Definition at line 81 of file message.h.

Member Function Documentation

◆ print() [1/2]

virtual void null_message_handlert::print ( unsigned  level,
const std::string &  message 
)
inlinevirtual

Implements message_handlert.

Definition at line 84 of file message.h.

References message_handlert::print().

Referenced by print().

◆ print() [2/2]

virtual void null_message_handlert::print ( unsigned  level,
const std::string &  message,
int  ,
const source_locationt  
)
inlinevirtual

Reimplemented from message_handlert.

Definition at line 89 of file message.h.

References print().


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