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
 
bool is_set (const std::string &option) const
 N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo") More...
 
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 49 of file options.h.

◆ ~optionst()

optionst::~optionst ( )
inline

Definition at line 50 of file options.h.

Member Function Documentation

◆ get_bool_option()

bool optionst::get_bool_option ( const std::string &  option) const

Definition at line 42 of file options.cpp.

References get_option().

Referenced by bmct::bmct(), value_set_dereferencet::bounds_check(), janalyzer_parse_optionst::build_analyzer(), goto_analyzer_parse_optionst::build_analyzer(), value_set_dereferencet::build_reference_to(), goto_difft::convert_function_json(), bmct::decide(), goto_program_dereferencet::dereference_failure(), bmct::do_language_agnostic_bmc(), goto_symext::do_simplify(), jbmc_parse_optionst::doit(), bmct::execute(), cbmc_solverst::get_bv_refinement(), goto_diff_parse_optionst::get_command_line_options(), jbmc_parse_optionst::get_command_line_options(), janalyzer_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), get_cover_config(), cbmc_solverst::get_default(), cbmc_solverst::get_smt2(), cbmc_solverst::get_smt2_solver_type(), cbmc_solverst::get_solver(), cbmc_solverst::get_string_refinement(), goto_checkt::goto_checkt(), value_set_dereferencet::invalid_pointer(), list_functions(), goto_symext::loop_bound_exceeded(), value_set_dereferencet::memory_model_bytes(), value_set_dereferencet::memory_model_conversion(), cbmc_solverst::no_beautification(), cbmc_solverst::no_incremental_check(), fault_localizationt::operator()(), bmc_covert::operator()(), goto_difft::output_function(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), bmct::perform_symbolic_execution(), jbmc_parse_optionst::process_goto_function(), jbmc_parse_optionst::process_goto_functions(), cbmc_parse_optionst::process_goto_program(), bmc_all_propertiest::report(), bmct::show(), bmct::slice(), static_show_domain(), static_simplifier(), static_unreachable_instructions(), static_verifier(), fault_localizationt::stop_on_fail(), bmct::stop_on_fail(), goto_symext::symex_assign_symbol(), goto_symext::symex_function_call_code(), trace_optionst::trace_optionst(), and value_set_dereferencet::valid_check().

◆ get_list_option()

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

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

Referenced by cbmc_solverst::get_string_refinement().

◆ get_unsigned_int_option()

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

◆ 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 60 of file options.cpp.

References option_map.

Referenced by cbmc_parse_optionst::process_goto_program().

◆ operator=()

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

Definition at line 52 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 39 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 44 of file options.h.

References option_map.

Member Data Documentation

◆ empty_list

const value_listt optionst::empty_list
protected

Definition at line 60 of file options.h.

Referenced by get_list_option().

◆ option_map

option_mapt optionst::option_map
protected

Definition at line 59 of file options.h.

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


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