Loading...

Searching...

No Matches

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:

[フレーム]

[legend]

Public Member Functions

c_qualifierst ()

c_qualifierst (const typet &src)

virtual ~c_qualifierst ()=default

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

virtual void clear ()

virtual std::string as_string () const

virtual void read (const typet &src)

virtual void write (typet &src) const

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)

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_nodiscard

bool is_ptr32

bool is_ptr64

bool is_transparent_union

Protected Member Functions

c_qualifierst & operator= (const c_qualifierst &other)

Detailed Description

Definition at line 18 of file c_qualifiers.h.

Constructor & Destructor Documentation

◆ c_qualifierst() [1/2]

c_qualifierst::c_qualifierst ( )

inline

Definition at line 21 of file c_qualifiers.h.

◆ c_qualifierst() [2/2]

c_qualifierst::c_qualifierst ( const typet & src )

inlineexplicit

Definition at line 26 of file c_qualifiers.h.

◆ ~c_qualifierst()

virtual c_qualifierst::~c_qualifierst ( )

virtualdefault

Member Function Documentation

◆ as_string()

std::string c_qualifierst::as_string ( ) const

virtual

Reimplemented in java_qualifierst.

Definition at line 34 of file c_qualifiers.cpp.

◆ clear() [1/2]

virtual void c_qualifierst::clear ( )

inlinevirtual

Reimplemented in java_qualifierst.

Definition at line 39 of file c_qualifiers.h.

◆ clear() [2/2]

void c_qualifierst::clear ( typet & dest )

static

Definition at line 143 of file c_qualifiers.cpp.

◆ clone()

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

virtual

Reimplemented in java_qualifierst.

Definition at line 27 of file c_qualifiers.cpp.

◆ is_subset_of()

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

inline

Definition at line 69 of file c_qualifiers.h.

◆ operator!=()

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

inline

Definition at line 94 of file c_qualifiers.h.

◆ operator+=()

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

inline

Definition at line 99 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==()

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

inline

Definition at line 82 of file c_qualifiers.h.

◆ read()

void c_qualifierst::read ( const typet & src )

virtual

Reimplemented in java_qualifierst.

Definition at line 65 of file c_qualifiers.cpp.

◆ write()

void c_qualifierst::write ( typet & src ) const

virtual

Reimplemented in java_qualifierst.

Definition at line 95 of file c_qualifiers.cpp.

Member Data Documentation

◆ is_atomic

bool c_qualifierst::is_atomic

Definition at line 52 of file c_qualifiers.h.

◆ is_constant

bool c_qualifierst::is_constant

Definition at line 52 of file c_qualifiers.h.

◆ is_nodiscard

bool c_qualifierst::is_nodiscard

Definition at line 53 of file c_qualifiers.h.

◆ is_noreturn

bool c_qualifierst::is_noreturn

Definition at line 52 of file c_qualifiers.h.

◆ is_ptr32

bool c_qualifierst::is_ptr32

Definition at line 56 of file c_qualifiers.h.

◆ is_ptr64

bool c_qualifierst::is_ptr64

Definition at line 56 of file c_qualifiers.h.

◆ is_restricted

bool c_qualifierst::is_restricted

Definition at line 52 of file c_qualifiers.h.

◆ is_transparent_union

bool c_qualifierst::is_transparent_union

Definition at line 59 of file c_qualifiers.h.

◆ is_volatile

bool c_qualifierst::is_volatile

Definition at line 52 of file c_qualifiers.h.

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

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