|
cprover
|
#include <language_ui.h>
Inheritance diagram for language_uit:
Collaboration diagram for language_uit:Public Types | |
| typedef ui_message_handlert::uit | uit |
Public Member Functions | |
| language_uit (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr) | |
| Constructor. More... | |
| virtual | ~language_uit () |
| Destructor. More... | |
| virtual bool | parse () |
| virtual bool | parse (const std::string &filename) |
| virtual bool | typecheck () |
| virtual bool | final () |
| virtual void | clear_parse () |
| virtual void | show_symbol_table (bool brief=false) |
| virtual void | show_symbol_table_plain (std::ostream &out, bool brief) |
| virtual void | show_symbol_table_xml_ui (bool brief) |
| uit | get_ui () |
Public Attributes | |
| language_filest | language_files |
| symbol_tablet | symbol_table |
Protected Attributes | |
| const cmdlinet & | _cmdline |
| ui_message_handlert & | ui_message_handler |
| optionst * | options |
Additional Inherited Members |
Definition at line 21 of file language_ui.h.
Definition at line 47 of file language_ui.h.
| language_uit::language_uit | ( | const cmdlinet & | cmdline, |
| ui_message_handlert & | ui_message_handler, | ||
| optionst * | options = nullptr |
||
| ) |
Constructor.
Definition at line 25 of file language_ui.cpp.
|
virtual |
Destructor.
Definition at line 37 of file language_ui.cpp.
|
inlinevirtual |
Definition at line 38 of file language_ui.h.
|
virtual |
Definition at line 112 of file language_ui.cpp.
|
inline |
Definition at line 49 of file language_ui.h.
|
virtual |
Definition at line 41 of file language_ui.cpp.
|
virtual |
Definition at line 50 of file language_ui.cpp.
|
virtual |
Definition at line 127 of file language_ui.cpp.
|
virtual |
Definition at line 149 of file language_ui.cpp.
|
virtual |
Definition at line 144 of file language_ui.cpp.
|
virtual |
Definition at line 97 of file language_ui.cpp.
|
protected |
Definition at line 55 of file language_ui.h.
| language_filest language_uit::language_files |
Definition at line 24 of file language_ui.h.
|
protected |
Definition at line 57 of file language_ui.h.
| symbol_tablet language_uit::symbol_table |
Definition at line 25 of file language_ui.h.
|
protected |
Definition at line 56 of file language_ui.h.