parse_options_baset Class Reference

#include <parse_options.h>

Inheritance diagram for parse_options_baset:

Collaboration diagram for parse_options_baset:

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 25 of file parse_options.cpp.

~parse_options_baset()

virtual parse_options_baset::~parse_options_baset ( )

inlinevirtual

Definition at line 31 of file parse_options.h.

Member Function Documentation

doit()

virtual int parse_options_baset::doit ( )

pure virtual

Implemented in goto_analyzer_parse_optionst, janalyzer_parse_optionst, goto_instrument_parse_optionst, cbmc_parse_optionst, jbmc_parse_optionst, goto_diff_parse_optionst, and jdiff_parse_optionst.

help()

void parse_options_baset::help ( )

virtual

Reimplemented in goto_analyzer_parse_optionst, janalyzer_parse_optionst, goto_instrument_parse_optionst, cbmc_parse_optionst, jbmc_parse_optionst, goto_diff_parse_optionst, and jdiff_parse_optionst.

Definition at line 32 of file parse_options.cpp.

main()

int parse_options_baset::main ( )

virtual

Definition at line 50 of file parse_options.cpp.

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 44 of file parse_options.cpp.

usage_error()

void parse_options_baset::usage_error ( )

virtual

Definition at line 36 of file parse_options.cpp.

Member Data Documentation

cmdline

cmdlinet parse_options_baset::cmdline

Definition at line 23 of file parse_options.h.

parse_result

bool parse_options_baset::parse_result

private

Definition at line 35 of file parse_options.h.

---

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

• util/parse_options.h
• util/parse_options.cpp