cprover
|
#include <cmdline.h>
Classes | |
struct | optiont |
Public Types | |
typedef std::vector< std::string > | argst |
Public Member Functions | |
virtual bool | parse (int argc, const char **argv, const char *optstring) |
std::string | get_value (char option) const |
std::string | get_value (const char *option) const |
const std::list< std::string > & | get_values (const std::string &option) const |
const std::list< std::string > & | get_values (char option) const |
virtual bool | isset (char option) const |
virtual bool | isset (const char *option) const |
virtual void | set (const std::string &option) |
virtual void | set (const std::string &option, const std::string &value) |
virtual void | clear () |
cmdlinet () | |
virtual | ~cmdlinet () |
Public Attributes | |
argst | args |
std::string | unknown_arg |
Protected Member Functions | |
optionalt< std::size_t > | getoptnr (char option) const |
optionalt< std::size_t > | getoptnr (const std::string &option) const |
Protected Attributes | |
std::vector< optiont > | options |
typedef std::vector<std::string> cmdlinet::argst |
cmdlinet::cmdlinet | ( | ) |
Definition at line 13 of file cmdline.cpp.
|
virtual |
Definition at line 17 of file cmdline.cpp.
|
virtual |
std::string cmdlinet::get_value | ( | char | option | ) | const |
Definition at line 45 of file cmdline.cpp.
References getoptnr(), and options.
Referenced by linker_script_merget::add_linker_script_definitions(), as_modet::as_hybrid_binary(), gcc_modet::asm_output(), assembler_name(), compilet::compile(), compiler_name(), as_modet::doit(), ms_cl_modet::doit(), ms_link_modet::doit(), armcc_modet::doit(), cw_modet::doit(), ld_modet::doit(), gcc_modet::doit(), clobber_parse_optionst::doit(), jdiff_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(), gcc_modet::gcc_hybrid_binary(), 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(), java_bytecode_languaget::get_language_options(), linker_script_merget::get_linker_script_data(), goto_instrument_parse_optionst::instrument_goto_program(), ld_modet::ld_hybrid_binary(), linker_name(), compilet::parse(), parse_cover_options(), gcc_cmdlinet::parse_specs(), compilet::parse_stdin(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), configt::set(), and path_strategy_choosert::set_path_strategy_options().
std::string cmdlinet::get_value | ( | const char * | option | ) | const |
Definition at line 95 of file cmdline.cpp.
References getoptnr(), and options.
const std::list< std::string > & cmdlinet::get_values | ( | const std::string & | option | ) | const |
Definition at line 110 of file cmdline.cpp.
References getoptnr(), immutable_empty_list, and options.
Referenced by armcc_modet::doit(), ms_link_modet::doit(), cw_modet::doit(), ld_modet::doit(), gcc_modet::doit(), jdiff_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), janalyzer_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), java_bytecode_languaget::get_language_options(), goto_instrument_parse_optionst::instrument_goto_program(), parse_cover_options(), jbmc_parse_optionst::process_goto_functions(), configt::set(), clobber_parse_optionst::set_properties(), cbmc_parse_optionst::set_properties(), jbmc_parse_optionst::set_properties(), janalyzer_parse_optionst::set_properties(), and goto_analyzer_parse_optionst::set_properties().
const std::list< std::string > & cmdlinet::get_values | ( | char | option | ) | const |
Definition at line 85 of file cmdline.cpp.
References getoptnr(), immutable_empty_list, and options.
|
protected |
Definition at line 121 of file cmdline.cpp.
References options.
Referenced by goto_cc_cmdlinet::get_optnr(), get_value(), get_values(), isset(), parse(), ms_cl_cmdlinet::process_cl_option(), ms_link_cmdlinet::process_link_option(), and set().
|
protected |
Definition at line 130 of file cmdline.cpp.
References options.
|
virtual |
Definition at line 27 of file cmdline.cpp.
References getoptnr(), and options.
Referenced by linker_script_merget::add_linker_script_definitions(), as_modet::as_hybrid_binary(), gcc_modet::asm_output(), assembler_name(), compiler_name(), 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(), as_modet::doit(), armcc_modet::doit(), cw_modet::doit(), ms_cl_modet::doit(), ms_link_modet::doit(), mmcc_parse_optionst::doit(), ld_modet::doit(), gcc_modet::doit(), clobber_parse_optionst::doit(), jdiff_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(), language_uit::final(), gcc_modet::gcc_hybrid_binary(), 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(), cbmc_parse_optionst::get_goto_program(), jbmc_parse_optionst::get_goto_program(), java_bytecode_languaget::get_language_options(), xml_interfacet::get_xml_options(), lazy_goto_modelt::initialize(), initialize_goto_model(), goto_instrument_parse_optionst::instrument_goto_program(), isset(), ld_modet::ld_hybrid_binary(), linker_name(), parse_options_baset::main(), compilet::parse(), parse_cover_options(), compilet::parse_stdin(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), jbmc_parse_optionst::process_goto_function(), jbmc_parse_optionst::process_goto_functions(), clobber_parse_optionst::process_goto_program(), goto_diff_parse_optionst::process_goto_program(), jdiff_parse_optionst::process_goto_program(), janalyzer_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), set(), configt::set(), path_strategy_choosert::set_path_strategy_options(), 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(), and jbmc_parse_optionst::show_loaded_functions().
|
virtual |
Definition at line 36 of file cmdline.cpp.
References getoptnr(), isset(), and options.
|
virtual |
Definition at line 139 of file cmdline.cpp.
References args, clear(), DATA_INVARIANT, getoptnr(), cmdlinet::optiont::hasval, cmdlinet::optiont::islong, cmdlinet::optiont::isset, cmdlinet::optiont::optchar, options, cmdlinet::optiont::optstring, and unknown_arg.
Referenced by parse_options_baset::parse_options_baset().
|
virtual |
Reimplemented in goto_cc_cmdlinet.
Definition at line 60 of file cmdline.cpp.
References getoptnr(), isset(), and options.
Referenced by jdiff_parse_optionst::get_command_line_options(), xml_interfacet::get_xml_options(), and load_java_class().
|
virtual |
Reimplemented in goto_cc_cmdlinet.
Definition at line 70 of file cmdline.cpp.
References getoptnr(), and options.
argst cmdlinet::args |
Definition at line 37 of file cmdline.h.
Referenced by clear(), ms_link_modet::doit(), ms_cl_modet::doit(), mmcc_parse_optionst::doit(), jdiff_parse_optionst::doit(), goto_diff_parse_optionst::doit(), compilet::doit(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), 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(), lazy_goto_modelt::initialize(), initialize_goto_model(), armcc_cmdlinet::parse(), parse(), gcc_cmdlinet::parse(), language_uit::parse(), gcc_cmdlinet::parse_arguments(), gcc_cmdlinet::parse_specs_line(), cbmc_parse_optionst::preprocessing(), ms_cl_cmdlinet::process_cl_option(), and ms_link_cmdlinet::process_link_option().
|
protected |
Definition at line 61 of file cmdline.h.
Referenced by clear(), free_form_cmdlinet::create_flag(), goto_cc_cmdlinet::get_optnr(), get_value(), get_values(), getoptnr(), isset(), parse(), ms_link_cmdlinet::parse(), ms_cl_cmdlinet::parse(), ms_cl_cmdlinet::process_cl_option(), ms_link_cmdlinet::process_link_option(), ms_link_cmdlinet::process_response_file_line(), ms_cl_cmdlinet::process_response_file_line(), set(), and goto_cc_cmdlinet::set().
std::string cmdlinet::unknown_arg |
Definition at line 38 of file cmdline.h.
Referenced by parse(), and parse_options_baset::unknown_option_msg().