cprover
ui_message.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_UI_MESSAGE_H
11 #define CPROVER_UTIL_UI_MESSAGE_H
12 
13 #include "message.h"
14 
16 {
17 public:
18  enum class uit { PLAIN, XML_UI, JSON_UI };
19 
20  ui_message_handlert(uit, const std::string &program);
21  ui_message_handlert(const class cmdlinet &, const std::string &program);
23  _ui(uit::PLAIN)
24  {
25  }
26 
27  virtual ~ui_message_handlert();
28 
29  uit get_ui() const
30  {
31  return _ui;
32  }
33 
34  void set_ui(uit __ui)
35  {
36  _ui=__ui;
37  }
38 
39  virtual void flush(unsigned level);
40 
41 protected:
43 
44  // overloading
45  virtual void print(
46  unsigned level,
47  const std::string &message);
48 
49  // overloading
50  virtual void print(
51  unsigned level,
52  const std::string &message,
53  int sequence_number,
54  const source_locationt &location);
55 
56  virtual void xml_ui_msg(
57  const std::string &type,
58  const std::string &msg1,
59  const std::string &msg2,
60  const source_locationt &location);
61 
62  virtual void json_ui_msg(
63  const std::string &type,
64  const std::string &msg1,
65  const std::string &msg2,
66  const source_locationt &location);
67 
68  virtual void ui_msg(
69  const std::string &type,
70  const std::string &msg1,
71  const std::string &msg2,
72  const source_locationt &location);
73 
74  const char *level_string(unsigned level);
75 };
76 
77 #endif // CPROVER_UTIL_UI_MESSAGE_H
uit get_ui() const
Definition: ui_message.h:29
const char * level_string(unsigned level)
Definition: ui_message.cpp:80
virtual void flush(unsigned level)
Definition: ui_message.cpp:218
virtual void json_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
Definition: ui_message.cpp:195
virtual void xml_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
Definition: ui_message.cpp:175
virtual void ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
Definition: ui_message.cpp:154
virtual ~ui_message_handlert()
Definition: ui_message.cpp:63
virtual void print(unsigned level, const std::string &message)
Definition: ui_message.cpp:90
void set_ui(uit __ui)
Definition: ui_message.h:34