31 if(symbol.
type.
id()==ID_code)
33 cpp_scopest::id_mapt::iterator id_it =
id_map.find(symbol.
name);
39 id.identifier=symbol.
name;
irep_idt name
The unique identifier.
C++ Language Type Checking.
const std::string & id2string(const irep_idt &d)
void print_fields(std::ostream &out, unsigned indent=0) const
cpp_scopet & get_parent() const
cpp_idt & put_into_scope(const symbolt &symbol, cpp_scopet &scope, bool is_friend=false)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const irep_idt & id() const
void go_to_global_scope()
void print_current(std::ostream &out) const
unsigned compound_counter
typet type
Type of symbol.
irep_idt base_name
Base (non-scoped) name.
cpp_scopet & current_scope()
std::string to_string(const string_constraintt &expr)
Used for debug printing.
cpp_scopet * current_scope_ptr
cpp_scopet & new_block_scope()
const char * c_str() const
cpp_scopet & new_scope(const irep_idt &new_scope_name, cpp_idt::id_classt id_class)
bool is_root_scope() const
cpp_idt & insert(const irep_idt &_base_name)