cprover
|
#include <java_qualifiers.h>
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.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 37 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 25 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 32 of file java_qualifiers.cpp.
|
inline |
Definition at line 30 of file java_qualifiers.h.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 78 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 56 of file java_qualifiers.cpp.
|
protected |
Definition at line 15 of file java_qualifiers.cpp.
|
overridevirtual |
Reimplemented from c_qualifierst.
Definition at line 70 of file java_qualifiers.cpp.
Reimplemented from c_qualifierst.
Definition at line 43 of file java_qualifiers.cpp.
Reimplemented from c_qualifierst.
Definition at line 50 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.