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
symbol_tablet symbol_table
Definition: language_ui.h:25
virtual ~language_uit()
Destructor.
Definition: language_ui.cpp:37
virtual bool parse()
Definition: language_ui.cpp:41
optionst * options
Definition: language_ui.h:57
uit get_ui() const
Definition: ui_message.h:30
uit get_ui()
Definition: language_ui.h:49
language_filest language_files
Definition: language_ui.h:24
virtual bool typecheck()
Definition: language_ui.cpp:97
const cmdlinet & _cmdline
Definition: language_ui.h:55
virtual void show_symbol_table(bool brief=false)
virtual void show_symbol_table_xml_ui(bool brief)
ui_message_handlert & ui_message_handler
Definition: language_ui.h:56
The symbol table.
Definition: symbol_table.h:19
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:144
Author: Diffblue Ltd.
virtual void clear_parse()
Definition: language_ui.h:38
virtual void show_symbol_table_plain(std::ostream &out, bool brief)
language_uit(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr)
Constructor.
Definition: language_ui.cpp:25
ui_message_handlert::uit uit
Definition: language_ui.h:47