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 |
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(), value_set_dereferencet::build_reference_to(), bmct::decide(), goto_program_dereferencet::dereference_failure(), goto_symext::do_simplify(), cbmc_parse_optionst::doit(), cbmc_solverst::get_bv_refinement(), goto_diff_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), cbmc_solverst::get_default(), cbmc_solverst::get_smt1_solver_type(), cbmc_solverst::get_smt2(), cbmc_solverst::get_smt2_solver_type(), cbmc_solverst::get_solver(), goto_checkt::goto_checkt(), value_set_dereferencet::invalid_pointer(), 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()(), bmc_all_propertiest::report(), bmct::run(), fault_localizationt::stop_on_fail(), bmct::stop_on_fail(), goto_symext::symex_assign_symbol(), goto_symext::symex_function_call_code(), and value_set_dereferencet::valid_check().
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().
const std::string optionst::get_option | ( | const std::string & | option | ) | const |
Definition at line 60 of file options.cpp.
References option_map.
Referenced by bmct::bmct(), get_bool_option(), cbmc_solverst::get_bv_refinement(), cbmc_solverst::get_default(), cbmc_solverst::get_dimacs(), get_signed_int_option(), cbmc_solverst::get_smt1(), cbmc_solverst::get_smt2(), get_unsigned_int_option(), cbmc_solverst::no_incremental_check(), static_analyzert::operator()(), bmct::output_graphml(), bmct::run(), bmct::setup_unwind(), bmct::show_vcc(), bmct::stop_on_fail(), goto_symext::symex_trace(), and remove_static_init_loopst::unwind_enum_static().
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(), bmct::setup_unwind(), and goto_symext::symex_step().
Definition at line 49 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 goto_analyzer_parse_optionst::doit(), acceleration_utilst::ensure_no_overflows(), goto_diff_parse_optionst::get_command_line_options(), clobber_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), symex_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), goto_symext::goto_symext(), goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), set_option(), and remove_static_init_loopst::unwind_enum_static().
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 36 of file options.h.
References set_option().
|
inline |
Definition at line 41 of file options.h.
References option_map.
|
protected |
Definition at line 57 of file options.h.
Referenced by get_list_option().
|
protected |
Definition at line 56 of file options.h.
Referenced by get_list_option(), get_option(), operator=(), and set_option().