10 #ifndef CPROVER_UTIL_SYMBOL_H 11 #define CPROVER_UTIL_SYMBOL_H 92 void show(std::ostream &out)
const;
174 #endif // CPROVER_UTIL_SYMBOL_H The type of an expression.
irep_idt name
The unique identifier.
void show(std::ostream &out) const
Symbol table entry of function parameterThis is a symbol generated as part of type checking...
irep_idt mode
Language mode.
exprt value
Initial value of symbol.
type_symbolt(const typet &_type)
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...
Symbol table entry describing a data typeThis is a symbol generated as part of type checking...
const irep_idt & id() const
class symbol_exprt symbol_expr() const
produces a symbol_exprt for a symbol
Internally generated symbol table entryThis is a symbol generated as part of translation to or modifi...
std::ostream & operator<<(std::ostream &out, const symbolt &symbol)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
auxiliary_symbolt(const irep_idt &name, const typet &type)
const irep_idt & display_name() const
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
Base class for all expressions.
irep_idt base_name
Base (non-scoped) name.
bool is_procedure_local() const
Expression to hold a symbol (variable)