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  virtual ~language_uit();
31 
32  virtual bool parse();
33  virtual bool parse(const std::string &filename);
34  virtual bool typecheck();
35  virtual bool final();
36 
37  virtual void clear_parse()
38  {
40  }
41 
42  virtual void show_symbol_table(bool brief=false);
43  virtual void show_symbol_table_plain(std::ostream &out, bool brief);
44  virtual void show_symbol_table_xml_ui(bool brief);
45 
47 
49  {
50  return ui_message_handler.get_ui();
51  }
52 
53 protected:
56 };
57 
58 #endif // CPROVER_LANGAPI_LANGUAGE_UI_H
symbol_tablet symbol_table
Definition: language_ui.h:25
virtual ~language_uit()
Destructor.
Definition: language_ui.cpp:34
virtual bool parse()
Definition: language_ui.cpp:38
uit get_ui() const
Definition: ui_message.h:37
uit get_ui()
Definition: language_ui.h:48
language_filest language_files
Definition: language_ui.h:24
virtual bool typecheck()
Definition: language_ui.cpp:92
const cmdlinet & _cmdline
Definition: language_ui.h:54
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:24
ui_message_handlert & ui_message_handler
Definition: language_ui.h:55
The symbol table.
Definition: symbol_table.h:19
Author: Diffblue Ltd.
virtual void clear_parse()
Definition: language_ui.h:37
virtual void show_symbol_table_plain(std::ostream &out, bool brief)
ui_message_handlert::uit uit
Definition: language_ui.h:46