cprover
parse_options_baset Class Referenceabstract

#include <parse_options.h>

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

Public Member Functions

 parse_options_baset (const std::string &optstring, int argc, const char **argv)
 
virtual void help ()
 
virtual void usage_error ()
 
virtual int doit ()=0
 
virtual int main ()
 
virtual ~parse_options_baset ()
 

Public Attributes

cmdlinet cmdline
 

Private Member Functions

void unknown_option_msg ()
 Print an error message mentioning the option that was not recognized when parsing the command line. More...
 

Private Attributes

bool parse_result
 

Detailed Description

Definition at line 17 of file parse_options.h.

Constructor & Destructor Documentation

◆ parse_options_baset()

parse_options_baset::parse_options_baset ( const std::string &  optstring,
int  argc,
const char **  argv 
)

Definition at line 23 of file parse_options.cpp.

References cmdline, cmdlinet::parse(), and parse_result.

◆ ~parse_options_baset()

virtual parse_options_baset::~parse_options_baset ( )
inlinevirtual

Definition at line 31 of file parse_options.h.

Member Function Documentation

◆ doit()

◆ help()

◆ main()

int parse_options_baset::main ( )
virtual

◆ unknown_option_msg()

void parse_options_baset::unknown_option_msg ( )
private

Print an error message mentioning the option that was not recognized when parsing the command line.

Definition at line 42 of file parse_options.cpp.

References cmdline, and cmdlinet::unknown_arg.

Referenced by main().

◆ usage_error()

Member Data Documentation

◆ cmdline

cmdlinet parse_options_baset::cmdline

Definition at line 23 of file parse_options.h.

Referenced by 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(), mmcc_parse_optionst::doit(), jdiff_parse_optionst::doit(), clobber_parse_optionst::doit(), goto_diff_parse_optionst::doit(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), janalyzer_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), clobber_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), jbmc_parse_optionst::get_command_line_options(), janalyzer_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_goto_program(), goto_diff_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), jbmc_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), main(), parse_options_baset(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), cbmc_parse_optionst::preprocessing(), jbmc_parse_optionst::process_goto_function(), jbmc_parse_optionst::process_goto_functions(), clobber_parse_optionst::process_goto_program(), jdiff_parse_optionst::process_goto_program(), goto_diff_parse_optionst::process_goto_program(), janalyzer_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), clobber_parse_optionst::set_properties(), cbmc_parse_optionst::set_properties(), jbmc_parse_optionst::set_properties(), janalyzer_parse_optionst::set_properties(), goto_analyzer_parse_optionst::set_properties(), jbmc_parse_optionst::show_loaded_functions(), and unknown_option_msg().

◆ parse_result

bool parse_options_baset::parse_result
private

Definition at line 35 of file parse_options.h.

Referenced by main(), and parse_options_baset().


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