Inheritance diagram for goto_bmc_parse_optionst:

Collaboration diagram for goto_bmc_parse_optionst:

Public Member Functions
	goto_bmc_parse_optionst (int argc, const char **argv)

void	help () override

int	doit () override

Public Member Functions inherited from parse_options_baset
	parse_options_baset (const std::string &optstring, int argc, const char **argv, const std::string &program)

virtual void	usage_error ()

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().

Additional Inherited Members
Public Attributes inherited from parse_options_baset
cmdlinet	cmdline

Protected Member Functions inherited from parse_options_baset
virtual void	register_languages ()

Protected Attributes inherited from parse_options_baset
ui_message_handlert	ui_message_handler

messaget	log

Detailed Description

Definition at line 19 of file goto_bmc_parse_options.h.

Constructor & Destructor Documentation

goto_bmc_parse_optionst::goto_bmc_parse_optionst	(	int	argc,
		const char **	argv
	)

Definition at line 15 of file goto_bmc_parse_options.cpp.

int goto_bmc_parse_optionst::doit ( )

overridevirtual

Definition at line 24 of file goto_bmc_parse_options.cpp.

void goto_bmc_parse_optionst::help ( )

overridevirtual

Reimplemented from parse_options_baset.

Definition at line 83 of file goto_bmc_parse_options.cpp.

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