Loading...

Searching...

No Matches

Public Member Functions | Protected Member Functions | Private Attributes | List of all members

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)

std::unique_ptr< c_qualifierst > clone () const override

java_qualifierst & operator+= (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_qualifierst & operator+= (const c_qualifierst &other)

Protected Member Functions

java_qualifierst & operator= (const java_qualifierst &other)

- Protected Member Functions inherited from c_qualifierst

c_qualifierst & operator= (const c_qualifierst &other)

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_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:

/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_qualifiers.h
/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_qualifiers.cpp