cprover
system_library_symbols.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Goto Programs
4 
5 Author: 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 
21 class symbolt;
22 class typet;
23 
25 {
26 public:
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 
38  bool is_type_internal(
39  const typet &type,
40  std::set<std::string> &out_system_headers) const;
41 
42  void set_use_all_headers(bool use)
43  {
44  use_all_headers=use;
45  }
46 
47 private:
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