cprover
stream_message_handlert Class Reference

#include <message.h>

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

Public Member Functions

 stream_message_handlert (std::ostream &_out)
 
virtual void print (unsigned level, const std::string &message)
 
virtual void flush (unsigned level)
 
- Public Member Functions inherited from message_handlert
 message_handlert ()
 
virtual void print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location)
 
virtual ~message_handlert ()
 
void set_verbosity (unsigned _verbosity)
 
unsigned get_verbosity () const
 
unsigned get_message_count (unsigned level) const
 

Protected Attributes

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

Detailed Description

Definition at line 78 of file message.h.

Constructor & Destructor Documentation

◆ stream_message_handlert()

stream_message_handlert::stream_message_handlert ( std::ostream &  _out)
inlineexplicit

Definition at line 81 of file message.h.

Member Function Documentation

◆ flush()

virtual void stream_message_handlert::flush ( unsigned  level)
inlinevirtual

Reimplemented from message_handlert.

Definition at line 93 of file message.h.

References out.

◆ print()

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

Implements message_handlert.

Definition at line 85 of file message.h.

References out, message_handlert::print(), and message_handlert::verbosity.

Member Data Documentation

◆ out

std::ostream& stream_message_handlert::out
protected

Definition at line 99 of file message.h.

Referenced by flush(), and print().


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