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 () |
![]() | |
~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) |
![]() | |
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 > &) |
![]() | |
void | add_arg (const std::string &arg) |
void | add_infile_arg (const std::string &arg) |
![]() | |
optionalt< std::size_t > | getoptnr (char option) const |
optionalt< std::size_t > | getoptnr (const std::string &option) const |
Additional Inherited Members | |
![]() | |
typedef std::list< argt > | parsed_argvt |
![]() | |
typedef std::vector< std::string > | argst |
![]() | |
static bool | in_list (const char *option, const char **list) |
static bool | prefix_in_list (const char *option, const char **list, std::string &prefix) |
![]() | |
parsed_argvt | parsed_argv |
std::string | stdin_file |
![]() | |
argst | args |
std::string | unknown_arg |
![]() | |
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 415 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().