cprover
|
#include <c_qualifiers.h>
Public Member Functions | |
c_qualifierst () | |
c_qualifierst (const typet &src) | |
virtual std::unique_ptr< qualifierst > | clone () const override |
virtual void | clear () override |
virtual std::string | as_string () const override |
virtual void | read (const typet &src) override |
virtual void | write (typet &src) const override |
virtual bool | is_subset_of (const qualifierst &other) const override |
virtual bool | operator== (const qualifierst &other) const override |
virtual qualifierst & | operator+= (const qualifierst &other) override |
virtual std::size_t | count () const override |
![]() | |
qualifierst (const qualifierst &)=delete | |
qualifierst (qualifierst &&)=delete | |
qualifierst & | operator= (const qualifierst &)=delete |
qualifierst & | operator= (qualifierst &&)=delete |
virtual | ~qualifierst ()=default |
bool | operator!= (const qualifierst &other) 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 |
Protected Member Functions | |
c_qualifierst & | operator= (const c_qualifierst &other) |
![]() | |
qualifierst ()=default | |
Definition at line 60 of file c_qualifiers.h.
|
inline |
Definition at line 63 of file c_qualifiers.h.
References clear().
|
inlineexplicit |
Definition at line 68 of file c_qualifiers.h.
|
overridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 34 of file c_qualifiers.cpp.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, and is_volatile.
Referenced by java_qualifierst::as_string(), and expr2ct::convert_rec().
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 79 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(), java_qualifierst::clear(), and ansi_c_convert_typet::clear().
|
static |
Definition at line 132 of file c_qualifiers.cpp.
References irept::remove().
|
overridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 27 of file c_qualifiers.cpp.
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 150 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, and is_volatile.
Referenced by java_qualifierst::count().
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 107 of file c_qualifiers.h.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, and is_volatile.
Referenced by java_qualifierst::is_subset_of(), cpp_typecheckt::reference_compatible(), cpp_typecheckt::standard_conversion_qualification(), cpp_typecheckt::static_typecast(), and cpp_typecheckt::typecheck_expr_trinary().
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 136 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 java_qualifierst::operator+=().
|
protected |
Definition at line 14 of file c_qualifiers.cpp.
References is_atomic, is_constant, is_noreturn, is_ptr32, is_ptr64, is_restricted, is_transparent_union, and is_volatile.
Referenced by java_qualifierst::operator=().
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 122 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 java_qualifierst::operator==().
|
overridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 62 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(), java_qualifierst::read(), 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().
|
overridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 89 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(), java_qualifierst::write(), and ansi_c_convert_typet::write().
bool c_qualifierst::is_atomic |
Definition at line 91 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_constant |
Definition at line 91 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), 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 91 of file c_qualifiers.h.
Referenced by as_string(), clear(), expr2ct::convert_rec(), count(), is_subset_of(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_ptr32 |
Definition at line 94 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_ptr64 |
Definition at line 94 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_restricted |
Definition at line 91 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_transparent_union |
Definition at line 97 of file c_qualifiers.h.
Referenced by clear(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().
bool c_qualifierst::is_volatile |
Definition at line 91 of file c_qualifiers.h.
Referenced by as_string(), clear(), count(), is_subset_of(), operator+=(), operator=(), operator==(), read(), ansi_c_convert_typet::read_rec(), and write().