parseoptions_baset Class Reference

#include <parseoptions.h>

Inheritance diagram for parseoptions_baset:

Public Member Functions
	parseoptions_baset (const struct group_opt_templ *opts, int argc, const char **argv)
virtual void	help ()
virtual int	doit ()=0
virtual const char *	fatal_signal_advice () const
	One line naming what this driver offers for a fuller crash report, or null.
virtual int	main ()
virtual	~parseoptions_baset ()=default
void	set_verbosity_msg (VerbosityLevel def=VerbosityLevel::Status)

Public Attributes
cmdlinet	cmdline

Protected Attributes
boost::filesystem::path	executable_path

Constructor & Destructor Documentation

parseoptions_baset()

parseoptions_baset::parseoptions_baset	(	const struct group_opt_templ *	opts,
		int	argc,
		const char **	argv )

~parseoptions_baset()

virtual parseoptions_baset::~parseoptions_baset ( )

virtualdefault

Member Function Documentation

doit()

virtual int parseoptions_baset::doit ( )

pure virtual

Implemented in c2goto_parseopt, esbmc_parseoptionst, and python2goto_parseopt.

fatal_signal_advice()

virtual const char * parseoptions_baset::fatal_signal_advice ( ) const

inlinevirtual

One line naming what this driver offers for a fuller crash report, or null.

Only the driver knows which options it accepts.

Reimplemented in esbmc_parseoptionst.

help()

void parseoptions_baset::help ( )

virtual

Reimplemented in esbmc_parseoptionst.

main()

int parseoptions_baset::main ( )

virtual

set_verbosity_msg()

void parseoptions_baset::set_verbosity_msg

(

VerbosityLevel

def = VerbosityLevel::Status

)

Member Data Documentation

cmdline

cmdlinet parseoptions_baset::cmdline

executable_path

boost::filesystem::path parseoptions_baset::executable_path

protected

---

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

• src/util/config/parseoptions.h
• src/util/config/parseoptions.cpp