30 if(t.
id() == ID_typedef_type || t.
id() == ID_symbol)
42 else if(t.
id()==ID_abstract)
47 else if(t.
id()==ID_merged_type)
67 out <<
" is_enum_constant";
71 out <<
" is_parameter";
75 out <<
" is_register";
77 out <<
" is_thread_local";
83 out <<
" is_static_assert";
101 if(p->
id()==ID_frontend_pointer || p->
id()==ID_array ||
102 p->
id()==ID_vector || p->
id()==ID_c_bit_field ||
103 p->
id()==ID_block_pointer || p->
id()==ID_code)
105 else if(p->
id()==ID_merged_type)
109 p=&(p->subtypes().back());
151 symbol.
type.
set(ID_C_inlined,
true);
bool get_is_static_assert() const
The type of an expression.
irep_idt name
The unique identifier.
bool get_is_static() const
struct configt::ansi_ct ansi_c
bool get_is_extern() const
bool get_is_register() const
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
bool get_is_typedef() const
exprt value
Initial value of symbol.
void to_symbol(const ansi_c_declaratort &, symbolt &symbol) const
irep_idt pretty_name
Language-specific display name.
bool get_is_global() const
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
typet full_type(const ansi_c_declaratort &) const
const irep_idt & id() const
const declaratorst & declarators() const
irep_idt get_base_name() const
void set_base_name(const irep_idt &base_name)
bool get_is_enum_constant() const
const irep_idt & get(const irep_namet &name) const
bool get_is_inline() const
irep_idt get_name() const
Base class for tree-like data structures with sharing.
const source_locationt & source_location() const
void output(std::ostream &) const
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
bool get_is_parameter() const
irep_idt base_name
Base (non-scoped) name.
const source_locationt & source_location() const
ANSI-CC Language Type Checking.
source_locationt & add_source_location()
const typet & subtype() const
void set(const irep_namet &name, const irep_idt &value)
bool get_is_thread_local() const
const ansi_c_declaratort & declarator() const