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:

• /home/runner/work/cbmc/cbmc/src/ansi-c/ansi_c_scope.h
• /home/runner/work/cbmc/cbmc/src/ansi-c/ansi_c_scope.cpp