cprover
|
#include <language_ui.h>
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.