CBMC
system_library_symbolst Class Reference

#include <system_library_symbols.h>

+ Collaboration diagram for system_library_symbolst:

Public Member Functions

 system_library_symbolst (bool init)
 
 system_library_symbolst ()
 
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. More...
 
void set_use_all_headers (bool use)
 

Private Member Functions

void init_system_library_map ()
 To generate a map of header file names -> list of symbols The symbol names are reserved as the header and source files will be compiled in to the goto program. More...
 
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. More...
 

Private Attributes

std::map< irep_idt, irep_idtsystem_library_map
 
bool use_all_headers
 

Detailed Description

Definition at line 23 of file system_library_symbols.h.

Constructor & Destructor Documentation

◆ system_library_symbolst() [1/2]

system_library_symbolst::system_library_symbolst ( bool  init)
explicit

Definition at line 19 of file system_library_symbols.cpp.

◆ system_library_symbolst() [2/2]

system_library_symbolst::system_library_symbolst ( )
inline

Definition at line 28 of file system_library_symbols.h.

Member Function Documentation

◆ add_to_system_library()

void system_library_symbolst::add_to_system_library ( irep_idt  header_file,
std::list< irep_idt symbols 
)
private

To add the symbols from a specific header file to the system library map.

The symbol is used as the key so that we can easily look up symbols.

Parameters
header_filethe name of the header file the symbol came from
symbolsa list of the names of the symbols in the header file

Definition at line 245 of file system_library_symbols.cpp.

◆ init_system_library_map()

void system_library_symbolst::init_system_library_map ( )
private

To generate a map of header file names -> list of symbols The symbol names are reserved as the header and source files will be compiled in to the goto program.

Definition at line 29 of file system_library_symbols.cpp.

◆ is_symbol_internal_symbol()

bool system_library_symbolst::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.

Parameters
symbolthe symbol to check
[out]out_system_headersspecific system headers that need to be included
Returns
True if the symbol is an internal symbol

Definition at line 260 of file system_library_symbols.cpp.

◆ set_use_all_headers()

void system_library_symbolst::set_use_all_headers ( bool  use)
inline

Definition at line 37 of file system_library_symbols.h.

Member Data Documentation

◆ system_library_map

std::map<irep_idt, irep_idt> system_library_symbolst::system_library_map
private

Definition at line 49 of file system_library_symbols.h.

◆ use_all_headers

bool system_library_symbolst::use_all_headers
private

Definition at line 50 of file system_library_symbols.h.


The documentation for this class was generated from the following files: