Loading...

Searching...

No Matches

Public Member Functions | Public Attributes | List of all members

c_storage_spect Class Reference

#include <c_storage_spec.h>

+ Collaboration diagram for c_storage_spect:

[フレーム]

[legend]

Public Member Functions

c_storage_spect ()

c_storage_spect (const typet &type)

void clear ()

bool operator== (const c_storage_spect &other) const

bool operator!= (const c_storage_spect &other) const

c_storage_spect & operator|= (const c_storage_spect &other)

void read (const typet &type)

Public Attributes

bool is_typedef

bool is_extern

bool is_static

bool is_register

bool is_inline

bool is_thread_local

bool is_weak

bool is_used

irep_idt alias

irep_idt asm_label

irep_idt section

Detailed Description

Definition at line 17 of file c_storage_spec.h.

Constructor & Destructor Documentation

◆ c_storage_spect() [1/2]

c_storage_spect::c_storage_spect ( )

inline

Definition at line 20 of file c_storage_spec.h.

◆ c_storage_spect() [2/2]

c_storage_spect::c_storage_spect ( const typet & type )

inlineexplicit

Definition at line 25 of file c_storage_spec.h.

Member Function Documentation

◆ clear()

void c_storage_spect::clear ( )

inline

Definition at line 31 of file c_storage_spec.h.

◆ operator!=()

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

inline

Definition at line 71 of file c_storage_spec.h.

◆ operator==()

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

inline

Definition at line 56 of file c_storage_spec.h.

◆ operator|=()

c_storage_spect & c_storage_spect::operator|= ( const c_storage_spect & other )

inline

Definition at line 76 of file c_storage_spec.h.

◆ read()

void c_storage_spect::read ( const typet & type )

Definition at line 13 of file c_storage_spec.cpp.

Member Data Documentation

◆ alias

irep_idt c_storage_spect::alias

Definition at line 50 of file c_storage_spec.h.

◆ asm_label

irep_idt c_storage_spect::asm_label

Definition at line 53 of file c_storage_spec.h.

◆ is_extern

bool c_storage_spect::is_extern

Definition at line 46 of file c_storage_spec.h.

◆ is_inline

bool c_storage_spect::is_inline

Definition at line 47 of file c_storage_spec.h.

◆ is_register

bool c_storage_spect::is_register

Definition at line 46 of file c_storage_spec.h.

◆ is_static

bool c_storage_spect::is_static

Definition at line 46 of file c_storage_spec.h.

◆ is_thread_local

bool c_storage_spect::is_thread_local

Definition at line 47 of file c_storage_spec.h.

◆ is_typedef

bool c_storage_spect::is_typedef

Definition at line 46 of file c_storage_spec.h.

◆ is_used

bool c_storage_spect::is_used

Definition at line 47 of file c_storage_spec.h.

◆ is_weak

bool c_storage_spect::is_weak

Definition at line 47 of file c_storage_spec.h.

◆ section

irep_idt c_storage_spect::section

Definition at line 54 of file c_storage_spec.h.

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

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