cprover
|
Symbol table. More...
Go to the source code of this file.
Classes | |
class | symbol_tablet |
The symbol table. More... | |
Macros | |
#define | forall_symbols(it, expr) |
#define | Forall_symbols(it, expr) |
#define | forall_symbol_base_map(it, expr, base_name) |
#define | forall_symbol_module_map(it, expr, module) |
Typedefs | |
typedef std::multimap< irep_idt, irep_idt > | symbol_base_mapt |
typedef std::multimap< irep_idt, irep_idt > | symbol_module_mapt |
Functions | |
std::ostream & | operator<< (std::ostream &out, const symbol_tablet &symbol_table) |
Print the contents of the symbol table. More... | |
Symbol table.
Definition in file symbol_table.h.
#define forall_symbol_base_map | ( | it, | |
expr, | |||
base_name | |||
) |
Definition at line 39 of file symbol_table.h.
Referenced by ansi_c_entry_point(), get_isr(), get_module_by_name(), and jsil_entry_point().
#define forall_symbol_module_map | ( | it, | |
expr, | |||
module | |||
) |
Definition at line 44 of file symbol_table.h.
#define forall_symbols | ( | it, | |
expr | |||
) |
Definition at line 28 of file symbol_table.h.
Referenced by linkingt::do_type_dependencies(), value_set_analysis_fit::get_globals(), value_set_analysis_fivrt::get_globals(), value_set_analysis_fivrnst::get_globals(), invariant_propagationt::get_globals(), get_max(), get_module(), goto_convert_functionst::goto_convert(), link_functions(), model_argc_argv(), class_hierarchyt::operator()(), dump_ct::operator()(), print_struct_alignment_problems(), read_object_and_link(), symbol_tablet::show(), show_symbol_table_plain(), language_uit::show_symbol_table_plain(), static_lifetime_init(), goto_symext::symex_start_thread(), linkingt::typecheck(), jsil_typecheckt::typecheck(), java_bytecode_typecheckt::typecheck(), and write_goto_binary_v3().
#define Forall_symbols | ( | it, | |
expr | |||
) |
Definition at line 32 of file symbol_table.h.
Referenced by add_failed_symbols(), compilet::convert_symbols(), linkingt::copy_symbols(), cpp_typecheckt::do_not_typechecked(), goto_convert_functionst::goto_convert(), dump_ct::operator()(), remove_complex(), and remove_vector().
typedef std::multimap<irep_idt, irep_idt> symbol_base_mapt |
Definition at line 36 of file symbol_table.h.
typedef std::multimap<irep_idt, irep_idt> symbol_module_mapt |
Definition at line 37 of file symbol_table.h.
std::ostream& operator<< | ( | std::ostream & | out, |
const symbol_tablet & | symbol_table | ||
) |
Print the contents of the symbol table.
out | The ostream to direct output to |
symbol_table | The symbol table to print out |
Definition at line 148 of file symbol_table.cpp.
References symbol_tablet::show().
Referenced by symbol_tablet::has_symbol().