cprover
|
#include <c_qualifiers.h>
Public Member Functions | |
qualifierst (const qualifierst &)=delete | |
qualifierst (qualifierst &&)=delete | |
qualifierst & | operator= (const qualifierst &)=delete |
qualifierst & | operator= (qualifierst &&)=delete |
virtual | ~qualifierst ()=default |
virtual std::unique_ptr< qualifierst > | clone () const =0 |
virtual qualifierst & | operator+= (const qualifierst &b)=0 |
virtual std::size_t | count () const =0 |
virtual void | clear ()=0 |
virtual void | read (const typet &src)=0 |
virtual void | write (typet &src) const =0 |
virtual bool | is_subset_of (const qualifierst &q) const =0 |
virtual bool | operator== (const qualifierst &other) const =0 |
bool | operator!= (const qualifierst &other) const |
virtual std::string | as_string () const =0 |
Protected Member Functions | |
qualifierst ()=default | |
Friends | |
std::ostream & | operator<< (std::ostream &, const qualifierst &) |
pretty-print the qualifiers | |
Definition at line 19 of file c_qualifiers.h.
|
protecteddefault |
|
delete |
|
delete |
|
virtualdefault |
|
pure virtual |
Implemented in java_qualifierst, and c_qualifierst.
Implemented in java_qualifierst, and c_qualifierst.
|
pure virtual |
Implemented in java_qualifierst, and c_qualifierst.
|
pure virtual |
Implemented in java_qualifierst, and c_qualifierst.
|
pure virtual |
Implemented in java_qualifierst, and c_qualifierst.
|
inline |
Definition at line 50 of file c_qualifiers.h.
|
pure virtual |
Implemented in java_qualifierst, and c_qualifierst.
|
delete |
|
delete |
|
pure virtual |
Implemented in java_qualifierst, and c_qualifierst.
Implemented in java_qualifierst, and c_qualifierst.
Implemented in java_qualifierst, and c_qualifierst.
|
friend |
pretty-print the qualifiers
Definition at line 144 of file c_qualifiers.cpp.