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 std::string &value)
 
void set (const std::string &opt)
 
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
 
 cmdlinet ()
 
virtual ~cmdlinet ()
 

Static Public Member Functions

static bool in_list (const char *option, const char **list)
 
static bool prefix_in_list (const char *option, const char **list, std::string &prefix)
 

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 62 of file goto_cc_cmdline.h.

Constructor & Destructor Documentation

◆ ~goto_cc_cmdlinet()

goto_cc_cmdlinet::~goto_cc_cmdlinet ( )

Definition at line 25 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 77 of file goto_cc_cmdline.h.

◆ add_infile_arg()

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

Definition at line 119 of file goto_cc_cmdline.cpp.

◆ get_optnr()

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

Definition at line 66 of file goto_cc_cmdline.cpp.

◆ have_infile_arg()

bool goto_cc_cmdlinet::have_infile_arg ( ) const
inline

Definition at line 65 of file goto_cc_cmdline.h.

◆ in_list()

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

Definition at line 38 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 156 of file cmdline.cpp.

◆ prefix_in_list()

bool goto_cc_cmdlinet::prefix_in_list ( const char *  option,
const char **  list,
std::string &  prefix 
)
static

Definition at line 49 of file goto_cc_cmdline.cpp.

◆ set() [1/2]

void goto_cc_cmdlinet::set ( const std::string &  opt)
inlinevirtual

Reimplemented from cmdlinet.

Definition at line 44 of file goto_cc_cmdline.h.

◆ set() [2/2]

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

Reimplemented from cmdlinet.

Definition at line 37 of file goto_cc_cmdline.h.

Member Data Documentation

◆ parsed_argv

parsed_argvt goto_cc_cmdlinet::parsed_argv

Definition at line 63 of file goto_cc_cmdline.h.

◆ stdin_file

std::string goto_cc_cmdlinet::stdin_file

Definition at line 74 of file goto_cc_cmdline.h.


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