cprover
ui_message_handlert Class Reference

#include <ui_message.h>

Inheritance diagram for ui_message_handlert:
[legend]
Collaboration diagram for ui_message_handlert:
[legend]

Public Types

enum  uit { uit::PLAIN, uit::XML_UI, uit::JSON_UI }
 

Public Member Functions

 ui_message_handlert (uit, const std::string &program)
 
 ui_message_handlert (const class cmdlinet &, const std::string &program)
 
 ui_message_handlert ()
 
virtual ~ui_message_handlert ()
 
uit get_ui () const
 
void set_ui (uit __ui)
 
virtual void flush (unsigned level)
 
- Public Member Functions inherited from message_handlert
 message_handlert ()
 
virtual ~message_handlert ()
 
void set_verbosity (unsigned _verbosity)
 
unsigned get_verbosity () const
 
unsigned get_message_count (unsigned level) const
 

Protected Member Functions

virtual void print (unsigned level, const std::string &message)
 
virtual void print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location)
 
virtual void xml_ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
 
virtual void json_ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
 
virtual void ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
 
const char * level_string (unsigned level)
 

Protected Attributes

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

Detailed Description

Definition at line 15 of file ui_message.h.

Member Enumeration Documentation

§ uit

Enumerator
PLAIN 
XML_UI 
JSON_UI 

Definition at line 18 of file ui_message.h.

Constructor & Destructor Documentation

§ ui_message_handlert() [1/3]

ui_message_handlert::ui_message_handlert ( uit  __ui,
const std::string &  program 
)

Definition at line 20 of file ui_message.cpp.

References xmlt::data, JSON_UI, xmlt::name, PLAIN, and XML_UI.

§ ui_message_handlert() [2/3]

ui_message_handlert::ui_message_handlert ( const class cmdlinet cmdline,
const std::string &  program 
)

Definition at line 52 of file ui_message.cpp.

§ ui_message_handlert() [3/3]

ui_message_handlert::ui_message_handlert ( )
inline

Definition at line 22 of file ui_message.h.

References ~ui_message_handlert().

§ ~ui_message_handlert()

ui_message_handlert::~ui_message_handlert ( )
virtual

Definition at line 63 of file ui_message.cpp.

References get_ui(), JSON_UI, PLAIN, and XML_UI.

Referenced by ui_message_handlert().

Member Function Documentation

§ flush()

void ui_message_handlert::flush ( unsigned  level)
virtual

Reimplemented from message_handlert.

Reimplemented in console_message_handlert.

Definition at line 218 of file ui_message.cpp.

References console_message_handlert::flush(), get_ui(), JSON_UI, PLAIN, and XML_UI.

Referenced by set_ui().

§ get_ui()

uit ui_message_handlert::get_ui ( ) const
inline

Definition at line 29 of file ui_message.h.

References _ui.

Referenced by flush(), language_uit::get_ui(), print(), ui_msg(), and ~ui_message_handlert().

§ json_ui_msg()

void ui_message_handlert::json_ui_msg ( const std::string &  type,
const std::string &  msg1,
const std::string &  msg2,
const source_locationt location 
)
protectedvirtual

Definition at line 195 of file ui_message.cpp.

References dstringt::empty(), source_locationt::get_file(), irept::is_not_nil(), and xml().

Referenced by ui_msg().

§ level_string()

const char * ui_message_handlert::level_string ( unsigned  level)
protected

Definition at line 80 of file ui_message.cpp.

Referenced by print().

§ print() [1/2]

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

§ print() [2/2]

void ui_message_handlert::print ( unsigned  level,
const std::string &  message,
int  sequence_number,
const source_locationt location 
)
protectedvirtual

Reimplemented from message_handlert.

Reimplemented in gcc_message_handlert.

Definition at line 117 of file ui_message.cpp.

References get_ui(), JSON_UI, level_string(), PLAIN, message_handlert::print(), ui_msg(), message_handlert::verbosity, and XML_UI.

§ set_ui()

void ui_message_handlert::set_ui ( uit  __ui)
inline

Definition at line 34 of file ui_message.h.

References _ui, and flush().

§ ui_msg()

void ui_message_handlert::ui_msg ( const std::string &  type,
const std::string &  msg1,
const std::string &  msg2,
const source_locationt location 
)
protectedvirtual

Definition at line 154 of file ui_message.cpp.

References get_ui(), JSON_UI, json_ui_msg(), PLAIN, XML_UI, and xml_ui_msg().

Referenced by print().

§ xml_ui_msg()

void ui_message_handlert::xml_ui_msg ( const std::string &  type,
const std::string &  msg1,
const std::string &  msg2,
const source_locationt location 
)
protectedvirtual

Member Data Documentation

§ _ui

uit ui_message_handlert::_ui
protected

Definition at line 42 of file ui_message.h.

Referenced by get_ui(), and set_ui().


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