cprover
|
#include <options.h>
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") 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 () | |
optionst & | operator= (const optionst &other) |
Protected Attributes | |
option_mapt | option_map |
const value_listt | empty_list |
typedef std::map<std::string, value_listt> optionst::option_mapt |
typedef std::list<std::string> optionst::value_listt |
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().
const optionst::value_listt & optionst::get_list_option | ( | const std::string & | option | ) | const |
Definition at line 78 of file options.cpp.
References empty_list, and option_map.
Referenced by bmct::execute(), get_cover_config(), goto_checkt::goto_checkt(), cbmc_parse_optionst::process_goto_program(), and bmct::slice().
const std::string optionst::get_option | ( | const std::string & | option | ) | const |
Definition at line 65 of file options.cpp.
References option_map.
Referenced by bmct::bmct(), bmct::do_language_agnostic_bmc(), bmct::execute(), get_bool_option(), get_cover_config(), cbmc_solverst::get_default(), cbmc_solverst::get_dimacs(), bmct::get_memory_model(), get_signed_int_option(), cbmc_solverst::get_smt2(), get_unsigned_int_option(), cbmc_solverst::no_incremental_check(), bmct::output_graphml(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), bmct::setup(), bmct::show_vcc(), bmct::slice(), bmct::stop_on_fail(), and goto_symext::symex_trace().
signed int optionst::get_signed_int_option | ( | const std::string & | option | ) | const |
Definition at line 48 of file options.cpp.
References get_option().
unsigned int optionst::get_unsigned_int_option | ( | const std::string & | option | ) | const |
Definition at line 54 of file options.cpp.
References get_option(), and safe_string2unsigned().
Referenced by cbmc_solverst::get_bv_refinement(), and cbmc_solverst::get_string_refinement().
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 bmct::do_language_agnostic_bmc(), and cbmc_parse_optionst::process_goto_program().
Definition at line 52 of file options.h.
References option_map.
void optionst::set_option | ( | const std::string & | option, |
const bool | value | ||
) |
Definition at line 24 of file options.cpp.
Referenced by acceleration_utilst::ensure_no_overflows(), clobber_parse_optionst::get_command_line_options(), jdiff_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_command_line_options(), cbmc_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(), goto_instrument_parse_optionst::instrument_goto_program(), parse_cover_options(), reachable_functions(), scratch_programt::scratch_programt(), cbmc_parse_optionst::set_default_options(), jbmc_parse_optionst::set_default_options(), set_option(), path_strategy_choosert::set_path_strategy_options(), and unreachable_functions().
void optionst::set_option | ( | const std::string & | option, |
const int | value | ||
) |
void optionst::set_option | ( | const std::string & | option, |
const unsigned | value | ||
) |
void optionst::set_option | ( | const std::string & | option, |
const std::string & | value | ||
) |
Definition at line 16 of file options.cpp.
References option_map.
|
inline |
Definition at line 39 of file options.h.
References set_option().
|
inline |
Definition at line 44 of file options.h.
References option_map.
|
protected |
Definition at line 60 of file options.h.
Referenced by get_list_option().
|
protected |
Definition at line 59 of file options.h.
Referenced by get_list_option(), get_option(), is_set(), operator=(), and set_option().