10 #ifndef CPROVER_LANGAPI_LANGUAGE_UI_H 11 #define CPROVER_LANGAPI_LANGUAGE_UI_H 32 virtual bool parse(
const std::string &filename);
38 language_files.
clear();
57 #endif // CPROVER_LANGAPI_LANGUAGE_UI_H symbol_tablet symbol_table
virtual ~language_uit()
Destructor.
language_filest language_files
const cmdlinet & _cmdline
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.
ui_message_handlert & ui_message_handler
virtual void clear_parse()
virtual void show_symbol_table_plain(std::ostream &out, bool brief)
ui_message_handlert::uit uit