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.
|
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.
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 79 of file c_qualifiers.h.
|
static |
Definition at line 132 of file c_qualifiers.cpp.
|
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.
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 107 of file c_qualifiers.h.
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 136 of file c_qualifiers.h.
|
protected |
Definition at line 14 of file c_qualifiers.cpp.
|
inlineoverridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 122 of file c_qualifiers.h.
|
overridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 62 of file c_qualifiers.cpp.
|
overridevirtual |
Implements qualifierst.
Reimplemented in java_qualifierst.
Definition at line 89 of file c_qualifiers.cpp.
bool c_qualifierst::is_atomic |
Definition at line 91 of file c_qualifiers.h.
bool c_qualifierst::is_constant |
Definition at line 91 of file c_qualifiers.h.
bool c_qualifierst::is_noreturn |
Definition at line 91 of file c_qualifiers.h.
bool c_qualifierst::is_ptr32 |
Definition at line 94 of file c_qualifiers.h.
bool c_qualifierst::is_ptr64 |
Definition at line 94 of file c_qualifiers.h.
bool c_qualifierst::is_restricted |
Definition at line 91 of file c_qualifiers.h.
bool c_qualifierst::is_transparent_union |
Definition at line 97 of file c_qualifiers.h.
bool c_qualifierst::is_volatile |
Definition at line 91 of file c_qualifiers.h.