12 #ifndef CPROVER_CPP_CPP_DECLARATOR_H 13 #define CPROVER_CPP_CPP_DECLARATOR_H 45 return static_cast<const exprt &
>(
find(ID_value));
52 return static_cast<const exprt&
>(
find(
"init_args"));
61 return find(ID_member_initializers);
67 void output(std::ostream &out)
const;
72 #endif // CPROVER_CPP_CPP_DECLARATOR_H The type of an expression.
const irept & member_initializers() const
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