Loading...

Searching...

No Matches

Public Member Functions | Private Attributes | List of all members

api_message_handlert Class Reference

+ Inheritance diagram for api_message_handlert:

[フレーム]

[legend]

+ Collaboration diagram for api_message_handlert:

[フレーム]

[legend]

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:

/home/runner/work/cbmc/cbmc/src/libcprover-cpp/api.cpp