Loading...

Searching...

No Matches

cpp_namespace_spec.cpp

1/*******************************************************************\

2

3Module: C++ Language Type Checking

4

5Author: Daniel Kroening, kroening@cs.cmu.edu

6

7\*******************************************************************/

8

11

13

14#include <ostream>

15

16 void cpp_namespace_spect::output(std::ostream &out) const

17{

18 out << " namespace: " << get_namespace() << '\n';

19}

void output(std::ostream &out) const

Definition cpp_namespace_spec.cpp:16

const irep_idt & get_namespace() const

Definition cpp_namespace_spec.h:39

C++ Language Type Checking.

CBMC: /home/runner/work/cbmc/cbmc/src/cpp/cpp_namespace_spec.cpp Source File