cprover
Loading...
Searching...
No Matches
armcc_cmdlinet Class Reference

#include <armcc_cmdline.h>

Inheritance diagram for armcc_cmdlinet:
Collaboration diagram for armcc_cmdlinet:

Public Member Functions

virtual bool parse (int, const char **)
 armcc_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.
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.
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.
Public Member Functions inherited from cmdlinet
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.
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)
 cmdlinet ()
virtual ~cmdlinet ()
std::vector< std::string > get_argument_suggestions (const std::string &unknown_argument)

Additional Inherited Members

Public Types inherited from goto_cc_cmdlinet
typedef std::list< argtparsed_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 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.
bool parse_arguments (int argc, const char **argv)
 Parses a commandline according to a previously parsed optstring and writes the result to cmdlinet::options.
std::optional< std::size_t > getoptnr (char option) const
std::optional< std::size_t > getoptnr (const std::string &option) const
Protected Attributes inherited from cmdlinet
std::vector< optiontoptions

Detailed Description

Definition at line 19 of file armcc_cmdline.h.

Constructor & Destructor Documentation

◆ armcc_cmdlinet()

armcc_cmdlinet::armcc_cmdlinet ( )
inline

Definition at line 24 of file armcc_cmdline.h.

Member Function Documentation

◆ parse()

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

Implements goto_cc_cmdlinet.

Definition at line 284 of file armcc_cmdline.cpp.


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