cprover
java_qualifierst Class Reference

#include <java_qualifiers.h>

Inheritance diagram for java_qualifierst:
[legend]
Collaboration diagram for java_qualifierst:
[legend]

Public Member Functions

 java_qualifierst (const namespacet &ns)
 
virtual std::unique_ptr< qualifierstclone () const override
 
virtual qualifierstoperator+= (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
 
qualifierstoperator= (const qualifierst &)=delete
 
qualifierstoperator= (qualifierst &&)=delete
 
virtual ~qualifierst ()=default
 
bool operator!= (const qualifierst &other) const
 

Protected Member Functions

java_qualifierstoperator= (const java_qualifierst &other)
 
- Protected Member Functions inherited from c_qualifierst
c_qualifierstoperator= (const c_qualifierst &other)
 
- Protected Member Functions inherited from qualifierst
 qualifierst ()=default
 

Private Attributes

const namespacetns
 
std::vector< java_annotationtannotations
 

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
 

Detailed Description

Definition at line 12 of file java_qualifiers.h.

Constructor & Destructor Documentation

◆ java_qualifierst()

java_qualifierst::java_qualifierst ( const namespacet ns)
inlineexplicit

Definition at line 19 of file java_qualifiers.h.

Member Function Documentation

◆ as_string()

std::string java_qualifierst::as_string ( ) const
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 94 of file java_qualifiers.cpp.

References annotations, c_qualifierst::as_string(), expr2java(), and ns.

◆ clear()

void java_qualifierst::clear ( void  )
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 37 of file java_qualifiers.cpp.

References annotations, and c_qualifierst::clear().

◆ clone()

std::unique_ptr< qualifierst > java_qualifierst::clone ( ) const
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 25 of file java_qualifiers.cpp.

References ns.

◆ count()

std::size_t java_qualifierst::count ( ) const
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 32 of file java_qualifiers.cpp.

References annotations, and c_qualifierst::count().

◆ get_annotations()

const std::vector<java_annotationt>& java_qualifierst::get_annotations ( ) const
inline

Definition at line 30 of file java_qualifiers.h.

References annotations.

Referenced by write().

◆ is_subset_of()

bool java_qualifierst::is_subset_of ( const qualifierst other) const
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 78 of file java_qualifiers.cpp.

References annotations, and c_qualifierst::is_subset_of().

◆ operator+=()

qualifierst & java_qualifierst::operator+= ( const qualifierst other)
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 56 of file java_qualifiers.cpp.

References annotations, and c_qualifierst::operator+=().

◆ operator=()

java_qualifierst & java_qualifierst::operator= ( const java_qualifierst other)
protected

Definition at line 15 of file java_qualifiers.cpp.

References annotations, INVARIANT, ns, and c_qualifierst::operator=().

◆ operator==()

bool java_qualifierst::operator== ( const qualifierst other) const
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 70 of file java_qualifiers.cpp.

References annotations, and c_qualifierst::operator==().

◆ read()

void java_qualifierst::read ( const typet src)
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 43 of file java_qualifiers.cpp.

References annotations, and c_qualifierst::read().

◆ write()

void java_qualifierst::write ( typet src) const
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().

Member Data Documentation

◆ annotations

std::vector<java_annotationt> java_qualifierst::annotations
private

◆ ns

const namespacet& java_qualifierst::ns
private

Definition at line 15 of file java_qualifiers.h.

Referenced by as_string(), clone(), and operator=().


The documentation for this class was generated from the following files: