16 if(type.
id()==ID_struct)
34 for(struct_typet::componentst::const_iterator
35 it=components.begin();
39 if(it->get_bool(ID_is_type))
42 if(it->get_base_name()==
"operator=")
45 if(it->get_bool(ID_is_virtual))
48 const typet &sub_type=it->type();
50 if(sub_type.
id()==ID_code)
52 if(it->get_bool(ID_is_virtual))
61 else if(it->get(ID_access)!=ID_public &&
62 !it->get_bool(ID_is_static))
71 else if(type.
id()==ID_array)
75 else if(type.
id()==ID_pointer)
83 else if(type.
id()==ID_symbol)
The type of an expression.
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
std::vector< componentt > componentst
const componentst & components() const
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const irep_idt & id() const
bool cpp_is_pod(const typet &type) const
bool is_reference(const typet &type)
TO_BE_DOCUMENTED.
const irep_idt & get(const irep_namet &name) const
C++ Language Type Checking.
const struct_typet & to_struct_type(const typet &type)
Cast a generic typet to a struct_typet.
typet type
Type of symbol.
const code_typet & to_code_type(const typet &type)
Cast a generic typet to a code_typet.
const typet & subtype() const
const irept & find(const irep_namet &name) const
const typet & return_type() const