|
CBMC
|
#include "cpp_convert_type.h"#include <util/c_types.h>#include <util/config.h>#include <util/invariant.h>#include <util/std_types.h>#include <ansi-c/ansi_c_convert_type.h>#include "cpp_declaration.h"#include "cpp_name.h"
Include dependency graph for cpp_convert_type.cpp:Go to the source code of this file.
Classes | |
| class | cpp_convert_typet |
Functions | |
| void | cpp_convert_plain_type (typet &type, message_handlert &message_handler) |
| void | cpp_convert_auto (typet &dest, const typet &src, message_handlert &message_handler) |
C++ Language Type Conversion
Definition in file cpp_convert_type.cpp.
| void cpp_convert_auto | ( | typet & | dest, |
| const typet & | src, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 350 of file cpp_convert_type.cpp.
| void cpp_convert_plain_type | ( | typet & | type, |
| message_handlert & | message_handler | ||
| ) |
Definition at line 328 of file cpp_convert_type.cpp.