10 #ifndef CPROVER_UTIL_SYMBOL_H 11 #define CPROVER_UTIL_SYMBOL_H 85 name=module=base_name=mode=pretty_name=
irep_idt();
87 is_type=is_macro=is_exported=
88 is_input=is_output=is_state_var=is_property=
89 is_static_lifetime=is_thread_local=
90 is_lvalue=is_file_local=is_extern=is_volatile=
91 is_parameter=is_auxiliary=is_weak=
false;
95 void show(std::ostream &out)
const;
176 #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...
Internally generated symbol table entryThis is a symbol generated as part of translation to or modifi...
Base class for tree-like data structures with sharing.
std::ostream & operator<<(std::ostream &out, const symbolt &symbol)
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.
void from_irep(const irept &src)
bool is_procedure_local() const
Expression to hold a symbol (variable)