cprover
cout_message_handlert Class Reference

#include <cout_message.h>

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

Public Member Functions

 cout_message_handlert ()
 
- Public Member Functions inherited from stream_message_handlert
 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 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 ~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 stream_message_handlert
std::ostream & out
 
- Protected Attributes inherited from message_handlert
unsigned verbosity
 
std::vector< unsigned > message_count
 

Detailed Description

Definition at line 15 of file cout_message.h.

Constructor & Destructor Documentation

◆ cout_message_handlert()

cout_message_handlert::cout_message_handlert ( )

Definition at line 22 of file cout_message.cpp.


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