cprover
|
Symbol table entry. More...
Go to the source code of this file.
Classes | |
class | symbolt |
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet. More... | |
class | type_symbolt |
Symbol table entry describing a data typeThis is a symbol generated as part of type checking. More... | |
class | auxiliary_symbolt |
Internally generated symbol table entryThis is a symbol generated as part of translation to or modification of the intermediate representation. More... | |
class | parameter_symbolt |
Symbol table entry of function parameterThis is a symbol generated as part of type checking. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &out, const symbolt &symbol) |
std::ostream& operator<< | ( | std::ostream & | out, |
const symbolt & | symbol | ||
) |
Definition at line 69 of file symbol.cpp.
References symbolt::show().
Referenced by symbolt::is_procedure_local().