cprover
|
#include <ansi_c_scope.h>
Public Member Functions | |
ansi_c_identifiert () | |
Public Attributes | |
ansi_c_id_classt | id_class |
irep_idt | base_name |
irep_idt | prefixed_name |
Definition at line 28 of file ansi_c_scope.h.
|
inline |
Definition at line 34 of file ansi_c_scope.h.
irep_idt ansi_c_identifiert::base_name |
Definition at line 32 of file ansi_c_scope.h.
Referenced by ansi_c_parsert::lookup(), and yyansi_cparse().
ansi_c_id_classt ansi_c_identifiert::id_class |
Definition at line 31 of file ansi_c_scope.h.
Referenced by ansi_c_parsert::add_declarator(), ansi_c_parsert::add_tag_with_body(), ansi_c_parsert::lookup(), and yyansi_cparse().
irep_idt ansi_c_identifiert::prefixed_name |
Definition at line 32 of file ansi_c_scope.h.
Referenced by ansi_c_parsert::add_declarator(), ansi_c_parsert::add_tag_with_body(), ansi_c_parsert::lookup(), and yyansi_cparse().