Go to the documentation of this file.
32 if(declaration_type.
id()==
"cpp-cast-operator")
46 else if(t.
id()==ID_merged_type)
50 p = &merged_type.last_type();
const typet & subtype() const
The type of an expression, extends irept.
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
void output(std::ostream &out) const
const merged_typet & to_merged_type(const typet &type)
conversion to merged_typet
typet & type()
Return the type of the expression.
const irep_idt & id() const
C++ Language Type Checking.
irept & method_qualifier()
typet merge_type(const typet &declaration_type) const