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.
cpp
cpp_namespace_spec.cpp
Generated by
1.8.20