18 out <<
" " <<
name <<
'\n';
26 out <<
" static_lifetime";
28 out <<
" thread_local";
56 out <<
" mode=" <<
mode;
60 out <<
" module=" <<
module;
64 out <<
" location: " <<
location <<
'\n';
78 #define SYM_SWAP1(x) x.swap(b.x) 89 #define SYM_SWAP2(x) std::swap(x, b.x) irep_idt name
The unique identifier.
void show(std::ostream &out) const
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
irep_idt mode
Language 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 table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
class symbol_exprt symbol_expr() const
produces a symbol_exprt for a symbol
API to expression classes.
std::ostream & operator<<(std::ostream &out, const symbolt &symbol)
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
irep_idt base_name
Base (non-scoped) name.
Expression to hold a symbol (variable)