optionst Class Reference

#include <options.h>

Collaboration diagram for optionst:

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

Public Member Functions
const std::string	get_option (const std::string &option) const
bool	get_bool_option (const std::string &option) const
signed int	get_signed_int_option (const std::string &option) const
unsigned int	get_unsigned_int_option (const std::string &option) const
const value_listt &	get_list_option (const std::string &option) const
bool	is_set (const std::string &option) const
	N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo")
void	set_option (const std::string &option, const bool value)
void	set_option (const std::string &option, const int value)
void	set_option (const std::string &option, const unsigned value)
void	set_option (const std::string &option, const std::string &value)
void	set_option (const std::string &option, const char *value)
void	set_option (const std::string &option, const value_listt &values)
	optionst ()
	~optionst ()
optionst &	operator= (const optionst &other)
json_objectt	to_json () const
	Returns the options as JSON key value pairs.
xmlt	to_xml () const
	Returns the options in XML format.
void	output (std::ostream &out) const
	Outputs the options to out

Protected Attributes
option_mapt	option_map
const value_listt	empty_list

Detailed Description

Definition at line 22 of file options.h.

Member Typedef Documentation

option_mapt

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

Definition at line 26 of file options.h.

value_listt

typedef std::list<std::string> optionst::value_listt

Definition at line 25 of file options.h.

Constructor & Destructor Documentation

optionst()

optionst::optionst ( )

inline

Definition at line 52 of file options.h.

~optionst()

optionst::~optionst ( )

inline

Definition at line 53 of file options.h.

Member Function Documentation

get_bool_option()

bool optionst::get_bool_option

(

const std::string &

option

)

const

Definition at line 44 of file options.cpp.

get_list_option()

const optionst::value_listt & optionst::get_list_option

(

const std::string &

option

)

const

Definition at line 80 of file options.cpp.

get_option()

const std::string optionst::get_option

(

const std::string &

option

)

const

Definition at line 67 of file options.cpp.

get_signed_int_option()

signed int optionst::get_signed_int_option

(

const std::string &

option

)

const

Definition at line 50 of file options.cpp.

get_unsigned_int_option()

unsigned int optionst::get_unsigned_int_option

(

const std::string &

option

)

const

Definition at line 56 of file options.cpp.

is_set()

bool optionst::is_set

(

const std::string &

option

)

const

N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo")

Definition at line 62 of file options.cpp.

operator=()

optionst & optionst::operator= ( const optionst &  other )

inline

Definition at line 55 of file options.h.

output()

void optionst::output

(

std::ostream &

out

)

const

Outputs the options to out

Definition at line 121 of file options.cpp.

set_option() [1/6]

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

Definition at line 28 of file options.cpp.

set_option() [2/6]

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

inline

Definition at line 42 of file options.h.

set_option() [3/6]

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

Definition at line 34 of file options.cpp.

set_option() [4/6]

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

Definition at line 20 of file options.cpp.

set_option() [5/6]

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

Definition at line 39 of file options.cpp.

set_option() [6/6]

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

inline

Definition at line 47 of file options.h.

to_json()

json_objectt optionst::to_json

(

)

const

Returns the options as JSON key value pairs.

Definition at line 93 of file options.cpp.

to_xml()

xmlt optionst::to_xml

(

)

const

Returns the options in XML format.

Definition at line 104 of file options.cpp.

Member Data Documentation

empty_list

const value_listt optionst::empty_list

protected

Definition at line 67 of file options.h.

option_map

option_mapt optionst::option_map

protected

Definition at line 66 of file options.h.

---

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

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