cprover
optionst Class Reference

#include <options.h>

Collaboration diagram for optionst:
[legend]

Public Types

typedef std::list< std::string > value_listt
 
typedef std::map< std::string, value_listtoption_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_listtget_list_option (const std::string &option) const
 
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 ()
 
optionstoperator= (const optionst &other)
 

Protected Attributes

option_mapt option_map
 
const value_listt empty_list
 

Detailed Description

Definition at line 19 of file options.h.

Member Typedef Documentation

◆ option_mapt

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

Definition at line 23 of file options.h.

◆ value_listt

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

Definition at line 22 of file options.h.

Constructor & Destructor Documentation

◆ optionst()

optionst::optionst ( )
inline

Definition at line 46 of file options.h.

◆ ~optionst()

optionst::~optionst ( )
inline

Definition at line 47 of file options.h.

Member Function Documentation

◆ get_bool_option()

◆ get_list_option()

const optionst::value_listt & optionst::get_list_option ( const std::string &  option) const

Definition at line 73 of file options.cpp.

References empty_list, and option_map.

Referenced by goto_checkt::goto_checkt(), and bmct::run().

◆ get_option()

◆ get_signed_int_option()

signed int optionst::get_signed_int_option ( const std::string &  option) const

Definition at line 48 of file options.cpp.

References get_option().

◆ get_unsigned_int_option()

unsigned int optionst::get_unsigned_int_option ( const std::string &  option) const

◆ operator=()

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

Definition at line 49 of file options.h.

References option_map.

◆ set_option() [1/6]

◆ set_option() [2/6]

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

◆ set_option() [3/6]

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

◆ set_option() [4/6]

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

Definition at line 16 of file options.cpp.

References option_map.

◆ set_option() [5/6]

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

Definition at line 36 of file options.h.

References set_option().

◆ set_option() [6/6]

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

Definition at line 41 of file options.h.

References option_map.

Member Data Documentation

◆ empty_list

const value_listt optionst::empty_list
protected

Definition at line 57 of file options.h.

Referenced by get_list_option().

◆ option_map

option_mapt optionst::option_map
protected

Definition at line 56 of file options.h.

Referenced by get_list_option(), get_option(), operator=(), and set_option().


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