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) | |
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 |
Additional Inherited Members |
Definition at line 21 of file language_ui.h.
Definition at line 46 of file language_ui.h.
language_uit::language_uit | ( | const cmdlinet & | cmdline, |
ui_message_handlert & | ui_message_handler | ||
) |
Constructor.
Definition at line 24 of file language_ui.cpp.
References messaget::set_message_handler(), and ui_message_handler.
|
virtual |
Destructor.
Definition at line 34 of file language_ui.cpp.
|
inlinevirtual |
Definition at line 37 of file language_ui.h.
References language_filest::clear(), and language_files.
|
virtual |
Definition at line 107 of file language_ui.cpp.
References _cmdline, config, messaget::eom(), messaget::error(), language_filest::final(), cmdlinet::isset(), language_files, messaget::message_handler, messaget::set_message_handler(), configt::set_object_bits_from_symbol_table(), language_filest::set_should_generate_opaque_method_stubs(), and symbol_table.
|
inline |
Definition at line 48 of file language_ui.h.
References ui_message_handlert::get_ui(), and ui_message_handler.
Referenced by clobber_parse_optionst::doit(), jdiff_parse_optionst::doit(), goto_diff_parse_optionst::doit(), parse(), compilet::parse(), compilet::parse_stdin(), clobber_parse_optionst::report_failure(), clobber_parse_optionst::report_success(), clobber_parse_optionst::show_counterexample(), and show_symbol_table().
|
virtual |
Definition at line 38 of file language_ui.cpp.
References _cmdline, and cmdlinet::args.
Referenced by compilet::parse_source().
|
virtual |
Reimplemented in compilet.
Definition at line 47 of file language_ui.cpp.
References _cmdline, language_filest::add_file(), messaget::eom(), messaget::error(), get_language_from_filename(), languaget::get_language_options(), messaget::get_message_handler(), language_filet::get_modules(), get_ui(), language_filet::language, language_files, languaget::parse(), ui_message_handlert::PLAIN, source_locationt::set_file(), messaget::set_message_handler(), messaget::mstreamt::source_location, messaget::status(), and widen().
|
virtual |
Definition at line 126 of file language_ui.cpp.
References messaget::eom(), messaget::error(), get_ui(), ui_message_handlert::PLAIN, show_symbol_table_plain(), show_symbol_table_xml_ui(), and ui_message_handlert::XML_UI.
|
virtual |
Definition at line 148 of file language_ui.cpp.
References symbolt::base_name, languaget::from_expr(), languaget::from_type(), get_default_language(), get_language_from_mode(), id2string(), symbolt::is_auxiliary, symbolt::is_exported, symbolt::is_extern, symbolt::is_file_local, symbolt::is_input, symbolt::is_lvalue, symbolt::is_macro, irept::is_not_nil(), symbolt::is_output, symbolt::is_parameter, symbolt::is_property, symbolt::is_state_var, symbolt::is_static_lifetime, symbolt::is_thread_local, symbolt::is_type, symbolt::is_volatile, symbolt::is_weak, symbolt::location, namespacet::lookup(), symbolt::mode, symbolt::module, symbolt::name, symbolt::pretty_name, symbol_table, symbol_table_baset::symbols, symbolt::type, and symbolt::value.
Referenced by show_symbol_table().
|
virtual |
Definition at line 143 of file language_ui.cpp.
References messaget::eom(), and messaget::error().
Referenced by show_symbol_table().
|
virtual |
Definition at line 92 of file language_ui.cpp.
References messaget::eom(), messaget::error(), language_files, messaget::message_handler, messaget::set_message_handler(), messaget::status(), symbol_table, and language_filest::typecheck().
Referenced by compilet::parse_source().
|
protected |
Definition at line 54 of file language_ui.h.
Referenced by compilet::doit(), final(), and parse().
language_filest language_uit::language_files |
Definition at line 24 of file language_ui.h.
Referenced by clear_parse(), final(), parse(), compilet::parse(), compilet::parse_source(), and typecheck().
symbol_tablet language_uit::symbol_table |
Definition at line 25 of file language_ui.h.
Referenced by linker_script_merget::add_linker_script_definitions(), compilet::add_written_cprover_symbols(), compilet::compile(), compilet::convert_symbols(), final(), compilet::link(), clobber_parse_optionst::show_counterexample(), show_symbol_table_plain(), and typecheck().
|
protected |
Definition at line 55 of file language_ui.h.
Referenced by get_ui(), and language_uit().