cprover
Loading...
Searching...
No Matches
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)
std::unique_ptr< c_qualifierstclone () const override
java_qualifierstoperator+= (const java_qualifierst &other)
const std::vector< java_annotationt > & get_annotations () const
void clear () override
void read (const typet &src) override
void write (typet &src) const override
bool is_subset_of (const java_qualifierst &other) const
bool operator== (const java_qualifierst &other) const
bool operator!= (const java_qualifierst &other) const
std::string as_string () const override
Public Member Functions inherited from c_qualifierst
 c_qualifierst ()
 c_qualifierst (const typet &src)
virtual ~c_qualifierst ()=default
bool is_subset_of (const c_qualifierst &other) const
bool operator== (const c_qualifierst &other) const
bool operator!= (const c_qualifierst &other) const
c_qualifierstoperator+= (const c_qualifierst &other)

Protected Member Functions

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

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_nodiscard
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 77 of file java_qualifiers.cpp.

◆ clear()

void java_qualifierst::clear ( )
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 30 of file java_qualifiers.cpp.

◆ clone()

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

Reimplemented from c_qualifierst.

Definition at line 23 of file java_qualifiers.cpp.

◆ get_annotations()

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

Definition at line 30 of file java_qualifiers.h.

◆ is_subset_of()

bool java_qualifierst::is_subset_of ( const java_qualifierst & other) const

Definition at line 64 of file java_qualifiers.cpp.

◆ operator!=()

bool java_qualifierst::operator!= ( const java_qualifierst & other) const
inline

Definition at line 42 of file java_qualifiers.h.

◆ operator+=()

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

Definition at line 49 of file java_qualifiers.cpp.

◆ operator=()

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

Definition at line 13 of file java_qualifiers.cpp.

◆ operator==()

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

Definition at line 59 of file java_qualifiers.cpp.

◆ read()

void java_qualifierst::read ( const typet & src)
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 36 of file java_qualifiers.cpp.

◆ write()

void java_qualifierst::write ( typet & src) const
overridevirtual

Reimplemented from c_qualifierst.

Definition at line 43 of file java_qualifiers.cpp.

Member Data Documentation

◆ annotations

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

Definition at line 16 of file java_qualifiers.h.

◆ ns

const namespacet& java_qualifierst::ns
private

Definition at line 15 of file java_qualifiers.h.


The documentation for this class was generated from the following files:
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/src/java_bytecode/java_qualifiers.h
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/src/java_bytecode/java_qualifiers.cpp