|
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().