cprover
|
#include <cmdline.h>
Public Member Functions | |
optiont () | |
Public Attributes | |
bool | isset |
bool | hasval |
bool | islong |
char | optchar |
std::string | optstring |
std::list< std::string > | values |
bool cmdlinet::optiont::hasval |
Definition at line 47 of file cmdline.h.
Referenced by cmdlinet::parse().
bool cmdlinet::optiont::islong |
Definition at line 48 of file cmdline.h.
Referenced by goto_cc_cmdlinet::get_optnr(), cmdlinet::parse(), ms_cl_cmdlinet::process_cl_option(), and ms_link_cmdlinet::process_link_option().
bool cmdlinet::optiont::isset |
Definition at line 46 of file cmdline.h.
Referenced by cmdlinet::parse().
char cmdlinet::optiont::optchar |
Definition at line 49 of file cmdline.h.
Referenced by goto_cc_cmdlinet::get_optnr(), cmdlinet::parse(), ms_cl_cmdlinet::process_cl_option(), and ms_link_cmdlinet::process_link_option().
std::string cmdlinet::optiont::optstring |
Definition at line 50 of file cmdline.h.
Referenced by free_form_cmdlinet::create_flag(), goto_cc_cmdlinet::get_optnr(), cmdlinet::parse(), ms_cl_cmdlinet::process_cl_option(), and ms_link_cmdlinet::process_link_option().