31 std::set<std::string> symbols;
33 for(
const auto &symbol_pair : symbol_table.
symbols)
35 symbols.insert(
id2string(symbol_pair.first));
40 for(
const std::string &
id : symbols)
44 std::unique_ptr<languaget> ptr;
60 out << symbol.
name <<
" " << type_str <<
'\n';
68 out <<
'\n' <<
"Symbols:" <<
'\n' <<
'\n';
71 std::set<std::string> symbols;
73 for(
const auto &symbol_pair : symbol_table.
symbols)
75 symbols.insert(
id2string(symbol_pair.first));
80 for(
const std::string &
id : symbols)
84 std::unique_ptr<languaget> ptr;
98 std::string type_str, value_str;
106 out <<
"Symbol......: " << symbol.
name <<
'\n' << std::flush;
107 out <<
"Pretty name.: " << symbol.
pretty_name <<
'\n';
108 out <<
"Module......: " << symbol.
module <<
'\n';
109 out <<
"Base name...: " << symbol.
base_name <<
'\n';
110 out <<
"Mode........: " << symbol.
mode <<
'\n';
111 out <<
"Type........: " << type_str <<
'\n';
112 out <<
"Value.......: " << value_str <<
'\n';
113 out <<
"Flags.......:";
118 out <<
" static_lifetime";
120 out <<
" thread_local";
122 out <<
" file_local";
149 out <<
"Location....: " << symbol.
location <<
'\n';
151 out <<
'\n' << std::flush;
irep_idt name
The unique identifier.
const std::string & id2string(const irep_idt &d)
irep_idt mode
Language mode.
std::unique_ptr< languaget > get_default_language()
Returns the default language.
std::unique_ptr< languaget > get_language_from_mode(const irep_idt &mode)
Get the language corresponding to the given mode.
exprt value
Initial value of symbol.
irep_idt module
Name of module the symbol belongs to.
irep_idt pretty_name
Language-specific display name.
symbol_tablet symbol_table
Symbol table.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
void show_symbol_table_brief(const symbol_tablet &symbol_table, ui_message_handlert::uit ui)
void show_symbol_table(const symbol_tablet &symbol_table, ui_message_handlert::uit ui)
void show_symbol_table_brief_plain(const symbol_tablet &symbol_table, std::ostream &out)
Abstract interface to support a programming language.
virtual bool from_type(const typet &type, std::string &code, const namespacet &ns)
Formats the given type in a language-specific way.
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
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)
Formats the given expression in a language-specific way.
void show_symbol_table_plain(const symbol_tablet &symbol_table, std::ostream &out)
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().