cprover
|
#include <util/source_location.h>
Go to the source code of this file.
Classes | |
class | typet |
The type of an expression. More... | |
class | type_with_subtypet |
class | type_with_subtypest |
Macros | |
#define | SUBTYPE_IN_GETSUB |
#define | SUBTYPES_IN_GETSUB |
#define | forall_subtypes(it, type) |
#define | Forall_subtypes(it, type) |
Functions | |
bool | is_number (const typet &type) |
#define forall_subtypes | ( | it, | |
type | |||
) |
Definition at line 159 of file type.h.
Referenced by find_symbols(), ansi_c_parsert::get_class(), cpp_typecheckt::has_const(), cpp_typecheckt::has_volatile(), rename_symbolt::have_to_rename(), replace_symbolt::have_to_replace(), c_storage_spect::read(), cpp_convert_typet::read_rec(), ansi_c_convert_typet::read_rec(), and type2name().
#define Forall_subtypes | ( | it, | |
type | |||
) |
Definition at line 165 of file type.h.
Referenced by template_mapt::apply(), dump_ct::cleanup_type(), cpp_declarationt::name_anon_struct_union(), rename_symbolt::rename(), and replace_symbolt::replace().
bool is_number | ( | const typet & | type | ) |
Definition at line 24 of file type.cpp.
References irept::id().
Referenced by string_constraint_generatort::add_axioms_from_int(), string_constraint_generatort::add_axioms_from_int_hex(), cpp_typecheck_resolvet::convert_identifier(), cpp_declarator_convertert::convert_new_symbol(), c_typecastt::implicit_typecast_followed(), goto_convertt::remove_post(), goto_convertt::remove_pre(), simplify_exprt::simplify_div(), simplify_exprt::simplify_minus(), simplify_exprt::simplify_mod(), simplify_exprt::simplify_mult(), simplify_exprt::simplify_plus(), simplify_exprt::simplify_power(), simplify_exprt::simplify_shifts(), simplify_exprt::simplify_unary_minus(), c_typecheck_baset::typecheck_expr_binary_arithmetic(), c_typecheck_baset::typecheck_expr_main(), c_typecheck_baset::typecheck_expr_rel(), c_typecheck_baset::typecheck_expr_shifts(), c_typecheck_baset::typecheck_expr_unary_arithmetic(), c_typecheck_baset::typecheck_side_effect_assignment(), and cpp_typecheckt::typecheck_side_effect_inc_dec().