cprover
language_ui.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_LANGAPI_LANGUAGE_UI_H
11 #define CPROVER_LANGAPI_LANGUAGE_UI_H
12 
13 #include <util/message.h>
14 #include <util/symbol_table.h>
15 #include <util/ui_message.h>
16 
17 #include "language_file.h"
18 
19 class cmdlinet;
20 
21 class language_uit:public messaget
22 {
23 public:
26 
28  const cmdlinet &cmdline,
30  optionst *options = nullptr);
31  virtual ~language_uit();
32 
33  virtual bool parse();
34  virtual bool parse(const std::string &filename);
35  virtual bool typecheck();
36  virtual bool final();
37 
38  virtual void clear_parse()
39  {
41  }
42 
43  virtual void show_symbol_table(bool brief=false);
44  virtual void show_symbol_table_plain(std::ostream &out, bool brief);
45  virtual void show_symbol_table_xml_ui(bool brief);
46 
48 
50  {
51  return ui_message_handler.get_ui();
52  }
53 
54 protected:
58 };
59 
60 #endif // CPROVER_LANGAPI_LANGUAGE_UI_H
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:144
language_uit::show_symbol_table
virtual void show_symbol_table(bool brief=false)
Definition: language_ui.cpp:127
symbol_tablet
The symbol table.
Definition: symbol_table.h:19
language_uit::parse
virtual bool parse()
Definition: language_ui.cpp:41
ui_message_handlert
Definition: ui_message.h:19
optionst
Definition: options.h:22
language_uit::language_files
language_filest language_files
Definition: language_ui.h:24
language_uit::ui_message_handler
ui_message_handlert & ui_message_handler
Definition: language_ui.h:56
language_uit::options
optionst * options
Definition: language_ui.h:57
ui_message_handlert::uit
uit
Definition: ui_message.h:22
cmdlinet
Definition: cmdline.h:19
language_uit::language_uit
language_uit(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr)
Constructor.
Definition: language_ui.cpp:25
language_uit::~language_uit
virtual ~language_uit()
Destructor.
Definition: language_ui.cpp:37
language_uit::symbol_table
symbol_tablet symbol_table
Definition: language_ui.h:25
language_uit::uit
ui_message_handlert::uit uit
Definition: language_ui.h:47
language_uit::show_symbol_table_xml_ui
virtual void show_symbol_table_xml_ui(bool brief)
Definition: language_ui.cpp:144
language_uit
Definition: language_ui.h:21
language_uit::typecheck
virtual bool typecheck()
Definition: language_ui.cpp:97
ui_message_handlert::get_ui
uit get_ui() const
Definition: ui_message.h:30
language_uit::_cmdline
const cmdlinet & _cmdline
Definition: language_ui.h:55
language_uit::clear_parse
virtual void clear_parse()
Definition: language_ui.h:38
language_filest::clear
void clear()
Definition: language_file.h:134
symbol_table.h
Author: Diffblue Ltd.
message.h
language_uit::show_symbol_table_plain
virtual void show_symbol_table_plain(std::ostream &out, bool brief)
Definition: language_ui.cpp:149
language_uit::get_ui
uit get_ui()
Definition: language_ui.h:49
language_file.h
ui_message.h
language_filest
Definition: language_file.h:61