cprover
|
#include <c_qualifiers.h>
Public Member Functions | |
c_qualifierst () | |
c_qualifierst (const typet &src) | |
void | clear () |
std::string | as_string () const |
void | read (const typet &src) |
void | write (typet &src) const |
bool | is_subset_of (const c_qualifierst &q) const |
bool | operator== (const c_qualifierst &other) const |
bool | operator!= (const c_qualifierst &other) const |
c_qualifierst & | operator+= (const c_qualifierst &b) |
unsigned | count () const |
Static Public Member Functions | |
static void | clear (typet &dest) |
Public Attributes | |
bool | is_constant |
bool | is_volatile |
bool | is_restricted |
bool | is_atomic |
bool | is_noreturn |
bool | is_ptr32 |
bool | is_ptr64 |
bool | is_transparent_union |
Definition at line 17 of file c_qualifiers.h.
|
inline |
Definition at line 20 of file c_qualifiers.h.
References clear().
|
inlineexplicit |
Definition at line 25 of file c_qualifiers.h.
std::string c_qualifierst::as_string | ( | ) | const |
Definition at line 13 of file c_qualifiers.cpp.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, and is_volatile.
Referenced by expr2ct::convert_rec(), expr2javat::convert_rec(), expr2cppt::convert_rec(), and operator<<().
|
inline |
Definition at line 31 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, is_transparent_union, and is_volatile.
Referenced by c_qualifierst(), and ansi_c_convert_typet::clear().
|
static |
Definition at line 111 of file c_qualifiers.cpp.
References irept::remove().
|
inline |
Definition at line 102 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, and is_volatile.
|
inline |
Definition at line 59 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, and is_volatile.
Referenced by cpp_typecheckt::reference_compatible(), cpp_typecheckt::standard_conversion_qualification(), cpp_typecheckt::static_typecast(), and cpp_typecheckt::typecheck_expr_trinary().
|
inline |
Definition at line 84 of file c_qualifiers.h.
|
inline |
Definition at line 89 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, is_transparent_union, and is_volatile.
|
inline |
Definition at line 72 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, is_transparent_union, and is_volatile.
void c_qualifierst::read | ( | const typet & | src | ) |
Definition at line 41 of file c_qualifiers.cpp.
References irept::get_bool(), is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, is_transparent_union, and is_volatile.
Referenced by c_qualifierst(), cpp_typecheckt::cast_away_constness(), expr2ct::convert_rec(), expr2javat::convert_rec(), expr2cppt::convert_rec(), cpp_typecheckt::reference_binding(), cpp_typecheckt::reference_compatible(), cpp_typecheckt::standard_conversion_boolean(), cpp_typecheckt::standard_conversion_floating_integral_conversion(), cpp_typecheckt::standard_conversion_floating_point_conversion(), cpp_typecheckt::standard_conversion_floating_point_promotion(), cpp_typecheckt::standard_conversion_integral_conversion(), cpp_typecheckt::standard_conversion_integral_promotion(), cpp_typecheckt::standard_conversion_pointer(), cpp_typecheckt::standard_conversion_sequence(), cpp_typecheckt::static_typecast(), cpp_typecheckt::typecheck_enum_type(), cpp_typecheckt::typecheck_expr_trinary(), c_typecheck_baset::typecheck_typeof_type(), and cpp_typecheckt::user_defined_conversion_sequence().
void c_qualifierst::write | ( | typet & | src | ) | const |
Definition at line 68 of file c_qualifiers.cpp.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, is_transparent_union, is_volatile, irept::remove(), and irept::set().
Referenced by cpp_typecheckt::cast_away_constness(), c_typecastt::follow_with_qualifiers(), c_typecastt::implicit_typecast(), cpp_typecheckt::reference_binding(), cpp_typecheckt::standard_conversion_boolean(), cpp_typecheckt::standard_conversion_floating_integral_conversion(), cpp_typecheckt::standard_conversion_floating_point_conversion(), cpp_typecheckt::standard_conversion_floating_point_promotion(), cpp_typecheckt::standard_conversion_integral_conversion(), cpp_typecheckt::standard_conversion_integral_promotion(), cpp_typecheckt::standard_conversion_pointer(), c_typecheck_baset::typecheck_compound_type(), cpp_typecheckt::typecheck_compound_type(), cpp_typecheckt::typecheck_enum_type(), c_typecheck_baset::typecheck_symbol_type(), c_typecheck_baset::typecheck_type(), cpp_typecheckt::typecheck_type(), c_typecheck_baset::typecheck_typeof_type(), cpp_typecheckt::user_defined_conversion_sequence(), and ansi_c_convert_typet::write().
bool c_qualifierst::is_atomic |
Definition at line 43 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_constant |
Definition at line 43 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), remove_const_function_pointerst::is_const_type(), is_subset_of(), does_remove_constt::is_type_at_least_as_const_as(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), cpp_typecheckt::standard_conversion_qualification(), cpp_typecheckt::typecheck_type(), and write().
bool c_qualifierst::is_noreturn |
Definition at line 43 of file c_qualifiers.h.
Referenced by as_string(), clear(), expr2ct::convert_rec(), count(), is_subset_of(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_ptr32 |
Definition at line 46 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_ptr64 |
Definition at line 46 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_restricted |
Definition at line 43 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_transparent_union |
Definition at line 49 of file c_qualifiers.h.
Referenced by clear(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_volatile |
Definition at line 43 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().