cprover
|
Symbol table entry of function parameterThis is a symbol generated as part of type checking. More...
#include <symbol.h>
Public Member Functions | |
parameter_symbolt () | |
![]() | |
const irep_idt & | display_name () const |
symbolt () | |
void | clear () |
void | swap (symbolt &b) |
void | show (std::ostream &out) const |
class symbol_exprt | symbol_expr () const |
produces a symbol_exprt for a symbol More... | |
bool | is_shared () const |
bool | is_procedure_local () const |
bool | is_function () 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 |
Symbol table entry of function parameter
This is a symbol generated as part of type checking.
|
inline |
Definition at line 164 of file symbol.h.
References symbolt::is_file_local, symbolt::is_lvalue, symbolt::is_parameter, symbolt::is_state_var, and symbolt::is_thread_local.