Loading...

Searching...

No Matches

Public Member Functions | List of all members

null_message_handlert Class Reference

#include <message.h>

+ Inheritance diagram for null_message_handlert:

[フレーム]

[legend]

+ Collaboration diagram for null_message_handlert:

[フレーム]

[legend]

Public Member Functions

null_message_handlert ()

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

void print (unsigned, const xmlt &) override

void print (unsigned, const jsont &) override

void print (unsigned level, const std::string &message, const source_locationt &) override

void flush (unsigned) override

- Public Member Functions inherited from message_handlert

message_handlert ()

virtual void print (unsigned level, const structured_datat &data)

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.

Additional Inherited Members

- Protected Attributes inherited from message_handlert

unsigned verbosity

std::vector< std::size_t > message_count

Detailed Description

Definition at line 75 of file message.h.

Constructor & Destructor Documentation

◆ null_message_handlert()

null_message_handlert::null_message_handlert ( )

inline

Definition at line 78 of file message.h.

Member Function Documentation

◆ flush()

void null_message_handlert::flush ( unsigned )

inlineoverridevirtual

Implements message_handlert.

Definition at line 104 of file message.h.

◆ print() [1/4]

void null_message_handlert::print ( unsigned level,

const std::string & message

)

inlineoverridevirtual

Implements message_handlert.

Definition at line 83 of file message.h.

◆ print() [2/4]

void null_message_handlert::print ( unsigned level,

const std::string & message,

const source_locationt &

)

inlineoverridevirtual

Reimplemented from message_handlert.

Definition at line 96 of file message.h.

◆ print() [3/4]

void null_message_handlert::print ( unsigned ,

const jsont &

)

inlineoverridevirtual

Implements message_handlert.

Definition at line 92 of file message.h.

◆ print() [4/4]

void null_message_handlert::print ( unsigned ,

const xmlt &

)

inlineoverridevirtual

Implements message_handlert.

Definition at line 88 of file message.h.

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

/home/runner/work/cbmc/cbmc/src/util/message.h