c_qualifierst Class Reference

#include <c_qualifiers.h>

Inheritance diagram for c_qualifierst:

Collaboration diagram for c_qualifierst:

Public Member Functions
	c_qualifierst ()
	c_qualifierst (const typet &src)
virtual std::unique_ptr< qualifierst >	clone () const override
virtual void	clear () override
virtual std::string	as_string () const 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 qualifierst &	operator+= (const qualifierst &other) override
virtual std::size_t	count () const override
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

Static Public Member Functions
static void	clear (typet &dest)

Public Attributes
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

Protected Member Functions
c_qualifierst &	operator= (const c_qualifierst &other)
Protected Member Functions inherited from qualifierst
	qualifierst ()=default

Detailed Description

Definition at line 61 of file c_qualifiers.h.

Constructor & Destructor Documentation

c_qualifierst() [1/2]

c_qualifierst::c_qualifierst ( )

inline

Definition at line 64 of file c_qualifiers.h.

c_qualifierst() [2/2]

c_qualifierst::c_qualifierst ( const typet &  src )

inlineexplicit

Definition at line 69 of file c_qualifiers.h.

Member Function Documentation

as_string()

std::string c_qualifierst::as_string ( ) const

overridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 34 of file c_qualifiers.cpp.

clear() [1/2]

virtual void c_qualifierst::clear ( )

inlineoverridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 80 of file c_qualifiers.h.

clear() [2/2]

void c_qualifierst::clear ( typet &  dest )

static

Definition at line 132 of file c_qualifiers.cpp.

clone()

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

overridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 27 of file c_qualifiers.cpp.

count()

virtual std::size_t c_qualifierst::count ( ) const

inlineoverridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 151 of file c_qualifiers.h.

is_subset_of()

virtual bool c_qualifierst::is_subset_of ( const qualifierst &  other ) const

inlineoverridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 108 of file c_qualifiers.h.

operator+=()

virtual qualifierst& c_qualifierst::operator+= ( const qualifierst &  other )

inlineoverridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 137 of file c_qualifiers.h.

operator=()

c_qualifierst & c_qualifierst::operator= ( const c_qualifierst &  other )

protected

Definition at line 14 of file c_qualifiers.cpp.

operator==()

virtual bool c_qualifierst::operator== ( const qualifierst &  other ) const

inlineoverridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 123 of file c_qualifiers.h.

read()

void c_qualifierst::read ( const typet &  src )

overridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 62 of file c_qualifiers.cpp.

write()

void c_qualifierst::write ( typet &  src ) const

overridevirtual

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 89 of file c_qualifiers.cpp.

Member Data Documentation

is_atomic

bool c_qualifierst::is_atomic

Definition at line 92 of file c_qualifiers.h.

is_constant

bool c_qualifierst::is_constant

Definition at line 92 of file c_qualifiers.h.

is_noreturn

bool c_qualifierst::is_noreturn

Definition at line 92 of file c_qualifiers.h.

is_ptr32

bool c_qualifierst::is_ptr32

Definition at line 95 of file c_qualifiers.h.

is_ptr64

bool c_qualifierst::is_ptr64

Definition at line 95 of file c_qualifiers.h.

is_restricted

bool c_qualifierst::is_restricted

Definition at line 92 of file c_qualifiers.h.

is_transparent_union

bool c_qualifierst::is_transparent_union

Definition at line 98 of file c_qualifiers.h.

is_volatile

bool c_qualifierst::is_volatile

Definition at line 92 of file c_qualifiers.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/ansi-c/c_qualifiers.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/ansi-c/c_qualifiers.cpp