cprover
|
#include <goto_diff_parse_options.h>
Public Member Functions | |
virtual int | doit () |
invoke main modules More... | |
virtual void | help () |
display command line help More... | |
goto_diff_parse_optionst (int argc, const char **argv) | |
goto_diff_parse_optionst (int argc, const char **argv, const std::string &extra_options) | |
![]() | |
parse_options_baset (const std::string &optstring, int argc, const char **argv) | |
virtual void | usage_error () |
virtual int | main () |
virtual | ~parse_options_baset () |
![]() | |
goto_diff_languagest (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler) | |
![]() | |
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 () |
Protected Member Functions | |
virtual void | get_command_line_options (optionst &options) |
virtual int | get_goto_program (const optionst &options, goto_diff_languagest &languages, goto_modelt &goto_model) |
virtual bool | process_goto_program (const optionst &options, goto_modelt &goto_model) |
void | eval_verbosity () |
void | preprocessing () |
![]() | |
virtual void | register_languages () |
Protected Attributes | |
ui_message_handlert | ui_message_handler |
goto_diff_languagest | languages2 |
![]() | |
const cmdlinet & | _cmdline |
ui_message_handlert & | ui_message_handler |
Additional Inherited Members | |
![]() | |
typedef ui_message_handlert::uit | uit |
![]() | |
cmdlinet | cmdline |
![]() | |
language_filest | language_files |
symbol_tablet | symbol_table |
Definition at line 35 of file goto_diff_parse_options.h.
goto_diff_parse_optionst::goto_diff_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 51 of file goto_diff_parse_options.cpp.
goto_diff_parse_optionst::goto_diff_parse_optionst | ( | int | argc, |
const char ** | argv, | ||
const std::string & | extra_options | ||
) |
Definition at line 59 of file goto_diff_parse_options.cpp.
|
virtual |
invoke main modules
Implements parse_options_baset.
Definition at line 240 of file goto_diff_parse_options.cpp.
References cmdlinet::args, BACKWARD, BOTH, CBMC_VERSION, change_impact(), parse_options_baset::cmdline, config, messaget::eom(), messaget::error(), eval_verbosity(), FORWARD, get_command_line_options(), get_goto_program(), messaget::get_message_handler(), language_uit::get_ui(), cmdlinet::isset(), languages2, unified_difft::output(), goto_difft::output_functions(), remove_returns(), goto_difft::set_ui(), show_goto_functions(), messaget::status(), configt::this_architecture(), and configt::this_operating_system().
|
protected |
Definition at line 70 of file goto_diff_parse_options.cpp.
References parse_options_baset::cmdline, cmdlinet::get_value(), cmdlinet::isset(), messaget::M_STATISTICS, message_handlert::set_verbosity(), ui_message_handler, and unsafe_string2unsigned().
Referenced by doit().
|
protectedvirtual |
Definition at line 85 of file goto_diff_parse_options.cpp.
References configt::ansi_c, parse_options_baset::cmdline, config, configt::cpp, messaget::eom(), messaget::error(), optionst::get_bool_option(), cmdlinet::get_value(), cmdlinet::get_values(), cmdlinet::isset(), configt::set(), configt::ansi_ct::set_c11(), configt::ansi_ct::set_c89(), configt::ansi_ct::set_c99(), configt::cppt::set_cpp03(), configt::cppt::set_cpp11(), configt::cppt::set_cpp98(), optionst::set_option(), and parse_options_baset::usage_error().
Referenced by doit().
|
protectedvirtual |
Definition at line 333 of file goto_diff_parse_options.cpp.
References cmdlinet::args, language_uit::clear_parse(), parse_options_baset::cmdline, config, messaget::eom(), language_uit::final(), messaget::get_message_handler(), goto_convert(), goto_modelt::goto_functions, is_goto_binary(), language_uit::parse(), read_goto_binary(), configt::set(), configt::set_from_symbol_table(), messaget::status(), language_uit::symbol_table, goto_modelt::symbol_table, language_uit::typecheck(), and ui_message_handler.
Referenced by doit().
|
virtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 477 of file goto_diff_parse_options.cpp.
References CBMC_VERSION, and HELP_SHOW_GOTO_FUNCTIONS.
|
protected |
|
protectedvirtual |
Definition at line 390 of file goto_diff_parse_options.cpp.
References add_failed_symbols(), parse_options_baset::cmdline, goto_functions_templatet< bodyT >::compute_loop_numbers(), messaget::eom(), messaget::error(), messaget::get_message_handler(), language_uit::get_ui(), goto_modelt::goto_functions, goto_partial_inline(), cmdlinet::isset(), link_to_library(), remove_asm(), remove_complex(), remove_function_pointers(), remove_returns(), remove_vector(), show_goto_functions(), show_loop_ids(), messaget::status(), language_uit::symbol_table, goto_modelt::symbol_table, ui_message_handler, and goto_functions_templatet< bodyT >::update().
|
protected |
Definition at line 51 of file goto_diff_parse_options.h.
Referenced by doit().
|
protected |
Definition at line 50 of file goto_diff_parse_options.h.
Referenced by eval_verbosity(), get_goto_program(), and process_goto_program().