12 #ifndef CPROVER_CPP_CPP_DECLARATOR_H 13 #define CPROVER_CPP_CPP_DECLARATOR_H 39 return static_cast<const cpp_namet &>(
find(ID_name));
45 return static_cast<const exprt &>(
find(ID_value));
51 return static_cast<exprt &>(
add(ID_init_args));
55 return static_cast<const exprt &>(
find(ID_init_args));
64 return find(ID_member_initializers);
69 return add(ID_throw_decl);
73 return find(ID_throw_decl);
76 void output(std::ostream &out)
const;
81 #endif // CPROVER_CPP_CPP_DECLARATOR_H The type of an expression, extends irept.
const irept & member_initializers() const
typet & type()
Return the type of the expression.
const exprt & init_args() const
typet merge_type(const typet &declaration_type) const
const cpp_namet & name() const
irept & method_qualifier()
Base class for tree-like data structures with sharing.
cpp_declaratort(const typet &type)
void output(std::ostream &out) const
Base class for all expressions.
irept & member_initializers()
const exprt & value() const
irept & add(const irep_namet &name)
source_locationt & add_source_location()
const irept & throw_decl() const
const irept & method_qualifier() const
const irept & find(const irep_namet &name) const