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 44 of file cmdline.h.
Referenced by cmdlinet::parse().
bool cmdlinet::optiont::islong |
Definition at line 45 of file cmdline.h.
Referenced by goto_cc_cmdlinet::get_optnr(), cmdlinet::parse(), and ms_cl_cmdlinet::process_cl_option().
bool cmdlinet::optiont::isset |
Definition at line 43 of file cmdline.h.
Referenced by cmdlinet::parse().
char cmdlinet::optiont::optchar |
Definition at line 46 of file cmdline.h.
Referenced by goto_cc_cmdlinet::get_optnr(), cmdlinet::parse(), and ms_cl_cmdlinet::process_cl_option().
std::string cmdlinet::optiont::optstring |
Definition at line 47 of file cmdline.h.
Referenced by goto_cc_cmdlinet::get_optnr(), cmdlinet::parse(), and ms_cl_cmdlinet::process_cl_option().