cprover
|
#include <jdiff_parse_options.h>
Public Member Functions | |
virtual int | doit () |
invoke main modules More... | |
virtual void | help () |
display command line help More... | |
jdiff_parse_optionst (int argc, const char **argv) | |
jdiff_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 () |
![]() | |
jdiff_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, jdiff_languagest &languages, goto_modelt &goto_model) |
virtual bool | process_goto_program (const optionst &options, goto_modelt &goto_model) |
void | preprocessing () |
![]() | |
virtual void | register_languages () |
Protected Attributes | |
ui_message_handlert | ui_message_handler |
jdiff_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 43 of file jdiff_parse_options.h.
jdiff_parse_optionst::jdiff_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 63 of file jdiff_parse_options.cpp.
jdiff_parse_optionst::jdiff_parse_optionst | ( | int | argc, |
const char ** | argv, | ||
const std::string & | extra_options | ||
) |
Definition at line 71 of file jdiff_parse_options.cpp.
|
virtual |
invoke main modules
Implements parse_options_baset.
Definition at line 182 of file jdiff_parse_options.cpp.
References cmdlinet::args, BACKWARD, BOTH, change_impact(), parse_options_baset::cmdline, config, CPROVER_EXIT_INCORRECT_TASK, CPROVER_EXIT_SUCCESS, messaget::eom(), messaget::error(), messaget::eval_verbosity(), FORWARD, get_command_line_options(), get_goto_program(), messaget::get_message_handler(), ui_message_handlert::get_ui(), language_uit::get_ui(), cmdlinet::get_value(), cmdlinet::isset(), languages2, messaget::M_STATISTICS, unified_difft::output(), goto_difft::output_functions(), goto_difft::set_ui(), show_goto_functions(), show_loop_ids(), messaget::status(), configt::this_architecture(), configt::this_operating_system(), and ui_message_handler.
|
protectedvirtual |
Definition at line 82 of file jdiff_parse_options.cpp.
References parse_options_baset::cmdline, config, cmdlinet::get_value(), cmdlinet::get_values(), cmdlinet::isset(), parse_cover_options(), PARSE_OPTIONS_GOTO_CHECK, configt::set(), optionst::set_option(), and parse_options_baset::usage_error().
Referenced by doit().
|
protectedvirtual |
Definition at line 278 of file jdiff_parse_options.cpp.
References cmdlinet::args, parse_options_baset::cmdline, config, CPROVER_EXIT_INCORRECT_TASK, CPROVER_EXIT_INTERNAL_ERROR, messaget::eom(), goto_convert(), goto_modelt::goto_functions, is_goto_binary(), languages, process_goto_program(), read_goto_binary(), configt::set(), messaget::status(), goto_modelt::symbol_table, and ui_message_handler.
Referenced by doit().
|
virtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 427 of file jdiff_parse_options.cpp.
References banner_string(), HELP_GOTO_CHECK, HELP_SHOW_GOTO_FUNCTIONS, HELP_SHOW_PROPERTIES, HELP_TIMESTAMP, and JAVA_BYTECODE_LANGUAGE_OPTIONS_HELP.
|
protected |
|
protectedvirtual |
Definition at line 333 of file jdiff_parse_options.cpp.
References adjust_float_expressions(), parse_options_baset::cmdline, goto_functionst::compute_loop_numbers(), CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY, messaget::eom(), messaget::error(), messaget::get_message_handler(), goto_check(), goto_modelt::goto_functions, instrument_cover_goals(), instrument_preconditions(), cmdlinet::isset(), label_properties(), mm_io(), remove_complex(), remove_exceptions(), remove_function_pointers(), remove_instanceof(), remove_returns(), remove_skip(), remove_vector(), remove_virtual_functions(), rewrite_union(), messaget::status(), and goto_functionst::update().
Referenced by get_goto_program().
|
protected |
Definition at line 57 of file jdiff_parse_options.h.
Referenced by doit().
|
protected |
Definition at line 56 of file jdiff_parse_options.h.
Referenced by doit(), and get_goto_program().