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 <memory>
14 
15 #include "cout_message.h"
16 #include "json_stream.h"
17 #include "timestamper.h"
18 
20 {
21 public:
22  enum class uit { PLAIN, XML_UI, JSON_UI };
23 
24  ui_message_handlert(const class cmdlinet &, const std::string &program);
25 
28 
29  virtual ~ui_message_handlert();
30 
31  virtual uit get_ui() const
32  {
33  return _ui;
34  }
35 
36  virtual void flush(unsigned level) override;
37 
39  {
40  PRECONDITION(json_stream!=nullptr);
41  return *json_stream;
42  }
43 
44 protected:
45  std::unique_ptr<console_message_handlert> console_message_handler;
48  const bool always_flush;
49  std::unique_ptr<const timestampert> time;
50  std::ostream &out;
51  std::unique_ptr<json_stream_arrayt> json_stream;
52 
55  uit,
56  const std::string &program,
57  const bool always_flush,
58  timestampert::clockt clock_type);
59 
60  virtual void print(
61  unsigned level,
62  const std::string &message) override;
63 
64  virtual void print(
65  unsigned level,
66  const std::string &message,
67  const source_locationt &location) override;
68 
69  virtual void print(
70  unsigned level,
71  const xmlt &data) override;
72 
73  virtual void print(
74  unsigned level,
75  const jsont &data) override;
76 
77  virtual void xml_ui_msg(
78  const std::string &type,
79  const std::string &msg,
80  const source_locationt &location);
81 
82  virtual void json_ui_msg(
83  const std::string &type,
84  const std::string &msg,
85  const source_locationt &location);
86 
87  virtual void ui_msg(
88  const std::string &type,
89  const std::string &msg,
90  const source_locationt &location);
91 
92  const char *level_string(unsigned level);
93 
94  std::string command(unsigned c) const override
95  {
96  if(message_handler)
97  return message_handler->command(c);
98  else
99  return std::string();
100  }
101 };
102 
103 #define OPT_FLUSH "(flush)"
104 
105 #define HELP_FLUSH " --flush flush every line of output\n"
106 
107 #endif // CPROVER_UTIL_UI_MESSAGE_H
message_handlert::command
virtual std::string command(unsigned) const
Create an ECMA-48 SGR (Select Graphic Rendition) command.
Definition: message.h:63
ui_message_handlert
Definition: ui_message.h:20
ui_message_handlert::always_flush
const bool always_flush
Definition: ui_message.h:48
ui_message_handlert::uit::XML_UI
@ XML_UI
ui_message_handlert::_ui
uit _ui
Definition: ui_message.h:47
ui_message_handlert::ui_msg
virtual void ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)
Definition: ui_message.cpp:238
timestampert::clockt
clockt
Derived types of timestampert.
Definition: timestamper.h:46
json_stream.h
data
Definition: kdev_t.h:24
ui_message_handlert::~ui_message_handlert
virtual ~ui_message_handlert()
Definition: ui_message.cpp:96
ui_message_handlert::ui_message_handlert
ui_message_handlert(ui_message_handlert &&)=default
jsont
Definition: json.h:25
ui_message_handlert::get_ui
virtual uit get_ui() const
Definition: ui_message.h:31
ui_message_handlert::uit
uit
Definition: ui_message.h:22
message
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
Definition: static_verifier.cpp:74
ui_message_handlert::get_json_stream
virtual json_stream_arrayt & get_json_stream()
Definition: ui_message.h:38
cmdlinet
Definition: cmdline.h:21
ui_message_handlert::json_stream
std::unique_ptr< json_stream_arrayt > json_stream
Definition: ui_message.h:51
ui_message_handlert::json_ui_msg
virtual void json_ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)
Definition: ui_message.cpp:280
ui_message_handlert::time
std::unique_ptr< const timestampert > time
Definition: ui_message.h:49
ui_message_handlert::uit::JSON_UI
@ JSON_UI
PRECONDITION
#define PRECONDITION(CONDITION)
Definition: invariant.h:464
ui_message_handlert::out
std::ostream & out
Definition: ui_message.h:50
cout_message.h
json_stream_arrayt
Provides methods for streaming JSON arrays.
Definition: json_stream.h:93
message_handlert
Definition: message.h:27
xmlt
Definition: xml.h:19
ui_message_handlert::console_message_handler
std::unique_ptr< console_message_handlert > console_message_handler
Definition: ui_message.h:45
source_locationt
Definition: source_location.h:20
ui_message_handlert::uit::PLAIN
@ PLAIN
ui_message_handlert::level_string
const char * level_string(unsigned level)
Definition: ui_message.cpp:117
ui_message_handlert::xml_ui_msg
virtual void xml_ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)
Definition: ui_message.cpp:258
ui_message_handlert::command
std::string command(unsigned c) const override
Create an ECMA-48 SGR (Select Graphic Rendition) command.
Definition: ui_message.h:94
timestamper.h
Emit timestamps.
ui_message_handlert::print
virtual void print(unsigned level, const std::string &message) override
Definition: ui_message.cpp:127
ui_message_handlert::flush
virtual void flush(unsigned level) override
Definition: ui_message.cpp:299
ui_message_handlert::ui_message_handlert
ui_message_handlert(const class cmdlinet &, const std::string &program)
Definition: ui_message.cpp:63
ui_message_handlert::message_handler
message_handlert * message_handler
Definition: ui_message.h:46