java_qualifierst Class Reference

#include <java_qualifiers.h>

Inheritance diagram for java_qualifierst:

Collaboration diagram for java_qualifierst:

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

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

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().

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:

• /builddir/build/BUILD/cbmc-cbmc-5.10/jbmc/src/java_bytecode/java_qualifiers.h
• /builddir/build/BUILD/cbmc-cbmc-5.10/jbmc/src/java_bytecode/java_qualifiers.cpp