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 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

§ 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(), 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(), 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(), goto_fence_inserter_parse_optionst::get_goto_program(), goto_diff_parse_optionst::get_goto_program(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), goto_instrument_parse_optionst::get_goto_program(), goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), main(), parse_options_baset(), cbmc_parse_optionst::preprocessing(), goto_diff_parse_optionst::process_goto_program(), clobber_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), symex_parse_optionst::report_cover(), symex_parse_optionst::report_properties(), 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().

§ parse_result

bool parse_options_baset::parse_result
private

Definition at line 34 of file parse_options.h.

Referenced by main(), and parse_options_baset().


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