ansi_c_identifiert Class Reference
#include <ansi_c_scope.h>
Collaboration diagram for ansi_c_identifiert:Public Member Functions | |
| ansi_c_identifiert () | |
Public Attributes | |
| ansi_c_id_classt | id_class |
| irep_idt | base_name |
| irep_idt | prefixed_name |
Detailed Description
Definition at line 28 of file ansi_c_scope.h.
Constructor & Destructor Documentation
◆ ansi_c_identifiert()
|
inline |
Definition at line 34 of file ansi_c_scope.h.
Member Data Documentation
◆ base_name
| irep_idt ansi_c_identifiert::base_name |
Definition at line 32 of file ansi_c_scope.h.
◆ id_class
| ansi_c_id_classt ansi_c_identifiert::id_class |
Definition at line 31 of file ansi_c_scope.h.
◆ prefixed_name
| irep_idt ansi_c_identifiert::prefixed_name |
Definition at line 32 of file ansi_c_scope.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/ansi-c/ansi_c_scope.h
