cprover
parameter_symbolt Class Reference

Symbol table entry of function parameterThis is a symbol generated as part of type checking. More...

#include <symbol.h>

Inheritance diagram for parameter_symbolt:
[legend]
Collaboration diagram for parameter_symbolt:
[legend]

Public Member Functions

 parameter_symbolt ()
 
- Public Member Functions inherited from symbolt
const irep_idtdisplay_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

- 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
 
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
 

Detailed Description

Symbol table entry of function parameter

This is a symbol generated as part of type checking.

Definition at line 161 of file symbol.h.

Constructor & Destructor Documentation

◆ parameter_symbolt()

parameter_symbolt::parameter_symbolt ( )
inline

The documentation for this class was generated from the following file: