10 #ifndef CPROVER_LANGAPI_LANGUAGE_UI_H 11 #define CPROVER_LANGAPI_LANGUAGE_UI_H 34 virtual bool parse(
const std::string &filename);
60 #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)
ui_message_handlert & ui_message_handler
Class that provides messages with a built-in verbosity 'level'.
virtual void clear_parse()
virtual void show_symbol_table_plain(std::ostream &out, bool brief)
language_uit(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr)
Constructor.
ui_message_handlert::uit uit