Go to the documentation of this file.
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
Class that provides messages with a built-in verbosity 'level'.
virtual void show_symbol_table(bool brief=false)
language_filest language_files
ui_message_handlert & ui_message_handler
language_uit(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr)
Constructor.
virtual ~language_uit()
Destructor.
symbol_tablet symbol_table
ui_message_handlert::uit uit
virtual void show_symbol_table_xml_ui(bool brief)
const cmdlinet & _cmdline
virtual void clear_parse()
virtual void show_symbol_table_plain(std::ostream &out, bool brief)