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 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_instrument_parse_optionst, cbmc_parse_optionst, symex_parse_optionst, goto_analyzer_parse_optionst, clobber_parse_optionst, goto_diff_parse_optionst, goto_fence_inserter_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 40 of file parse_options.cpp.
References cmdline, doit(), help(), install_signal_catcher(), cmdlinet::isset(), parse_result, and usage_error().
Referenced by goto_instrument_parse_optionst::doit(), and main().
|
virtual |
Definition at line 34 of file parse_options.cpp.
References help().
Referenced by mmcc_parse_optionst::doit(), goto_diff_parse_optionst::get_command_line_options(), clobber_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), symex_parse_optionst::get_command_line_options(), cbmc_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(), goto_fence_inserter_parse_optionst::doit(), 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(), goto_diff_parse_optionst::eval_verbosity(), clobber_parse_optionst::eval_verbosity(), goto_analyzer_parse_optionst::eval_verbosity(), symex_parse_optionst::eval_verbosity(), cbmc_parse_optionst::eval_verbosity(), goto_instrument_parse_optionst::eval_verbosity(), goto_diff_parse_optionst::get_command_line_options(), clobber_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), symex_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), 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(), main(), parse_options_baset(), cbmc_parse_optionst::preprocessing(), goto_diff_parse_optionst::process_goto_program(), clobber_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), symex_parse_optionst::report_cover(), symex_parse_optionst::report_properties(), clobber_parse_optionst::set_properties(), symex_parse_optionst::set_properties(), goto_analyzer_parse_optionst::set_properties(), cbmc_parse_optionst::set_properties(), and goto_fence_inserter_parse_optionst::set_verbosity().
|
private |
Definition at line 34 of file parse_options.h.
Referenced by main(), and parse_options_baset().