CBMC
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:

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 ( void  )
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: