cprover
Loading...
Searching...
No Matches
system_library_symbols.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Goto Programs
4
5Author: Thomas Kiley
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_PROGRAMS_SYSTEM_LIBRARY_SYMBOLS_H
13#define CPROVER_GOTO_PROGRAMS_SYSTEM_LIBRARY_SYMBOLS_H
14
15#include <list>
16#include <map>
17#include <set>
18#include <string>
19#include <util/irep.h>
20
21class symbolt;
22class typet;
23
25{
26public:
27 explicit system_library_symbolst(bool init);
28
30 system_library_symbolst(true) // NOLINT(runtime/explicit)
31 {
32 }
33
35 const symbolt &symbol,
36 std::set<std::string> &out_system_headers) const;
37
39 const typet &type,
40 std::set<std::string> &out_system_headers) const;
41
42 void set_use_all_headers(bool use)
43 {
45 }
46
47private:
49
51 irep_idt header_file,
52 std::list<irep_idt> symbols);
53
54 std::map<irep_idt, irep_idt> system_library_map;
56};
57
58#endif // CPROVER_GOTO_PROGRAMS_SYSTEM_LIBRARY_SYMBOLS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
Symbol table entry.
Definition: symbol.h:28
void add_to_system_library(irep_idt header_file, std::list< irep_idt > symbols)
To add the symbols from a specific header file to the system library map.
void init_system_library_map()
To generate a map of header file names -> list of symbols The symbol names are reserved as the header...
bool is_symbol_internal_symbol(const symbolt &symbol, std::set< std::string > &out_system_headers) const
To find out if a symbol is an internal symbol.
std::map< irep_idt, irep_idt > system_library_map
bool is_type_internal(const typet &type, std::set< std::string > &out_system_headers) const
Helper function to call is_symbol_internal_symbol on a nameless fake symbol with the given type,...
The type of an expression, extends irept.
Definition: type.h:29