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 20 of file language_ui.h.
Definition at line 45 of file language_ui.h.
language_uit::language_uit | ( | const cmdlinet & | cmdline, |
ui_message_handlert & | ui_message_handler | ||
) |
Constructor.
Definition at line 23 of file language_ui.cpp.
References messaget::set_message_handler(), and ui_message_handler.
|
virtual |
Destructor.
Definition at line 33 of file language_ui.cpp.
|
inlinevirtual |
Definition at line 36 of file language_ui.h.
References language_filest::clear(), show_symbol_table(), show_symbol_table_plain(), and show_symbol_table_xml_ui().
Referenced by goto_diff_parse_optionst::get_goto_program(), clobber_parse_optionst::get_goto_program(), and cbmc_parse_optionst::get_goto_program().
|
virtual |
Definition at line 114 of file language_ui.cpp.
References messaget::eom(), messaget::error(), language_filest::final(), language_files, messaget::message_handler, messaget::set_message_handler(), and symbol_table.
Referenced by goto_diff_parse_optionst::get_goto_program().
|
inline |
Definition at line 47 of file language_ui.h.
References ui_message_handlert::get_ui(), and ui_message_handler.
Referenced by cbmc_parse_optionst::do_bmc(), goto_diff_parse_optionst::doit(), clobber_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), symex_parse_optionst::doit(), cbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), cbmc_parse_optionst::get_goto_program(), parse(), compilet::parse(), compilet::parse_stdin(), clobber_parse_optionst::process_goto_program(), goto_diff_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), symex_parse_optionst::report_cover(), clobber_parse_optionst::report_failure(), symex_parse_optionst::report_failure(), symex_parse_optionst::report_properties(), clobber_parse_optionst::report_success(), symex_parse_optionst::report_success(), clobber_parse_optionst::show_counterexample(), symex_parse_optionst::show_counterexample(), and show_symbol_table().
|
virtual |
Definition at line 37 of file language_ui.cpp.
References _cmdline, and cmdlinet::args.
Referenced by goto_diff_parse_optionst::get_goto_program(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), and compilet::parse_source().
|
virtual |
Reimplemented in compilet.
Definition at line 48 of file language_ui.cpp.
References _cmdline, messaget::eom(), messaget::error(), language_filest::file_map, language_filet::filename, 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, messaget::result(), source_locationt::set_file(), messaget::set_message_handler(), messaget::mstreamt::source_location, messaget::status(), and widen().
|
virtual |
Definition at line 127 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.
Referenced by clear_parse(), goto_instrument_parse_optionst::doit(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), and goto_analyzer_parse_optionst::process_goto_program().
|
virtual |
Definition at line 149 of file language_ui.cpp.
References symbolt::base_name, forall_symbols, 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_tablet::symbols, symbolt::type, and symbolt::value.
Referenced by clear_parse(), and show_symbol_table().
|
virtual |
Definition at line 144 of file language_ui.cpp.
References messaget::eom(), and messaget::error().
Referenced by clear_parse(), and show_symbol_table().
|
virtual |
Definition at line 99 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 goto_diff_parse_optionst::get_goto_program(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), and compilet::parse_source().
|
protected |
Definition at line 53 of file language_ui.h.
Referenced by compilet::doit(), and parse().
language_filest language_uit::language_files |
Definition at line 23 of file language_ui.h.
Referenced by final(), parse(), compilet::parse(), compilet::parse_source(), and typecheck().
symbol_tablet language_uit::symbol_table |
Definition at line 24 of file language_ui.h.
Referenced by compilet::compile(), compilet::convert_symbols(), goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), goto_instrument_parse_optionst::do_partial_inlining(), goto_instrument_parse_optionst::do_remove_const_function_pointers_only(), goto_instrument_parse_optionst::do_remove_returns(), goto_fence_inserter_parse_optionst::doit(), clobber_parse_optionst::doit(), cbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), final(), goto_fence_inserter_parse_optionst::get_goto_program(), goto_diff_parse_optionst::get_goto_program(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::get_goto_program(), goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), compilet::link(), goto_diff_parse_optionst::process_goto_program(), clobber_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), clobber_parse_optionst::show_counterexample(), show_symbol_table_plain(), and typecheck().
|
protected |
Definition at line 54 of file language_ui.h.
Referenced by get_ui(), and language_uit().