CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
ansi_c_scopet Class Reference

#include <ansi_c_scope.h>

+ Collaboration diagram for ansi_c_scopet:

Public Types

typedef std::unordered_map< irep_idt, ansi_c_identifiert > name_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 39 of file ansi_c_scope.h.

Member Typedef Documentation

◆ name_mapt

typedef std::unordered_map<irep_idt, ansi_c_identifiert> ansi_c_scopet::name_mapt

Definition at line 44 of file ansi_c_scope.h.

Constructor & Destructor Documentation

◆ ansi_c_scopet()

ansi_c_scopet::ansi_c_scopet ( )
inline

Definition at line 57 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.

◆ swap()

void ansi_c_scopet::swap ( ansi_c_scopet &  scope)
inline

Definition at line 59 of file ansi_c_scope.h.

Member Data Documentation

◆ anon_counter

unsigned ansi_c_scopet::anon_counter

Definition at line 55 of file ansi_c_scope.h.

◆ compound_counter

unsigned ansi_c_scopet::compound_counter

Definition at line 54 of file ansi_c_scope.h.

◆ last_declarator

irep_idt ansi_c_scopet::last_declarator

Definition at line 51 of file ansi_c_scope.h.

◆ name_map

name_mapt ansi_c_scopet::name_map

Definition at line 45 of file ansi_c_scope.h.

◆ prefix

std::string ansi_c_scopet::prefix

Definition at line 47 of file ansi_c_scope.h.

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