cprover
|
#include <goto_cc_cmdline.h>
Classes | |
struct | argt |
Public Types | |
typedef std::list< argt > | parsed_argvt |
![]() | |
typedef std::vector< std::string > | argst |
Public Member Functions | |
~goto_cc_cmdlinet () | |
virtual bool | parse (int argc, const char **argv)=0 |
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 () |
Static Public Member Functions | |
static bool | in_list (const char *option, const char **list) |
static bool | prefix_in_list (const char *option, const char **list, std::string &prefix) |
Public Attributes | |
parsed_argvt | parsed_argv |
std::string | stdin_file |
![]() | |
argst | args |
std::string | unknown_arg |
Protected Member Functions | |
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 | |
![]() | |
std::vector< optiont > | options |
Definition at line 19 of file goto_cc_cmdline.h.
typedef std::list<argt> goto_cc_cmdlinet::parsed_argvt |
Definition at line 62 of file goto_cc_cmdline.h.
goto_cc_cmdlinet::~goto_cc_cmdlinet | ( | ) |
Definition at line 25 of file goto_cc_cmdline.cpp.
References stdin_file.
|
inlineprotected |
Definition at line 77 of file goto_cc_cmdline.h.
References parsed_argv.
Referenced by gcc_cmdlinet::parse(), ld_cmdlinet::parse(), as86_cmdlinet::parse(), as_cmdlinet::parse(), bcc_cmdlinet::parse(), and gcc_cmdlinet::parse_arguments().
|
protected |
Definition at line 119 of file goto_cc_cmdline.cpp.
References get_temporary_file(), parsed_argv, and stdin_file.
Referenced by ld_cmdlinet::parse(), as_cmdlinet::parse(), as86_cmdlinet::parse(), bcc_cmdlinet::parse(), and gcc_cmdlinet::parse_arguments().
std::size_t goto_cc_cmdlinet::get_optnr | ( | const std::string & | option | ) |
Definition at line 66 of file goto_cc_cmdline.cpp.
References cmdlinet::getoptnr(), has_prefix(), cmdlinet::optiont::islong, cmdlinet::optiont::optchar, cmdlinet::options, cmdlinet::optiont::optstring, and UNREACHABLE.
Referenced by set().
|
inline |
Definition at line 65 of file goto_cc_cmdline.h.
References parsed_argv.
Referenced by gcc_modet::doit().
|
static |
Definition at line 38 of file goto_cc_cmdline.cpp.
Referenced by armcc_cmdlinet::parse(), as86_cmdlinet::parse(), bcc_cmdlinet::parse(), as_cmdlinet::parse(), and gcc_cmdlinet::parse_arguments().
bool cmdlinet::parse |
Definition at line 139 of file cmdline.cpp.
|
pure virtual |
Implemented in as86_cmdlinet, as_cmdlinet, bcc_cmdlinet, gcc_cmdlinet, ld_cmdlinet, armcc_cmdlinet, ms_cl_cmdlinet, and ms_link_cmdlinet.
Referenced by goto_cc_modet::main().
|
static |
Definition at line 49 of file goto_cc_cmdline.cpp.
Referenced by armcc_cmdlinet::parse().
|
inlinevirtual |
Reimplemented from cmdlinet.
Definition at line 37 of file goto_cc_cmdline.h.
References get_optnr(), and cmdlinet::options.
|
inlinevirtual |
Reimplemented from cmdlinet.
Definition at line 44 of file goto_cc_cmdline.h.
References get_optnr(), and cmdlinet::options.
parsed_argvt goto_cc_cmdlinet::parsed_argv |
Definition at line 63 of file goto_cc_cmdline.h.
Referenced by add_arg(), add_infile_arg(), gcc_modet::asm_output(), as_modet::doit(), ms_link_modet::doit(), ld_modet::doit(), gcc_modet::doit(), gcc_modet::gcc_hybrid_binary(), have_infile_arg(), gcc_modet::preprocess(), as_modet::run_as(), gcc_modet::run_gcc(), and ld_modet::run_ld().
std::string goto_cc_cmdlinet::stdin_file |
Definition at line 74 of file goto_cc_cmdline.h.
Referenced by add_infile_arg(), as_modet::doit(), gcc_modet::preprocess(), as_modet::run_as(), gcc_modet::run_gcc(), ld_modet::run_ld(), and ~goto_cc_cmdlinet().