|
cprover
|
#include <goto_cc_cmdline.h>
Classes | |
| struct | argt |
Public Types | |
| typedef std::list< argt > | parsed_argvt |
Public Types inherited from cmdlinet | |
| 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) |
Public Member Functions inherited from cmdlinet | |
| 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 |
Public Attributes inherited from cmdlinet | |
| argst | args |
Protected Member Functions | |
| void | add_arg (const std::string &arg) |
| void | add_infile_arg (const std::string &arg) |
Protected Member Functions inherited from cmdlinet | |
| int | getoptnr (char option) const |
| int | getoptnr (const std::string &option) const |
Additional Inherited Members | |
Protected Attributes inherited from cmdlinet | |
| 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 24 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 111 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 58 of file goto_cc_cmdline.cpp.
References cmdlinet::getoptnr(), has_prefix(), cmdlinet::optiont::islong, cmdlinet::optiont::optchar, cmdlinet::options, and cmdlinet::optiont::optstring.
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 30 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 116 of file cmdline.cpp.
|
pure virtual |
Implemented in as86_cmdlinet, as_cmdlinet, bcc_cmdlinet, gcc_cmdlinet, ld_cmdlinet, armcc_cmdlinet, and ms_cl_cmdlinet.
Referenced by goto_cc_modet::main().
|
static |
Definition at line 41 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(), gcc_modet::doit(), gcc_modet::gcc_hybrid_binary(), have_infile_arg(), gcc_modet::preprocess(), as_modet::run_as(), and gcc_modet::run_gcc().
| 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(), and ~goto_cc_cmdlinet().