Loading...

Searching...

No Matches

Public Member Functions | Protected Attributes | List of all members

message_handlert Class Referenceabstract

#include <message.h>

+ Inheritance diagram for message_handlert:

[フレーム]

[legend]

+ Collaboration diagram for message_handlert:

[フレーム]

[legend]

Public Member Functions

message_handlert ()

virtual void print (unsigned level, const std::string &message)=0

virtual void print (unsigned level, const xmlt &xml)=0

virtual void print (unsigned level, const jsont &json)=0

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

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

virtual void flush (unsigned)=0

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

unsigned verbosity

std::vector< std::size_t > message_count

Detailed Description

Definition at line 26 of file message.h.

Constructor & Destructor Documentation

◆ message_handlert()

message_handlert::message_handlert ( )

inline

Definition at line 29 of file message.h.

◆ ~message_handlert()

virtual message_handlert::~message_handlert ( )

inlinevirtual

Definition at line 48 of file message.h.

Member Function Documentation

◆ command()

virtual std::string message_handlert::command ( unsigned ) const

inlinevirtual

Create an ECMA-48 SGR (Select Graphic Rendition) command.

The default behavior is no action.

Reimplemented in console_message_handlert, ui_message_handlert, and inlining_decoratort.

Definition at line 65 of file message.h.

◆ flush()

virtual void message_handlert::flush ( unsigned )

pure virtual

Implemented in inlining_decoratort, console_message_handlert, ui_message_handlert, api_message_handlert, smt2_message_handlert, null_message_handlert, and stream_message_handlert.

◆ get_message_count()

std::size_t message_handlert::get_message_count ( unsigned level ) const

inline

Definition at line 55 of file message.h.

◆ get_verbosity()

unsigned message_handlert::get_verbosity ( ) const

inline

Definition at line 53 of file message.h.

◆ print() [1/5]

virtual void message_handlert::print ( unsigned level,

const jsont & json

)

pure virtual

Implemented in ui_message_handlert, inlining_decoratort, api_message_handlert, cl_message_handlert, cl_message_handlert, gcc_message_handlert, smt2_message_handlert, console_message_handlert, null_message_handlert, and stream_message_handlert.

◆ print() [2/5]

void message_handlert::print ( unsigned level,

const std::string & message

)

pure virtual

Implemented in cl_message_handlert, gcc_message_handlert, inlining_decoratort, api_message_handlert, smt2_message_handlert, console_message_handlert, null_message_handlert, stream_message_handlert, and ui_message_handlert.

Definition at line 60 of file message.cpp.

◆ print() [3/5]

void message_handlert::print ( unsigned level,

const std::string & message,

const source_locationt & location

)

virtual

Reimplemented in null_message_handlert, cl_message_handlert, gcc_message_handlert, inlining_decoratort, and ui_message_handlert.

Definition at line 16 of file message.cpp.

◆ print() [4/5]

void message_handlert::print ( unsigned level,

const structured_datat & data

)

virtual

Reimplemented in inlining_decoratort, and ui_message_handlert.

Definition at line 68 of file message.cpp.

◆ print() [5/5]

virtual void message_handlert::print ( unsigned level,

const xmlt & xml

)

pure virtual

Implemented in ui_message_handlert, inlining_decoratort, api_message_handlert, cl_message_handlert, cl_message_handlert, gcc_message_handlert, smt2_message_handlert, console_message_handlert, null_message_handlert, and stream_message_handlert.

◆ set_verbosity()

void message_handlert::set_verbosity ( unsigned _verbosity )

inline

Definition at line 52 of file message.h.

Member Data Documentation

◆ message_count

std::vector<std::size_t> message_handlert::message_count

protected

Definition at line 72 of file message.h.

◆ verbosity

unsigned message_handlert::verbosity

protected

Definition at line 71 of file message.h.

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

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