30 out <<
'\n' <<
"Symbols:" <<
'\n' <<
'\n';
33 std::set<std::string> symbols;
40 for(
const std::string &
id : symbols)
55 std::unique_ptr<languaget> p(ptr);
56 std::string type_str, value_str;
64 out <<
"Symbol......: " << symbol.
name <<
'\n' << std::flush;
65 out <<
"Pretty name.: " << symbol.
pretty_name <<
'\n';
66 out <<
"Module......: " << symbol.
module <<
'\n';
67 out <<
"Base name...: " << symbol.
base_name <<
'\n';
68 out <<
"Mode........: " << symbol.
mode <<
'\n';
69 out <<
"Type........: " << type_str <<
'\n';
70 out <<
"Value.......: " << value_str <<
'\n';
71 out <<
"Flags.......:";
76 out <<
" static_lifetime";
78 out <<
" thread_local";
107 out <<
"Location....: " << symbol.
location <<
'\n';
109 out <<
'\n' << std::flush;
irep_idt name
The unique identifier.
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
const std::string & id2string(const irep_idt &d)
#define forall_symbols(it, expr)
irep_idt mode
Language mode.
exprt value
Initial value of symbol.
void show_symbol_table_plain(const goto_modelt &goto_model, std::ostream &out)
irep_idt module
Name of module the symbol belongs to.
irep_idt pretty_name
Language-specific display name.
symbol_tablet symbol_table
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Abstract interface to support a programming language.
languaget * get_default_language()
virtual bool from_type(const typet &type, std::string &code, const namespacet &ns)
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
languaget * get_language_from_mode(const irep_idt &mode)
irep_idt base_name
Base (non-scoped) name.
void show_symbol_table_xml_ui()
virtual bool from_expr(const exprt &expr, std::string &code, const namespacet &ns)
void show_symbol_table(const goto_modelt &goto_model, ui_message_handlert::uit ui)