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_idt >	system_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_file	the name of the header file the symbol came from
symbols	a 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

	symbol	the symbol to check
[out]	out_system_headers	specific 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:

• /home/runner/work/cbmc/cbmc/src/goto-programs/system_library_symbols.h
• /home/runner/work/cbmc/cbmc/src/goto-programs/system_library_symbols.cpp