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/language_file.h>
15 #include <util/symbol_table.h>
16 #include <util/ui_message.h>
17 
18 class cmdlinet;
19 
20 class language_uit:public messaget
21 {
22 public:
25 
27  const cmdlinet &cmdline,
29  virtual ~language_uit();
30 
31  virtual bool parse();
32  virtual bool parse(const std::string &filename);
33  virtual bool typecheck();
34  virtual bool final();
35 
36  virtual void clear_parse()
37  {
39  }
40 
41  virtual void show_symbol_table(bool brief=false);
42  virtual void show_symbol_table_plain(std::ostream &out, bool brief);
43  virtual void show_symbol_table_xml_ui(bool brief);
44 
46 
48  {
49  return ui_message_handler.get_ui();
50  }
51 
52 protected:
55 };
56 
57 #endif // CPROVER_LANGAPI_LANGUAGE_UI_H
symbol_tablet symbol_table
Definition: language_ui.h:24
virtual ~language_uit()
Destructor.
Definition: language_ui.cpp:33
virtual bool parse()
Definition: language_ui.cpp:37
uit get_ui() const
Definition: ui_message.h:29
uit get_ui()
Definition: language_ui.h:47
language_filest language_files
Definition: language_ui.h:23
virtual bool typecheck()
Definition: language_ui.cpp:99
const cmdlinet & _cmdline
Definition: language_ui.h:53
virtual void show_symbol_table(bool brief=false)
virtual void show_symbol_table_xml_ui(bool brief)
language_uit(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler)
Constructor.
Definition: language_ui.cpp:23
ui_message_handlert & ui_message_handler
Definition: language_ui.h:54
The symbol table.
Definition: symbol_table.h:52
Symbol table.
virtual void clear_parse()
Definition: language_ui.h:36
virtual void show_symbol_table_plain(std::ostream &out, bool brief)
ui_message_handlert::uit uit
Definition: language_ui.h:45