cprover
cmdlinet Class Reference

#include <cmdline.h>

Inheritance diagram for cmdlinet:
[legend]
Collaboration diagram for cmdlinet:
[legend]

Classes

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
 
virtual bool isset (char option) const
 
virtual bool isset (const char *option) const
 
virtual void set (const std::string &option)
 
virtual void set (const std::string &option, const std::string &value)
 
virtual void clear ()
 
 cmdlinet ()
 
virtual ~cmdlinet ()
 

Public Attributes

argst args
 

Protected Member Functions

int getoptnr (char option) const
 
int getoptnr (const std::string &option) const
 

Protected Attributes

std::vector< optiontoptions
 

Detailed Description

Definition at line 17 of file cmdline.h.

Member Typedef Documentation

§ argst

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

Definition at line 34 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.

References clear().

Member Function Documentation

§ clear()

void cmdlinet::clear ( void  )
virtual

Definition at line 24 of file cmdline.cpp.

References args, and options.

Referenced by parse(), and ~cmdlinet().

§ get_value() [1/2]

§ get_value() [2/2]

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

Definition at line 80 of file cmdline.cpp.

References getoptnr(), and options.

§ get_values() [1/2]

§ get_values() [2/2]

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

Definition at line 73 of file cmdline.cpp.

References getoptnr(), and options.

§ getoptnr() [1/2]

int cmdlinet::getoptnr ( char  option) const
protected

§ getoptnr() [2/2]

int cmdlinet::getoptnr ( const std::string &  option) const
protected

Definition at line 107 of file cmdline.cpp.

References options.

§ isset() [1/2]

bool cmdlinet::isset ( char  option) const
virtual

Definition at line 30 of file cmdline.cpp.

References getoptnr(), and options.

Referenced by as_modet::as_hybrid_binary(), gcc_modet::asm_output(), assembler_name(), compiler_name(), goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), goto_instrument_parse_optionst::do_partial_inlining(), goto_instrument_parse_optionst::do_remove_const_function_pointers_only(), as_modet::doit(), gcc_modet::doit(), mmcc_parse_optionst::doit(), armcc_modet::doit(), cw_modet::doit(), ms_cl_modet::doit(), goto_fence_inserter_parse_optionst::doit(), goto_diff_parse_optionst::doit(), clobber_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), symex_parse_optionst::doit(), cbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), goto_diff_parse_optionst::eval_verbosity(), clobber_parse_optionst::eval_verbosity(), goto_analyzer_parse_optionst::eval_verbosity(), symex_parse_optionst::eval_verbosity(), cbmc_parse_optionst::eval_verbosity(), goto_instrument_parse_optionst::eval_verbosity(), gcc_modet::gcc_hybrid_binary(), goto_diff_parse_optionst::get_command_line_options(), clobber_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), symex_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), java_bytecode_languaget::get_language_options(), xml_interfacet::get_xml_options(), goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), linker_name(), parse_options_baset::main(), compilet::parse(), compilet::parse_stdin(), goto_diff_parse_optionst::process_goto_program(), clobber_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), symex_parse_optionst::report_cover(), symex_parse_optionst::report_properties(), configt::set(), clobber_parse_optionst::set_properties(), symex_parse_optionst::set_properties(), goto_analyzer_parse_optionst::set_properties(), cbmc_parse_optionst::set_properties(), and goto_fence_inserter_parse_optionst::set_verbosity().

§ isset() [2/2]

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

Definition at line 38 of file cmdline.cpp.

References getoptnr(), and options.

§ parse()

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

§ set() [1/2]

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

Reimplemented in goto_cc_cmdlinet.

Definition at line 56 of file cmdline.cpp.

References getoptnr(), and options.

Referenced by xml_interfacet::get_xml_options().

§ set() [2/2]

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

Reimplemented in goto_cc_cmdlinet.

Definition at line 64 of file cmdline.cpp.

References getoptnr(), and options.

Member Data Documentation

§ args

§ options


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