cprover
|
#include <parse_options.h>
Public Member Functions | |
parse_options_baset (const std::string &optstring, int argc, const char **argv) | |
virtual void | help () |
virtual void | usage_error () |
virtual int | doit ()=0 |
virtual int | main () |
virtual | ~parse_options_baset () |
Public Attributes | |
cmdlinet | cmdline |
Private Member Functions | |
void | unknown_option_msg () |
Print an error message mentioning the option that was not recognized when parsing the command line. More... | |
Private Attributes | |
bool | parse_result |
Definition at line 17 of file parse_options.h.
parse_options_baset::parse_options_baset | ( | const std::string & | optstring, |
int | argc, | ||
const char ** | argv | ||
) |
Definition at line 23 of file parse_options.cpp.
References cmdline, cmdlinet::parse(), and parse_result.
|
inlinevirtual |
Definition at line 31 of file parse_options.h.
|
pure virtual |
|
virtual |
Reimplemented in goto_analyzer_parse_optionst, janalyzer_parse_optionst, goto_instrument_parse_optionst, jbmc_parse_optionst, cbmc_parse_optionst, goto_diff_parse_optionst, clobber_parse_optionst, jdiff_parse_optionst, and mmcc_parse_optionst.
Definition at line 30 of file parse_options.cpp.
Referenced by main(), and usage_error().
|
virtual |
Definition at line 48 of file parse_options.cpp.
References cmdline, doit(), help(), install_signal_catcher(), cmdlinet::isset(), parse_result, unknown_option_msg(), and usage_error().
Referenced by goto_instrument_parse_optionst::doit(), and main().
|
private |
Print an error message mentioning the option that was not recognized when parsing the command line.
Definition at line 42 of file parse_options.cpp.
References cmdline, and cmdlinet::unknown_arg.
Referenced by main().
|
virtual |
Definition at line 34 of file parse_options.cpp.
References help().
Referenced by mmcc_parse_optionst::doit(), clobber_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), jbmc_parse_optionst::get_command_line_options(), janalyzer_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and main().
cmdlinet parse_options_baset::cmdline |
Definition at line 23 of file parse_options.h.
Referenced by 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(), mmcc_parse_optionst::doit(), jdiff_parse_optionst::doit(), clobber_parse_optionst::doit(), goto_diff_parse_optionst::doit(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), janalyzer_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), clobber_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), jbmc_parse_optionst::get_command_line_options(), janalyzer_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_goto_program(), goto_diff_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), jbmc_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), main(), parse_options_baset(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), cbmc_parse_optionst::preprocessing(), jbmc_parse_optionst::process_goto_function(), jbmc_parse_optionst::process_goto_functions(), clobber_parse_optionst::process_goto_program(), jdiff_parse_optionst::process_goto_program(), goto_diff_parse_optionst::process_goto_program(), janalyzer_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), clobber_parse_optionst::set_properties(), cbmc_parse_optionst::set_properties(), jbmc_parse_optionst::set_properties(), janalyzer_parse_optionst::set_properties(), goto_analyzer_parse_optionst::set_properties(), jbmc_parse_optionst::show_loaded_functions(), and unknown_option_msg().
|
private |
Definition at line 35 of file parse_options.h.
Referenced by main(), and parse_options_baset().