29 os <<
' ' <<
format(c.type()) <<
' ' << c.get_name();
40 const auto &
id = type.
id();
44 else if(
id == ID_array)
52 else if(
id == ID_struct)
54 else if(
id == ID_symbol)
The type of an expression.
const symbol_typet & to_symbol_type(const typet &type)
Cast a generic typet to a symbol_typet.
const componentst & components() const
const irep_idt & id() const
const struct_typet & to_struct_type(const typet &type)
Cast a generic typet to a struct_typet.
const array_typet & to_array_type(const typet &type)
Cast a generic typet to an array_typet.
const typet & subtype() const
const irep_idt & get_identifier() const