CBMC
Public Member Functions | Static Public Member Functions | Public Attributes | Protected Member Functions | List of all members
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 33 of file c_qualifiers.cpp.

◆ clear() [1/2]

virtual void c_qualifierst::clear ( void  )
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 131 of file c_qualifiers.cpp.

◆ clone()

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

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 26 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 13 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 61 of file c_qualifiers.cpp.

◆ write()

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

Implements qualifierst.

Reimplemented in java_qualifierst.

Definition at line 88 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: