|
cprover
|
#include <ms_link_cmdline.h>
Public Member Functions | |
| virtual bool | parse (int, const char **) |
| parses the command line options into a cmdlinet More... | |
| ms_link_cmdlinet () | |
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_link_option (const std::string &s) |
| void | process_link_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 | |
| optionalt< std::size_t > | getoptnr (char option) const |
| optionalt< std::size_t > | 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 |
| std::string | unknown_arg |
Protected Attributes inherited from cmdlinet | |
| std::vector< optiont > | options |
Definition at line 19 of file ms_link_cmdline.h.
|
inline |
Definition at line 24 of file ms_link_cmdline.h.
|
virtual |
parses the command line options into a cmdlinet
Implements goto_cc_cmdlinet.
Definition at line 64 of file ms_link_cmdline.cpp.
References cmdlinet::options.
Referenced by process_response_file_line().
|
protected |
Definition at line 31 of file ms_link_cmdline.cpp.
References cmdlinet::options, process_link_option(), process_non_link_option(), and process_response_file().
|
protected |
Definition at line 326 of file ms_link_cmdline.cpp.
References cmdlinet::args, cmdlinet::getoptnr(), cmdlinet::optiont::islong, ms_link_options, cmdlinet::optiont::optchar, cmdlinet::options, cmdlinet::optiont::optstring, and to_upper_string().
Referenced by parse().
|
protected |
Definition at line 213 of file ms_link_cmdline.cpp.
References non_ms_link_options.
Referenced by parse().
|
protected |
Definition at line 113 of file ms_link_cmdline.cpp.
References my_wgetline(), narrow(), and process_response_file_line().
Referenced by parse().
|
protected |
Definition at line 173 of file ms_link_cmdline.cpp.
References cmdlinet::options, and parse().
Referenced by process_response_file().