ui_message.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_UI_MESSAGE_H
#define CPROVER_UTIL_UI_MESSAGE_H
 
#include <memory>
 
#include "message.h"
#include "timestamper.h"
 
class console_message_handlert;
class json_stream_arrayt;
 
class ui_message_handlert : public message_handlert
{
public:
  enum class uit { PLAIN, XML_UI, JSON_UI };
 
  ui_message_handlert(const class cmdlinet &, const std::string &program);
 
  explicit ui_message_handlert(message_handlert &);
  ui_message_handlert(ui_message_handlert &&) = default;
 
  virtual ~ui_message_handlert();
 
  virtual uit get_ui() const
  {
    return _ui;
  }
  virtual uit get_ui() const {…}
 
  virtual void flush(unsigned level) override;
 
  virtual json_stream_arrayt &get_json_stream()
  {
    PRECONDITION(json_stream!=nullptr);
    return *json_stream;
  }
  virtual json_stream_arrayt &get_json_stream() {…}
  void print(unsigned level, const structured_datat &data) override;
 
protected:
  std::unique_ptr<console_message_handlert> console_message_handler;
  message_handlert *message_handler;
  uit _ui;
  const bool always_flush;
  std::unique_ptr<const timestampert> time;
  std::ostream &out;
  std::unique_ptr<json_stream_arrayt> json_stream;
 
  ui_message_handlert(
    message_handlert *,
    uit,
    const std::string &program,
    const bool always_flush,
    timestampert::clockt clock_type);
 
  virtual void print(
    unsigned level,
    const std::string &message) override;
 
  virtual void print(
    unsigned level,
    const std::string &message,
    const source_locationt &location) override;
 
  virtual void print(
    unsigned level,
    const xmlt &data) override;
 
  virtual void print(
    unsigned level,
    const jsont &data) override;
 
  virtual void xml_ui_msg(
    const std::string &type,
    const std::string &msg,
    const source_locationt &location);
 
  virtual void json_ui_msg(
    const std::string &type,
    const std::string &msg,
    const source_locationt &location);
 
  virtual void ui_msg(
    const std::string &type,
    const std::string &msg,
    const source_locationt &location);
 
  const char *level_string(unsigned level);
 
  std::string command(unsigned c) const override
  {
    if(message_handler)
      return message_handler->command(c);
    else
      return std::string();
  }
  std::string command(unsigned c) const override {…}
};
class ui_message_handlert : public message_handlert {…};
 
#define OPT_FLUSH "(flush)"
 
#define HELP_FLUSH " {y--flush} \t flush every line of output\n"
 
#endif // CPROVER_UTIL_UI_MESSAGE_H