CBMC
java_qualifierst Member List

This is the complete list of members for java_qualifierst, including all inherited members.

annotationsjava_qualifierstprivate
as_string() const overridejava_qualifierstvirtual
c_qualifierst()c_qualifierstinline
c_qualifierst(const typet &src)c_qualifierstinlineexplicit
clear() overridejava_qualifierstvirtual
c_qualifierst::clear(typet &dest)c_qualifierststatic
clone() const overridejava_qualifierstvirtual
count() const overridejava_qualifierstvirtual
get_annotations() constjava_qualifierstinline
is_atomicc_qualifierst
is_constantc_qualifierst
is_nodiscardc_qualifierst
is_noreturnc_qualifierst
is_ptr32c_qualifierst
is_ptr64c_qualifierst
is_restrictedc_qualifierst
is_subset_of(const java_qualifierst &other) constjava_qualifierst
c_qualifierst::is_subset_of(const c_qualifierst &other) constc_qualifierstinline
is_transparent_unionc_qualifierst
is_volatilec_qualifierst
java_qualifierst(const namespacet &ns)java_qualifierstinlineexplicit
nsjava_qualifierstprivate
operator!=(const java_qualifierst &other) constjava_qualifierstinline
c_qualifierst::operator!=(const c_qualifierst &other) constc_qualifierstinline
operator+=(const java_qualifierst &other)java_qualifierst
c_qualifierst::operator+=(const c_qualifierst &other)c_qualifierstinline
operator=(const java_qualifierst &other)java_qualifierstprotected
c_qualifierst::operator=(const c_qualifierst &other)c_qualifierstprotected
operator==(const java_qualifierst &other) constjava_qualifierst
c_qualifierst::operator==(const c_qualifierst &other) constc_qualifierstinline
read(const typet &src) overridejava_qualifierstvirtual
write(typet &src) const overridejava_qualifierstvirtual
~c_qualifierst()=defaultc_qualifierstvirtual