CBMC
Public Member Functions | Private Attributes | List of all members
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. More...
 

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: