cprover
|
#include <ld_cmdline.h>
Public Member Functions | |
virtual bool | parse (int, const char **) |
ld_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) |
![]() | |
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 () |
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 |
![]() | |
void | add_arg (const std::string &arg) |
void | add_infile_arg (const std::string &arg) |
![]() | |
int | getoptnr (char option) const |
int | getoptnr (const std::string &option) const |
![]() | |
std::vector< optiont > | options |
Definition at line 19 of file ld_cmdline.h.
|
inline |
Definition at line 25 of file ld_cmdline.h.
|
virtual |
Implements goto_cc_cmdlinet.
Definition at line 239 of file ld_cmdline.cpp.
References goto_cc_cmdlinet::add_arg(), goto_cc_cmdlinet::add_infile_arg(), goto_ld_options_with_argument, has_prefix(), ld_options_with_argument, and ld_options_without_argument.