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, const std::string &program)
virtual void	help ()
virtual void	usage_error ()
virtual int	doit ()=0
virtual int	main ()
virtual	~parse_options_baset ()
void	log_version_and_architecture (const std::string &front_end)
	Write version and system architecture to log.status(). More...

Public Attributes
cmdlinet	cmdline

Protected Member Functions
virtual void	register_languages ()

Protected Attributes
ui_message_handlert	ui_message_handler
messaget	log

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 19 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,
		const std::string &	program
	)

Definition at line 28 of file parse_options.cpp.

~parse_options_baset()

virtual parse_options_baset::~parse_options_baset ( )

inlinevirtual

Definition at line 36 of file parse_options.h.

Member Function Documentation

doit()

virtual int parse_options_baset::doit ( )

pure virtual

Implemented in symtab2gb_parse_optionst, memory_analyzer_parse_optionst, goto_synthesizer_parse_optionst, goto_instrument_parse_optionst, goto_inspect_parse_optionst, goto_harness_parse_optionst, goto_diff_parse_optionst, goto_bmc_parse_optionst, goto_analyzer_parse_optionst, crangler_parse_optionst, cbmc_parse_optionst, jdiff_parse_optionst, jbmc_parse_optionst, and janalyzer_parse_optionst.

help()

void parse_options_baset::help ( )

virtual

Reimplemented in symtab2gb_parse_optionst, memory_analyzer_parse_optionst, goto_synthesizer_parse_optionst, goto_instrument_parse_optionst, goto_inspect_parse_optionst, goto_harness_parse_optionst, goto_diff_parse_optionst, goto_bmc_parse_optionst, goto_analyzer_parse_optionst, crangler_parse_optionst, cbmc_parse_optionst, jdiff_parse_optionst, jbmc_parse_optionst, and janalyzer_parse_optionst.

Definition at line 42 of file parse_options.cpp.

log_version_and_architecture()

void parse_options_baset::log_version_and_architecture

(

const std::string &

front_end

)

Write version and system architecture to log.status().

Definition at line 149 of file parse_options.cpp.

main()

int parse_options_baset::main ( )

virtual

Definition at line 75 of file parse_options.cpp.

register_languages()

virtual void parse_options_baset::register_languages ( )

inlineprotectedvirtual

Reimplemented in symtab2gb_parse_optionst, memory_analyzer_parse_optionst, goto_synthesizer_parse_optionst, goto_instrument_parse_optionst, goto_diff_parse_optionst, goto_analyzer_parse_optionst, cbmc_parse_optionst, jdiff_parse_optionst, and janalyzer_parse_optionst.

Definition at line 48 of file parse_options.h.

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

usage_error()

void parse_options_baset::usage_error ( )

virtual

Definition at line 46 of file parse_options.cpp.

Member Data Documentation

cmdline

cmdlinet parse_options_baset::cmdline

Definition at line 28 of file parse_options.h.

log

messaget parse_options_baset::log

protected

Definition at line 46 of file parse_options.h.

parse_result

bool parse_options_baset::parse_result

private

Definition at line 42 of file parse_options.h.

ui_message_handler

ui_message_handlert parse_options_baset::ui_message_handler

protected

Definition at line 45 of file parse_options.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/parse_options.h
• /home/runner/work/cbmc/cbmc/src/util/parse_options.cpp