cprover
c_qualifierst Class Reference

#include <c_qualifiers.h>

Public Member Functions

 c_qualifierst ()
 
 c_qualifierst (const typet &src)
 
void clear ()
 
std::string as_string () const
 
void read (const typet &src)
 
void write (typet &src) const
 
bool is_subset_of (const c_qualifierst &q) const
 
bool operator== (const c_qualifierst &other) const
 
bool operator!= (const c_qualifierst &other) const
 
c_qualifierstoperator+= (const c_qualifierst &b)
 
unsigned count () 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
 

Detailed Description

Definition at line 17 of file c_qualifiers.h.

Constructor & Destructor Documentation

§ c_qualifierst() [1/2]

c_qualifierst::c_qualifierst ( )
inline

Definition at line 20 of file c_qualifiers.h.

References clear().

§ c_qualifierst() [2/2]

c_qualifierst::c_qualifierst ( const typet src)
inlineexplicit

Definition at line 25 of file c_qualifiers.h.

References clear(), and read().

Member Function Documentation

§ as_string()

std::string c_qualifierst::as_string ( ) const

§ clear() [1/2]

void c_qualifierst::clear ( void  )
inline

§ clear() [2/2]

void c_qualifierst::clear ( typet dest)
static

Definition at line 111 of file c_qualifiers.cpp.

References irept::remove().

§ count()

unsigned c_qualifierst::count ( ) const
inline

Definition at line 102 of file c_qualifiers.h.

References is_noreturn, and operator<<().

§ is_subset_of()

§ operator!=()

bool c_qualifierst::operator!= ( const c_qualifierst other) const
inline

Definition at line 84 of file c_qualifiers.h.

§ operator+=()

c_qualifierst& c_qualifierst::operator+= ( const c_qualifierst b)
inline

§ operator==()

bool c_qualifierst::operator== ( const c_qualifierst other) const
inline

§ read()

§ write()

Member Data Documentation

§ is_atomic

bool c_qualifierst::is_atomic

§ is_constant

§ is_noreturn

bool c_qualifierst::is_noreturn

§ is_ptr32

bool c_qualifierst::is_ptr32

§ is_ptr64

bool c_qualifierst::is_ptr64

§ is_restricted

bool c_qualifierst::is_restricted

§ is_transparent_union

bool c_qualifierst::is_transparent_union

§ is_volatile

bool c_qualifierst::is_volatile

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