cprover
|
#include "cprover_library.h"
#include <sstream>
#include <util/config.h>
#include "ansi_c_language.h"
#include "cprover_library.inc"
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 &symbol_table) |
void | add_cprover_library (const std::set< irep_idt > &functions, symbol_tablet &symbol_table, message_handlert &message_handler) |
void | add_library (const std::string &src, symbol_tablet &symbol_table, message_handlert &message_handler) |
Variables | |
struct cprover_library_entryt | cprover_library [] |
void add_cprover_library | ( | const std::set< irep_idt > & | functions, |
symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 66 of file cprover_library.cpp.
References add_library(), configt::ansi_c, config, get_cprover_library_text(), configt::ansi_ct::lib, and configt::ansi_ct::LIB_NONE.
Referenced by link_to_library().
void add_library | ( | const std::string & | src, |
symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 81 of file cprover_library.cpp.
References ansi_c_languaget::parse(), messaget::set_message_handler(), and ansi_c_languaget::typecheck().
Referenced by add_cprover_library().
std::string get_cprover_library_text | ( | const std::set< irep_idt > & | functions, |
const symbol_tablet & | symbol_table | ||
) |
Definition at line 25 of file cprover_library.cpp.
References configt::ansi_c, config, cprover_library, cprover_library_entryt::function, configt::ansi_ct::string_abstraction, and symbol_tablet::symbols.
Referenced by add_cprover_library().
struct cprover_library_entryt cprover_library[] |
Referenced by get_cprover_library_text().