|
cprover
|
#include <ms_cl_cmdline.h>
Public Member Functions | |
| virtual bool | parse (int, const char **) |
| parses the command line options into a cmdlinet More... | |
| ms_cl_cmdlinet () | |
| void | parse_env () |
Public Member Functions inherited from goto_cc_cmdlinet | |
| ~goto_cc_cmdlinet () | |
| std::size_t | get_optnr (const std::string &option) |
| void | set (const std::string &opt, const std::string &value) |
| void | set (const std::string &opt) |
| bool | have_infile_arg () const |
| virtual bool | parse (int argc, const char **argv, const char *optstring) |
Public Member Functions inherited from cmdlinet | |
| 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 | clear () |
| cmdlinet () | |
| virtual | ~cmdlinet () |
Protected Member Functions | |
| void | process_non_cl_option (const std::string &s) |
| void | process_cl_option (const std::string &s) |
| void | process_response_file (const std::string &file) |
| void | process_response_file_line (const std::string &line) |
| bool | parse (const std::vector< std::string > &) |
Protected Member Functions inherited from goto_cc_cmdlinet | |
| void | add_arg (const std::string &arg) |
| void | add_infile_arg (const std::string &arg) |
Protected Member Functions inherited from cmdlinet | |
| int | getoptnr (char option) const |
| int | getoptnr (const std::string &option) const |
Additional Inherited Members | |
Public Types inherited from goto_cc_cmdlinet | |
| typedef std::list< argt > | parsed_argvt |
Public Types inherited from cmdlinet | |
| typedef std::vector< std::string > | argst |
Static Public Member Functions inherited from goto_cc_cmdlinet | |
| static bool | in_list (const char *option, const char **list) |
| static bool | prefix_in_list (const char *option, const char **list, std::string &prefix) |
Public Attributes inherited from goto_cc_cmdlinet | |
| parsed_argvt | parsed_argv |
| std::string | stdin_file |
Public Attributes inherited from cmdlinet | |
| argst | args |
Protected Attributes inherited from cmdlinet | |
| std::vector< optiont > | options |
Definition at line 19 of file ms_cl_cmdline.h.
|
inline |
Definition at line 24 of file ms_cl_cmdline.h.
|
virtual |
parses the command line options into a cmdlinet
Implements goto_cc_cmdlinet.
Definition at line 122 of file ms_cl_cmdline.cpp.
References cmdlinet::options.
Referenced by process_response_file_line().
|
protected |
Definition at line 50 of file ms_cl_cmdline.cpp.
References cmdlinet::options, process_cl_option(), process_non_cl_option(), and process_response_file().
| void ms_cl_cmdlinet::parse_env | ( | ) |
Definition at line 98 of file ms_cl_cmdline.cpp.
References narrow(), and process_response_file_line().
Referenced by main().
|
protected |
Definition at line 412 of file ms_cl_cmdline.cpp.
References cmdlinet::args, cmdlinet::getoptnr(), cmdlinet::optiont::islong, ms_cl_flags, ms_cl_prefixes, cmdlinet::optiont::optchar, cmdlinet::options, and cmdlinet::optiont::optstring.
Referenced by parse().
|
protected |
Definition at line 273 of file ms_cl_cmdline.cpp.
References non_ms_cl_options.
Referenced by parse().
|
protected |
Definition at line 171 of file ms_cl_cmdline.cpp.
References my_wgetline(), narrow(), and process_response_file_line().
Referenced by parse().
|
protected |
Definition at line 233 of file ms_cl_cmdline.cpp.
References cmdlinet::options, and parse().
Referenced by parse_env(), and process_response_file().