cprover
Loading...
Searching...
No Matches
api_message_handlert Class Reference
Inheritance diagram for api_message_handlert:
Collaboration diagram for api_message_handlert:

Public Member Functions

 api_message_handlert (api_message_callbackt callback, api_call_back_contextt context)
void print (unsigned level, const std::string &message) override
void print (unsigned level, const xmlt &xml) override
void print (unsigned level, const jsont &json) 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.

Private Attributes

api_call_back_contextt context
api_message_callbackt callback

Additional Inherited Members

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

Detailed Description

Definition at line 92 of file api.cpp.

Constructor & Destructor Documentation

◆ api_message_handlert()

api_message_handlert::api_message_handlert ( api_message_callbackt callback,
api_call_back_contextt context )
explicit

Definition at line 113 of file api.cpp.

Member Function Documentation

◆ flush()

void api_message_handlert::flush ( unsigned )
inlineoverridevirtual

Implements message_handlert.

Definition at line 106 of file api.cpp.

◆ print() [1/3]

void api_message_handlert::print ( unsigned level,
const jsont & json )
inlineoverridevirtual

Implements message_handlert.

Definition at line 104 of file api.cpp.

◆ print() [2/3]

void api_message_handlert::print ( unsigned level,
const std::string & message )
overridevirtual

Implements message_handlert.

Definition at line 120 of file api.cpp.

◆ print() [3/3]

void api_message_handlert::print ( unsigned level,
const xmlt & xml )
inlineoverridevirtual

Implements message_handlert.

Definition at line 103 of file api.cpp.

Member Data Documentation

◆ callback

api_message_callbackt api_message_handlert::callback
private

Definition at line 110 of file api.cpp.

◆ context

api_call_back_contextt api_message_handlert::context
private

Definition at line 109 of file api.cpp.


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