CBMC
ld_cmdlinet Class Reference

#include <ld_cmdline.h>

+ Inheritance diagram for ld_cmdlinet:
+ Collaboration diagram for ld_cmdlinet:

Public Member Functions

virtual bool parse (int, const char **)
 parses the command line options into a cmdlinet More...
 
 ld_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
 
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)
 

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. 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
 
- Protected Attributes inherited from cmdlinet
std::vector< optiontoptions
 

Detailed Description

Definition at line 19 of file ld_cmdline.h.

Constructor & Destructor Documentation

◆ ld_cmdlinet()

ld_cmdlinet::ld_cmdlinet ( )
inline

Definition at line 25 of file ld_cmdline.h.

Member Function Documentation

◆ parse()

bool ld_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 255 of file ld_cmdline.cpp.


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