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 xmlt &xml)
 
virtual json_stream_arraytget_json_stream ()
 Return the underlying JSON stream. More...
 
virtual void print (unsigned level, const jsont &json)
 
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 25 of file message.h.

Constructor & Destructor Documentation

◆ message_handlert()

message_handlert::message_handlert ( )
inline

Definition at line 28 of file message.h.

◆ ~message_handlert()

virtual message_handlert::~message_handlert ( )
inlinevirtual

Definition at line 61 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 56 of file message.h.

Referenced by messaget::eom().

◆ get_json_stream()

virtual json_stream_arrayt& message_handlert::get_json_stream ( )
inlinevirtual

Return the underlying JSON stream.

Reimplemented in ui_message_handlert.

Definition at line 40 of file message.h.

References UNREACHABLE.

Referenced by messaget::mstreamt::json_stream().

◆ get_message_count()

unsigned message_handlert::get_message_count ( unsigned  level) const
inline

Definition at line 68 of file message.h.

References message_count.

Referenced by compilet::doit(), and typecheckt::typecheck_main().

◆ get_verbosity()

unsigned message_handlert::get_verbosity ( ) const
inline

Definition at line 66 of file message.h.

References verbosity.

Referenced by messaget::conditional_output().

◆ print() [1/4]

◆ print() [2/4]

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

Reimplemented in ui_message_handlert.

Definition at line 34 of file message.h.

◆ print() [3/4]

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

Reimplemented in ui_message_handlert.

Definition at line 45 of file message.h.

◆ print() [4/4]

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

◆ set_verbosity()

void message_handlert::set_verbosity ( unsigned  _verbosity)
inline

Definition at line 65 of file message.h.

References verbosity.

Referenced by messaget::eval_verbosity().

Member Data Documentation

◆ message_count

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

Definition at line 78 of file message.h.

Referenced by get_message_count(), and print().

◆ verbosity


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