CBMC
|
#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 |
Public Member Functions inherited from c_qualifierst | |
c_qualifierst () | |
c_qualifierst (const typet &src) | |
Public Member Functions inherited from qualifierst | |
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) |
Protected Member Functions inherited from c_qualifierst | |
c_qualifierst & | operator= (const c_qualifierst &other) |
Protected Member Functions inherited from qualifierst | |
qualifierst ()=default | |
Private Attributes | |
const namespacet & | ns |
std::vector< java_annotationt > | annotations |
Additional Inherited Members | |
Static Public Member Functions inherited from c_qualifierst | |
static void | clear (typet &dest) |
Public Attributes inherited from c_qualifierst | |
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 92 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 35 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 23 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 30 of file java_qualifiers.cpp.
|
inline |
Definition at line 30 of file java_qualifiers.h.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 76 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 54 of file java_qualifiers.cpp.
|
protected |
Definition at line 13 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 68 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 41 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 48 of file java_qualifiers.cpp.
|
private |
Definition at line 16 of file java_qualifiers.h.
|
private |
Definition at line 15 of file java_qualifiers.h.