CBMC
Public Member Functions | List of all members
smt2_message_handlert Class Reference
+ Inheritance diagram for smt2_message_handlert:
+ Collaboration diagram for smt2_message_handlert:

Public Member Functions

void print (unsigned level, const std::string &message) override
 
void print (unsigned, const xmlt &) override
 
void print (unsigned, const jsont &) 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...
 

Additional Inherited Members

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

Detailed Description

Definition at line 380 of file smt2_solver.cpp.

Member Function Documentation

◆ flush()

void smt2_message_handlert::flush ( unsigned  )
inlineoverridevirtual

Implements message_handlert.

Definition at line 401 of file smt2_solver.cpp.

◆ print() [1/3]

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

Implements message_handlert.

Definition at line 383 of file smt2_solver.cpp.

◆ print() [2/3]

void smt2_message_handlert::print ( unsigned  ,
const jsont &   
)
inlineoverridevirtual

Implements message_handlert.

Definition at line 397 of file smt2_solver.cpp.

◆ print() [3/3]

void smt2_message_handlert::print ( unsigned  ,
const xmlt &   
)
inlineoverridevirtual

Implements message_handlert.

Definition at line 393 of file smt2_solver.cpp.

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