cprover
|
#include <c_storage_spec.h>
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 |
irep_idt | alias |
irep_idt | asm_label |
irep_idt | section |
Definition at line 15 of file c_storage_spec.h.
|
inline |
Definition at line 18 of file c_storage_spec.h.
References clear().
|
inlineexplicit |
Definition at line 23 of file c_storage_spec.h.
|
inline |
Definition at line 29 of file c_storage_spec.h.
References alias, asm_label, dstringt::clear(), is_extern, is_inline, is_register, is_static, is_thread_local, is_typedef, is_weak, and section.
Referenced by c_storage_spect(), and ansi_c_convert_typet::clear().
|
inline |
Definition at line 67 of file c_storage_spec.h.
|
inline |
Definition at line 53 of file c_storage_spec.h.
References alias, asm_label, is_extern, is_inline, is_register, is_static, is_thread_local, is_typedef, is_weak, and section.
|
inline |
Definition at line 72 of file c_storage_spec.h.
References alias, asm_label, dstringt::empty(), is_extern, is_inline, is_register, is_static, is_thread_local, is_typedef, is_weak, and section.
void c_storage_spect::read | ( | const typet & | type | ) |
Definition at line 13 of file c_storage_spec.cpp.
References alias, asm_label, forall_operands, forall_subtypes, irept::get(), typet::has_subtype(), irept::id(), is_extern, is_inline, is_register, is_static, is_thread_local, is_typedef, is_weak, section, and typet::subtype().
Referenced by c_storage_spect().
irep_idt c_storage_spect::alias |
Definition at line 47 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
irep_idt c_storage_spect::asm_label |
Definition at line 50 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_extern |
Definition at line 43 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_inline |
Definition at line 43 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_register |
Definition at line 43 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_static |
Definition at line 43 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_thread_local |
Definition at line 43 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_typedef |
Definition at line 43 of file c_storage_spec.h.
Referenced by ansi_c_parsert::add_declarator(), clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
bool c_storage_spect::is_weak |
Definition at line 43 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().
irep_idt c_storage_spect::section |
Definition at line 51 of file c_storage_spec.h.
Referenced by clear(), operator==(), operator|=(), read(), and ansi_c_convert_typet::read_rec().