CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
ansi_c_scope.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#include "ansi_c_scope.h"
10
11#include <ostream>
12
13void ansi_c_scopet::print(std::ostream &out) const
14{
15 out << "Prefix: " << prefix << "\n";
16
17 for(const auto &name : name_map)
18 {
19 out << " ID: " << name.first
20 << " CLASS: " << static_cast<int>(name.second.id_class)
21 << "\n";
22 }
23}
void print(std::ostream &out) const
std::string prefix
name_mapt name_map