cprover
goto_cc_cmdlinet Class Referenceabstract

#include <goto_cc_cmdline.h>

+ Inheritance diagram for goto_cc_cmdlinet:
+ Collaboration diagram for goto_cc_cmdlinet:

Classes

struct  argt
 

Public Types

typedef std::list< argtparsed_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 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)
 
- 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
 
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 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)
 

Static Public Member Functions

static bool in_list (const char *option, const char **list)
 

Public Attributes

parsed_argvt parsed_argv
 
std::string stdin_file
 
- Public Attributes inherited from cmdlinet
argst args
 
std::string unknown_arg
 

Protected Member Functions

void add_arg (const std::string &arg)
 
void add_infile_arg (const std::string &arg)
 
- Protected Member Functions inherited from cmdlinet
optionalt< std::size_t > getoptnr (char option) const
 
optionalt< std::size_t > getoptnr (const std::string &option) const
 

Additional Inherited Members

- Protected Attributes inherited from cmdlinet
std::vector< optiontoptions
 

Detailed Description

Definition at line 19 of file goto_cc_cmdline.h.

Member Typedef Documentation

◆ parsed_argvt

Definition at line 63 of file goto_cc_cmdline.h.

Constructor & Destructor Documentation

◆ ~goto_cc_cmdlinet()

goto_cc_cmdlinet::~goto_cc_cmdlinet ( )

Definition at line 26 of file goto_cc_cmdline.cpp.

Member Function Documentation

◆ add_arg()

void goto_cc_cmdlinet::add_arg ( const std::string &  arg)
inlineprotected

Definition at line 71 of file goto_cc_cmdline.h.

◆ add_infile_arg()

void goto_cc_cmdlinet::add_infile_arg ( const std::string &  arg)
protected

Definition at line 103 of file goto_cc_cmdline.cpp.

◆ get_optnr()

std::size_t goto_cc_cmdlinet::get_optnr ( const std::string &  option)

Definition at line 50 of file goto_cc_cmdline.cpp.

◆ have_infile_arg()

bool goto_cc_cmdlinet::have_infile_arg ( ) const

Definition at line 122 of file goto_cc_cmdline.cpp.

◆ in_list()

bool goto_cc_cmdlinet::in_list ( const char *  option,
const char **  list 
)
static

Definition at line 39 of file goto_cc_cmdline.cpp.

◆ parse() [1/2]

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

◆ parse() [2/2]

bool cmdlinet::parse

Definition at line 23 of file cmdline.cpp.

◆ set() [1/3]

void goto_cc_cmdlinet::set ( const std::string &  option,
bool  value = true 
)
inlineoverridevirtual

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

Reimplemented from cmdlinet.

Definition at line 45 of file goto_cc_cmdline.h.

◆ set() [2/3]

void goto_cc_cmdlinet::set ( const std::string &  opt,
const char *  value 
)
inlineoverridevirtual

Set option option to value.

Reimplemented from cmdlinet.

Definition at line 33 of file goto_cc_cmdline.h.

◆ set() [3/3]

void goto_cc_cmdlinet::set ( const std::string &  opt,
const std::string &  value 
)
inlineoverridevirtual

Reimplemented from cmdlinet.

Definition at line 38 of file goto_cc_cmdline.h.

Member Data Documentation

◆ parsed_argv

parsed_argvt goto_cc_cmdlinet::parsed_argv

Definition at line 64 of file goto_cc_cmdline.h.

◆ stdin_file

std::string goto_cc_cmdlinet::stdin_file

Definition at line 68 of file goto_cc_cmdline.h.


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