cprover
Loading...
Searching...
No Matches
stream_message_handlert Class Reference

#include <message.h>

Inheritance diagram for stream_message_handlert:
Collaboration diagram for stream_message_handlert:

Public Member Functions

 stream_message_handlert (std::ostream &_out)
void print (unsigned level, const std::string &message) override
void print (unsigned, const xmlt &) override
void print (unsigned, const jsont &) override
void flush (unsigned) override
Public Member Functions inherited from message_handlert
 message_handlert ()
virtual void print (unsigned level, const structured_datat &data)
virtual void print (unsigned level, const std::string &message, const source_locationt &location)
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.

Protected Attributes

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

Detailed Description

Definition at line 109 of file message.h.

Constructor & Destructor Documentation

◆ stream_message_handlert()

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

Definition at line 112 of file message.h.

Member Function Documentation

◆ flush()

void stream_message_handlert::flush ( unsigned )
inlineoverridevirtual

Implements message_handlert.

Definition at line 132 of file message.h.

◆ print() [1/3]

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

Implements message_handlert.

Definition at line 116 of file message.h.

◆ print() [2/3]

void stream_message_handlert::print ( unsigned ,
const jsont &  )
inlineoverridevirtual

Implements message_handlert.

Definition at line 128 of file message.h.

◆ print() [3/3]

void stream_message_handlert::print ( unsigned ,
const xmlt &  )
inlineoverridevirtual

Implements message_handlert.

Definition at line 124 of file message.h.

Member Data Documentation

◆ out

std::ostream& stream_message_handlert::out
protected

Definition at line 138 of file message.h.


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