optionst Class Reference

#include <options.h>

Public Types
typedef std::map< std::string, std::string >	option_mapt

Public Member Functions
const std::string	get_option (const std::string &option) const
bool	get_option (const std::string &option, std::string &value) const
bool	get_bool_option (const std::string &option) const
void	set_option (const std::string &option, const bool value)
void	set_option (const std::string &option, const char *value)
void	set_option (const std::string &option, const int value)
void	set_option (const std::string &option, const std::string &value)
void	cmdline (cmdlinet &cmds)
bool	is_kind () const
bool	contracts_enabled () const
	Whether any function-contract mode is active.

Public Attributes
option_mapt	option_map
std::map< std::string, std::vector< std::string > >	option_values
	Every value a repeatable option was given on the command line, in the order given.

Member Typedef Documentation

option_mapt

typedef std::map<std::string, std::string> optionst::option_mapt

Member Function Documentation

cmdline()

void optionst::cmdline

(

cmdlinet &

cmds

)

contracts_enabled()

bool optionst::contracts_enabled

(

)

const

Whether any function-contract mode is active.

Contract clauses state nothing outside these modes and are dropped, which two separate lowering paths need to agree on.

get_bool_option()

bool optionst::get_bool_option

(

const std::string &

option

)

const

get_option() [1/2]

const std::string optionst::get_option

(

const std::string &

option

)

const

get_option() [2/2]

bool optionst::get_option	(	const std::string &	option,
		std::string &	value ) const

is_kind()

bool optionst::is_kind

(

)

const

set_option() [1/4]

void optionst::set_option	(	const std::string &	option,
		const bool	value )

set_option() [2/4]

void optionst::set_option	(	const std::string &	option,
		const char *	value )

set_option() [3/4]

void optionst::set_option	(	const std::string &	option,
		const int	value )

set_option() [4/4]

void optionst::set_option	(	const std::string &	option,
		const std::string &	value )

Member Data Documentation

option_map

option_mapt optionst::option_map

option_values

std::map<std::string, std::vector<std::string> > optionst::option_values

Every value a repeatable option was given on the command line, in the order given.

option_map keeps only the last, which is what its consumers want and what a context key must not settle for: -DA -DB and -DB are different verifications (esbmc/esbmc#7143).

---

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

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