auxiliary_symbolt Class Reference
Internally generated symbol table entryThis is a symbol generated as part of translation to or modification of the intermediate representation. More...
#include <symbol.h>
Inheritance diagram for auxiliary_symbolt: Collaboration diagram for auxiliary_symbolt:Public Member Functions | |
| auxiliary_symbolt () | |
| auxiliary_symbolt (const irep_idt &name, typet type, const irep_idt &mode) | |
| Public Member Functions inherited from symbolt | |
| const irep_idt & | display_name () const |
| Return language specific display name if present. More... | |
| symbolt () | |
| symbolt (const irep_idt &_name, typet _type, const irep_idt &_mode) | |
| void | swap (symbolt &b) |
| Swap values between two symbols. More... | |
| void | show (std::ostream &out) const |
| Dump the state of a symbol object to a given output stream. More... | |
| class symbol_exprt | symbol_expr () const |
| Produces a symbol_exprt for a symbol. More... | |
| bool | is_shared () const |
| bool | is_function () const |
| bool | is_compiled () const |
| Returns true iff the the symbol's value has been compiled to a goto program. More... | |
| void | set_compiled () |
| Set the symbol's value to "compiled"; to be used once the code-typed value has been converted to a goto program. More... | |
| bool | is_well_formed () const |
| Check that a symbol is well formed. More... | |
| bool | operator== (const symbolt &other) const |
| bool | operator!= (const symbolt &other) const |
Additional Inherited Members | |
| Public Attributes inherited from symbolt | |
| 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 = false |
| bool | is_macro = false |
| bool | is_exported = false |
| bool | is_input = false |
| bool | is_output = false |
| bool | is_state_var = false |
| bool | is_property = false |
| bool | is_static_lifetime = false |
| bool | is_thread_local = false |
| bool | is_lvalue = false |
| bool | is_file_local = false |
| bool | is_extern = false |
| bool | is_volatile = false |
| bool | is_parameter = false |
| bool | is_auxiliary = false |
| bool | is_weak = false |
Detailed Description
Internally generated symbol table entry
This is a symbol generated as part of translation to or modification of the intermediate representation.
Constructor & Destructor Documentation
◆ auxiliary_symbolt() [1/2]
◆ auxiliary_symbolt() [2/2]
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/util/symbol.h
