Go to the documentation of this file.
12 #ifndef CPROVER_CPP_CPP_DECLARATOR_H
13 #define CPROVER_CPP_CPP_DECLARATOR_H
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
const cpp_namet & name() const
const irept & throw_decl() const
The type of an expression, extends irept.
const exprt & value() const
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
const irept & method_qualifier() const
Base class for all expressions.
void output(std::ostream &out) const
typet & type()
Return the type of the expression.
const irept & member_initializers() const
const exprt & init_args() const
cpp_declaratort(const typet &type)
irept & member_initializers()
irept & method_qualifier()
Base class for tree-like data structures with sharing.
source_locationt & add_source_location()
typet merge_type(const typet &declaration_type) const