require_symbol Namespace Reference

Functions
const symbolt &	require_symbol_exists (const symbol_tablet &symbol_table, const irep_idt &symbol_identifier)
	Verify whether a given identifier is found in the symbol table and return it. More...

Function Documentation

require_symbol_exists()

const symbolt & require_symbol::require_symbol_exists	(	const symbol_tablet &	symbol_table,
		const irep_idt &	symbol_identifier
	)

Verify whether a given identifier is found in the symbol table and return it.

Parameters

symbol_table	The symbol table to look in
symbol_identifier	The name of the symbol

Definition at line 17 of file require_symbol.cpp.