CBMC
Public Member Functions | Protected Types | Protected Member Functions | List of all members
gcc_cmdlinet Class Reference

#include <gcc_cmdline.h>

+ Inheritance diagram for gcc_cmdlinet:
+ Collaboration diagram for gcc_cmdlinet:

Public Member Functions

virtual bool parse (int, const char **)
 parses the command line options into a cmdlinet More...
 
 gcc_cmdlinet ()
 
- Public Member Functions inherited from goto_cc_cmdlinet
 ~goto_cc_cmdlinet ()
 
std::size_t get_optnr (const std::string &option)
 
void set (const std::string &opt, const char *value) override
 Set option option to value. More...
 
void set (const std::string &opt, const std::string &value) override
 
void set (const std::string &opt, bool value=true) override
 Set option option to value, or true if the value is omitted. More...
 
bool have_infile_arg () const
 
virtual bool parse (int argc, const char **argv, const char *optstring)
 Parses a commandline according to a specification given in optstring. More...
 
- Public Member Functions inherited from cmdlinet
virtual bool parse (int argc, const char **argv, const char *optstring)
 Parses a commandline according to a specification given in optstring. More...
 
std::string get_value (char option) const
 
std::string get_value (const char *option) const
 
std::optional< std::string > value_opt (char option) const
 
std::optional< std::string > value_opt (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
 
std::list< std::string > get_comma_separated_values (const char *option) const
 Collect all occurrences of option option and split their values on each comma, merging them into a single list of values. More...
 
virtual bool isset (char option) const
 
virtual bool isset (const char *option) const
 
virtual void clear ()
 
bool has_option (const std::string &option) const
 
option_namest option_names () const
 Pseudo-object that can be used to iterate over options in this cmdlinet (should not outlive this) More...
 
 cmdlinet ()
 
virtual ~cmdlinet ()
 
std::vector< std::string > get_argument_suggestions (const std::string &unknown_argument)
 

Protected Types

typedef std::vector< std::string > argst
 

Protected Member Functions

bool parse_arguments (const argst &args_to_parse, bool in_spec_file)
 
void parse_specs ()
 Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html. More...
 
void parse_specs_line (const std::string &line, bool in_spec_file)
 Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html. More...
 
- Protected Member Functions inherited from goto_cc_cmdlinet
void add_arg (const std::string &arg)
 
void add_infile_arg (const std::string &arg)
 
- Protected Member Functions inherited from cmdlinet
void parse_optstring (const char *optstring)
 Parses an optstring and writes the result to cmdlinet::options. More...
 
bool parse_arguments (int argc, const char **argv)
 Parses a commandline according to a previously parsed optstring and writes the result to cmdlinet::options. More...
 
std::optional< std::size_t > getoptnr (char option) const
 
std::optional< std::size_t > getoptnr (const std::string &option) const
 

Additional Inherited Members

- Public Types inherited from goto_cc_cmdlinet
typedef std::list< argt > parsed_argvt
 
- Public Types inherited from cmdlinet
typedef std::vector< std::string > argst
 
- Static Public Member Functions inherited from goto_cc_cmdlinet
static bool in_list (const char *option, const char **list)
 
- Public Attributes inherited from goto_cc_cmdlinet
parsed_argvt parsed_argv
 
std::string stdin_file
 
- Public Attributes inherited from cmdlinet
argst args
 
std::string unknown_arg
 
- Protected Attributes inherited from cmdlinet
std::vector< optiont > options
 

Detailed Description

Definition at line 19 of file gcc_cmdline.h.

Member Typedef Documentation

◆ argst

typedef std::vector<std::string> gcc_cmdlinet::argst
protected

Definition at line 30 of file gcc_cmdline.h.

Constructor & Destructor Documentation

◆ gcc_cmdlinet()

gcc_cmdlinet::gcc_cmdlinet ( )
inline

Definition at line 25 of file gcc_cmdline.h.

Member Function Documentation

◆ parse()

bool gcc_cmdlinet::parse ( int  argc,
const char **  argv 
)
virtual

parses the command line options into a cmdlinet

parameters: argument count, argument strings
Returns
none

Implements goto_cc_cmdlinet.

Definition at line 229 of file gcc_cmdline.cpp.

◆ parse_arguments()

bool gcc_cmdlinet::parse_arguments ( const argst &  args_to_parse,
bool  in_spec_file 
)
protected

Definition at line 247 of file gcc_cmdline.cpp.

◆ parse_specs()

void gcc_cmdlinet::parse_specs ( )
protected

Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html.

Definition at line 467 of file gcc_cmdline.cpp.

◆ parse_specs_line()

void gcc_cmdlinet::parse_specs_line ( const std::string &  line,
bool  in_spec_file 
)
protected

Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html.

Definition at line 447 of file gcc_cmdline.cpp.

The documentation for this class was generated from the following files: