cprover
|
Internally generated symbol table entryThis is a symbol generated as part of translation to or modification of the intermediate representation. More...
#include <symbol.h>
Public Member Functions | |
auxiliary_symbolt () | |
auxiliary_symbolt (const irep_idt &name, const typet &type) | |
![]() | |
const irep_idt & | display_name () const |
symbolt () | |
void | clear () |
void | swap (symbolt &b) |
void | show (std::ostream &out) const |
irept | to_irep () const |
void | from_irep (const irept &src) |
class symbol_exprt | symbol_expr () const |
produces a symbol_exprt for a symbol More... | |
bool | is_shared () const |
bool | is_procedure_local () const |
Additional Inherited Members | |
![]() | |
typet | type |
Type of symbol. More... | |
exprt | value |
Initial value of symbol. More... | |
source_locationt | location |
Source code location of definition of symbol. More... | |
irep_idt | name |
The unique identifier. More... | |
irep_idt | module |
Name of module the symbol belongs to. More... | |
irep_idt | base_name |
Base (non-scoped) name. More... | |
irep_idt | mode |
Language mode. More... | |
irep_idt | pretty_name |
Language-specific display name. More... | |
bool | is_type |
bool | is_macro |
bool | is_exported |
bool | is_input |
bool | is_output |
bool | is_state_var |
bool | is_property |
bool | is_static_lifetime |
bool | is_thread_local |
bool | is_lvalue |
bool | is_file_local |
bool | is_extern |
bool | is_volatile |
bool | is_parameter |
bool | is_auxiliary |
bool | is_weak |
Internally generated symbol table entry
This is a symbol generated as part of translation to or modification of the intermediate representation.
|
inline |
Definition at line 140 of file symbol.h.
References symbolt::is_auxiliary, symbolt::is_file_local, symbolt::is_lvalue, symbolt::is_state_var, and symbolt::is_thread_local.
Definition at line 149 of file symbol.h.
References symbolt::base_name, symbolt::name, and symbolt::type.