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 
40 
41 // This is for Java and C++
43 
44 // Turns an ID_C_c_type into a string, e.g.,
45 // ID_signed_int gets "signed int".
46 std::string c_type_as_string(const irep_idt &);
47 
48 #endif // CPROVER_UTIL_C_TYPES_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
c_type_as_string
std::string c_type_as_string(const irep_idt &)
Definition: c_types.cpp:259
reference_typet
The reference type.
Definition: std_types.h:1553
typet
The type of an expression, extends irept.
Definition: type.h:29
char32_t_type
unsignedbv_typet char32_t_type()
Definition: c_types.cpp:175
double_type
floatbv_typet double_type()
Definition: c_types.cpp:193
floatbv_typet
Fixed-width bit-vector with IEEE floating-point interpretation.
Definition: std_types.h:1379
char_type
bitvector_typet char_type()
Definition: c_types.cpp:114
c_bool_type
typet c_bool_type()
Definition: c_types.cpp:108
enum_constant_type
bitvector_typet enum_constant_type()
return type of enum constants
Definition: c_types.cpp:23
size_type
unsignedbv_typet size_type()
Definition: c_types.cpp:58
reference_type
reference_typet reference_type(const typet &)
Definition: c_types.cpp:248
unsignedbv_typet
Fixed-width bit-vector with unsigned binary interpretation.
Definition: std_types.h:1216
unsigned_long_int_type
unsignedbv_typet unsigned_long_int_type()
Definition: c_types.cpp:94
empty_typet
The empty type.
Definition: std_types.h:46
float_type
floatbv_typet float_type()
Definition: c_types.cpp:185
signed_char_type
signedbv_typet signed_char_type()
Definition: c_types.cpp:142
long_double_type
floatbv_typet long_double_type()
Definition: c_types.cpp:201
signedbv_typet
Fixed-width bit-vector with two's complement interpretation.
Definition: std_types.h:1265
std_types.h
Pre-defined types.
unsigned_long_long_int_type
unsignedbv_typet unsigned_long_long_int_type()
Definition: c_types.cpp:101
pointer_diff_type
signedbv_typet pointer_diff_type()
Definition: c_types.cpp:228
void_type
empty_typet void_type()
Definition: c_types.cpp:253
signed_size_type
signedbv_typet signed_size_type()
Definition: c_types.cpp:74
unsigned_int_type
unsignedbv_typet unsigned_int_type()
Definition: c_types.cpp:44
bitvector_typet
Base class of fixed-width bit-vector types.
Definition: std_types.h:1030
char16_t_type
unsignedbv_typet char16_t_type()
Definition: c_types.cpp:165
signed_long_long_int_type
signedbv_typet signed_long_long_int_type()
Definition: c_types.cpp:87
index_type
bitvector_typet index_type()
Definition: c_types.cpp:16
unsigned_char_type
unsignedbv_typet unsigned_char_type()
Definition: c_types.cpp:135
signed_long_int_type
signedbv_typet signed_long_int_type()
Definition: c_types.cpp:80
unsigned_short_int_type
unsignedbv_typet unsigned_short_int_type()
Definition: c_types.cpp:51
signed_short_int_type
signedbv_typet signed_short_int_type()
Definition: c_types.cpp:37
pointer_type
pointer_typet pointer_type(const typet &)
Definition: c_types.cpp:243
signed_int_type
signedbv_typet signed_int_type()
Definition: c_types.cpp:30
wchar_t_type
bitvector_typet wchar_t_type()
Definition: c_types.cpp:149
pointer_typet
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
Definition: std_types.h:1488