cprover
cmdlinet Class Reference

#include <cmdline.h>

+ Inheritance diagram for cmdlinet:
+ Collaboration diagram for cmdlinet:

Classes

struct  option_namest
 
struct  optiont
 

Public Types

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

Public Member Functions

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
 
std::list< std::string > get_comma_separated_values (const char *option) const
 
virtual bool isset (char option) const
 
virtual bool isset (const char *option) const
 
virtual void set (const std::string &option, bool value=true)
 Set option option to value, or true if the value is omitted. More...
 
virtual void set (const std::string &option, const std::string &value)
 
virtual void set (const std::string &option, const char *value)
 
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)
 

Public Attributes

argst args
 
std::string unknown_arg
 

Protected Member Functions

optionalt< std::size_t > getoptnr (char option) const
 
optionalt< std::size_t > getoptnr (const std::string &option) const
 

Protected Attributes

std::vector< optiontoptions
 

Detailed Description

Definition at line 20 of file cmdline.h.

Member Typedef Documentation

◆ argst

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

Definition at line 90 of file cmdline.h.

Constructor & Destructor Documentation

◆ cmdlinet()

cmdlinet::cmdlinet ( )

Definition at line 15 of file cmdline.cpp.

◆ ~cmdlinet()

cmdlinet::~cmdlinet ( )
virtual

Definition at line 19 of file cmdline.cpp.

Member Function Documentation

◆ clear()

void cmdlinet::clear ( void  )
virtual

Definition at line 23 of file cmdline.cpp.

◆ get_argument_suggestions()

std::vector< std::string > cmdlinet::get_argument_suggestions ( const std::string &  unknown_argument)

Definition at line 255 of file cmdline.cpp.

◆ get_comma_separated_values()

std::list< std::string > cmdlinet::get_comma_separated_values ( const char *  option) const

Definition at line 120 of file cmdline.cpp.

◆ get_value() [1/2]

std::string cmdlinet::get_value ( char  option) const

Definition at line 47 of file cmdline.cpp.

◆ get_value() [2/2]

std::string cmdlinet::get_value ( const char *  option) const

Definition at line 98 of file cmdline.cpp.

◆ get_values() [1/2]

const std::list< std::string > & cmdlinet::get_values ( char  option) const

Definition at line 88 of file cmdline.cpp.

◆ get_values() [2/2]

const std::list< std::string > & cmdlinet::get_values ( const std::string &  option) const

Definition at line 108 of file cmdline.cpp.

◆ getoptnr() [1/2]

optionalt< std::size_t > cmdlinet::getoptnr ( char  option) const
protected

Definition at line 136 of file cmdline.cpp.

◆ getoptnr() [2/2]

optionalt< std::size_t > cmdlinet::getoptnr ( const std::string &  option) const
protected

Definition at line 145 of file cmdline.cpp.

◆ has_option()

bool cmdlinet::has_option ( const std::string &  option) const
inline

Definition at line 45 of file cmdline.h.

◆ isset() [1/2]

bool cmdlinet::isset ( char  option) const
virtual

Definition at line 29 of file cmdline.cpp.

◆ isset() [2/2]

bool cmdlinet::isset ( const char *  option) const
virtual

Definition at line 38 of file cmdline.cpp.

◆ option_names()

cmdlinet::option_namest cmdlinet::option_names ( ) const

Pseudo-object that can be used to iterate over options in this cmdlinet (should not outlive this)

Definition at line 249 of file cmdline.cpp.

◆ parse()

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

Definition at line 154 of file cmdline.cpp.

◆ set() [1/3]

void cmdlinet::set ( const std::string &  option,
bool  value = true 
)
virtual

Set option option to value, or true if the value is omitted.

Reimplemented in goto_cc_cmdlinet.

Definition at line 57 of file cmdline.cpp.

◆ set() [2/3]

virtual void cmdlinet::set ( const std::string &  option,
const char *  value 
)
inlinevirtual

Reimplemented in goto_cc_cmdlinet.

Definition at line 38 of file cmdline.h.

◆ set() [3/3]

void cmdlinet::set ( const std::string &  option,
const std::string &  value 
)
virtual

Reimplemented in goto_cc_cmdlinet.

Definition at line 70 of file cmdline.cpp.

Member Data Documentation

◆ args

argst cmdlinet::args

Definition at line 91 of file cmdline.h.

◆ options

std::vector<optiont> cmdlinet::options
protected

Definition at line 118 of file cmdline.h.

◆ unknown_arg

std::string cmdlinet::unknown_arg

Definition at line 92 of file cmdline.h.


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