cprover
|
Go to the source code of this file.
Classes | |
struct | cprover_library_entryt |
Functions | |
std::string | get_cprover_library_text (const std::set< irep_idt > &functions, const symbol_tablet &, const struct cprover_library_entryt[], const std::string &prologue) |
void | add_library (const std::string &src, symbol_tablet &, message_handlert &) |
void | cprover_c_library_factory (const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &) |
void add_library | ( | const std::string & | src, |
symbol_tablet & | , | ||
message_handlert & | |||
) |
Definition at line 92 of file cprover_library.cpp.
References message_handler, ansi_c_languaget::parse(), messaget::set_message_handler(), and ansi_c_languaget::typecheck().
Referenced by cprover_c_library_factory(), and cprover_cpp_library_factory().
void cprover_c_library_factory | ( | const std::set< irep_idt > & | functions, |
symbol_tablet & | , | ||
message_handlert & | |||
) |
Definition at line 77 of file cprover_library.cpp.
References add_library(), configt::ansi_c, config, get_cprover_library_text(), configt::ansi_ct::lib, configt::ansi_ct::LIB_NONE, and message_handler.
Referenced by goto_instrument_parse_optionst::instrument_goto_program(), goto_diff_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), and goto_analyzer_parse_optionst::process_goto_program().
std::string get_cprover_library_text | ( | const std::set< irep_idt > & | functions, |
const symbol_tablet & | , | ||
const struct cprover_library_entryt | [], | ||
const std::string & | prologue | ||
) |
Definition at line 42 of file cprover_library.cpp.
References cprover_library_entryt::function, and symbol_table_baset::symbols.
Referenced by cprover_cpp_library_factory(), and get_cprover_library_text().