cprover
ansi_c_scopet Class Reference

#include <ansi_c_scope.h>

Collaboration diagram for ansi_c_scopet:
[legend]

Public Types

typedef std::unordered_map< irep_idt, ansi_c_identifiert, irep_id_hashname_mapt
 

Public Member Functions

 ansi_c_scopet ()
 
void swap (ansi_c_scopet &scope)
 
void print (std::ostream &out) const
 

Public Attributes

name_mapt name_map
 
std::string prefix
 
irep_idt last_declarator
 
unsigned compound_counter
 
unsigned anon_counter
 

Detailed Description

Definition at line 37 of file ansi_c_scope.h.

Member Typedef Documentation

§ name_mapt

Definition at line 43 of file ansi_c_scope.h.

Constructor & Destructor Documentation

§ ansi_c_scopet()

ansi_c_scopet::ansi_c_scopet ( )
inline

Definition at line 56 of file ansi_c_scope.h.

Member Function Documentation

§ print()

void ansi_c_scopet::print ( std::ostream &  out) const

Definition at line 13 of file ansi_c_scope.cpp.

References name_map, and prefix.

§ swap()

void ansi_c_scopet::swap ( ansi_c_scopet scope)
inline

Definition at line 58 of file ansi_c_scope.h.

References compound_counter, last_declarator, name_map, prefix, and dstringt::swap().

Member Data Documentation

§ anon_counter

unsigned ansi_c_scopet::anon_counter

Definition at line 54 of file ansi_c_scope.h.

§ compound_counter

unsigned ansi_c_scopet::compound_counter

Definition at line 53 of file ansi_c_scope.h.

Referenced by swap().

§ last_declarator

irep_idt ansi_c_scopet::last_declarator

Definition at line 50 of file ansi_c_scope.h.

Referenced by swap().

§ name_map

§ prefix


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