cprover
|
#include <java_qualifiers.h>
Public Member Functions | |
java_qualifierst (const namespacet &ns) | |
virtual std::unique_ptr< qualifierst > | clone () const override |
virtual qualifierst & | operator+= (const qualifierst &other) override |
const std::vector< java_annotationt > & | get_annotations () const |
virtual std::size_t | count () const override |
virtual void | clear () 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 std::string | as_string () const override |
![]() | |
c_qualifierst () | |
c_qualifierst (const typet &src) | |
![]() | |
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 |
Protected Member Functions | |
java_qualifierst & | operator= (const java_qualifierst &other) |
![]() | |
c_qualifierst & | operator= (const c_qualifierst &other) |
![]() | |
qualifierst ()=default | |
Private Attributes | |
const namespacet & | ns |
std::vector< java_annotationt > | annotations |
Additional Inherited Members | |
![]() | |
static void | clear (typet &dest) |
![]() | |
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 12 of file java_qualifiers.h.
|
inlineexplicit |
Definition at line 19 of file java_qualifiers.h.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 94 of file java_qualifiers.cpp.
References annotations, c_qualifierst::as_string(), expr2java(), and ns.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 37 of file java_qualifiers.cpp.
References annotations, and c_qualifierst::clear().
|
overridevirtual |
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 32 of file java_qualifiers.cpp.
References annotations, and c_qualifierst::count().
|
inline |
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 78 of file java_qualifiers.cpp.
References annotations, and c_qualifierst::is_subset_of().
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 56 of file java_qualifiers.cpp.
References annotations, and c_qualifierst::operator+=().
|
protected |
Definition at line 15 of file java_qualifiers.cpp.
References annotations, INVARIANT, ns, and c_qualifierst::operator=().
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 70 of file java_qualifiers.cpp.
References annotations, and c_qualifierst::operator==().
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 43 of file java_qualifiers.cpp.
References annotations, and c_qualifierst::read().
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 50 of file java_qualifiers.cpp.
References annotations, get_annotations(), type_checked_cast(), and c_qualifierst::write().
|
private |
Definition at line 16 of file java_qualifiers.h.
Referenced by as_string(), clear(), count(), get_annotations(), is_subset_of(), operator+=(), operator=(), operator==(), read(), and write().
|
private |
Definition at line 15 of file java_qualifiers.h.
Referenced by as_string(), clone(), and operator=().