cprover
c_types.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_C_TYPES_H
11 #define CPROVER_UTIL_C_TYPES_H
12 
13 #include "std_types.h"
14 
43 
44 // This is for Java and C++
46 
47 // Turns an ID_C_c_type into a string, e.g.,
48 // ID_signed_int gets "signed int".
49 std::string c_type_as_string(const irep_idt &);
50 
51 #endif // CPROVER_UTIL_C_TYPES_H
signedbv_typet signed_long_int_type()
Definition: c_types.cpp:79
The type of an expression.
Definition: type.h:20
typet void_type()
Definition: c_types.cpp:306
unsignedbv_typet unsigned_short_int_type()
Definition: c_types.cpp:50
Fixed-width bit-vector with unsigned binary interpretation.
Definition: std_types.h:1125
typet c_bool_type()
Definition: c_types.cpp:107
bitvector_typet float_type()
Definition: c_types.cpp:184
pointer_typet pointer_type(const typet &)
Definition: c_types.cpp:296
bitvector_typet gcc_float128_type()
Definition: c_types.cpp:260
unsignedbv_typet unsigned_long_int_type()
Definition: c_types.cpp:93
signedbv_typet gcc_signed_int128_type()
Definition: c_types.cpp:318
unsignedbv_typet unsigned_long_long_int_type()
Definition: c_types.cpp:100
unsignedbv_typet char32_t_type()
Definition: c_types.cpp:174
bitvector_typet char_type()
Definition: c_types.cpp:113
The pointer type.
Definition: std_types.h:1343
Fixed-width bit-vector with two's complement interpretation.
Definition: std_types.h:1171
reference_typet reference_type(const typet &)
Definition: c_types.cpp:301
bitvector_typet enum_constant_type()
return type of enum constants
Definition: c_types.cpp:22
unsignedbv_typet size_type()
Definition: c_types.cpp:57
bitvector_typet index_type()
Definition: c_types.cpp:15
unsignedbv_typet unsigned_char_type()
Definition: c_types.cpp:134
unsignedbv_typet char16_t_type()
Definition: c_types.cpp:164
Base class of bitvector types.
Definition: std_types.h:1003
The reference type.
Definition: std_types.h:1394
signedbv_typet signed_char_type()
Definition: c_types.cpp:141
signedbv_typet signed_int_type()
Definition: c_types.cpp:29
API to type classes.
signedbv_typet pointer_diff_type()
Definition: c_types.cpp:281
signedbv_typet signed_short_int_type()
Definition: c_types.cpp:36
bitvector_typet wchar_t_type()
Definition: c_types.cpp:148
bitvector_typet long_double_type()
Definition: c_types.cpp:222
unsignedbv_typet gcc_unsigned_int128_type()
Definition: c_types.cpp:311
signedbv_typet signed_size_type()
Definition: c_types.cpp:73
unsignedbv_typet unsigned_int_type()
Definition: c_types.cpp:43
std::string c_type_as_string(const irep_idt &)
Definition: c_types.cpp:325
signedbv_typet signed_long_long_int_type()
Definition: c_types.cpp:86
bitvector_typet double_type()
Definition: c_types.cpp:203