CBMC
|
C++ Language Type Conversion. More...
#include "cpp_convert_type.h"
#include <util/c_types.h>
#include <util/config.h>
#include <util/invariant.h>
#include <util/message.h>
#include <util/std_types.h>
#include <ansi-c/ansi_c_convert_type.h>
#include "cpp_declaration.h"
#include "cpp_name.h"
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 347 of file cpp_convert_type.cpp.
void cpp_convert_plain_type | ( | typet & | type, |
message_handlert & | message_handler | ||
) |
Definition at line 325 of file cpp_convert_type.cpp.