cprover
|
C++ Language Type Checking. More...
Go to the source code of this file.
Functions | |
std::ostream & | operator<< (std::ostream &out, const cpp_idt &cpp_id) |
std::ostream & | operator<< (std::ostream &out, const cpp_idt::id_classt &id_class) |
C++ Language Type Checking.
Definition in file cpp_id.cpp.
std::ostream& operator<< | ( | std::ostream & | out, |
const cpp_idt & | cpp_id | ||
) |
Definition at line 100 of file cpp_id.cpp.
References cpp_idt::print().
std::ostream& operator<< | ( | std::ostream & | out, |
const cpp_idt::id_classt & | id_class | ||
) |
Definition at line 106 of file cpp_id.cpp.
References cpp_idt::BLOCK_SCOPE, cpp_idt::CLASS, id_class, cpp_idt::NAMESPACE, cpp_idt::ROOT_SCOPE, cpp_idt::SYMBOL, cpp_idt::TEMPLATE, cpp_idt::TEMPLATE_PARAMETER, cpp_idt::TEMPLATE_SCOPE, cpp_idt::TYPEDEF, and cpp_idt::UNKNOWN.