cprover
cpp_namespace_spec.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C++ Language Type Checking
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
11 
12 #include "cpp_namespace_spec.h"
13 
14 #include <ostream>
15 
16 #include "cpp_item.h"
17 
18 void cpp_namespace_spect::output(std::ostream &out) const
19 {
20  out << " namespace: " << get_namespace() << '\n';
21 }
cpp_item.h
C++ Language Type Checking.
cpp_namespace_spect::output
void output(std::ostream &out) const
Definition: cpp_namespace_spec.cpp:18
cpp_namespace_spect::get_namespace
const irep_idt & get_namespace() const
Definition: cpp_namespace_spec.h:39
cpp_namespace_spec.h
C++ Language Type Checking.