12#ifndef CPROVER_CPP_CPP_DECLARATOR_H
13#define CPROVER_CPP_CPP_DECLARATOR_H
86 void output(std::ostream &out)
const;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
const cpp_namet & name() const
const irept & throw_decl() const
void set_is_parameter(bool is_parameter)
void output(std::ostream &out) const
irept & member_initializers()
typet merge_type(const typet &declaration_type) const
const irept & member_initializers() const
const exprt & init_args() const
const exprt & value() const
const irept & method_qualifier() const
irept & method_qualifier()
bool get_is_parameter() const
cpp_declaratort(const typet &type)
Base class for all expressions.
typet & type()
Return the type of the expression.
source_locationt & add_source_location()
There are a large number of kinds of tree structured or tree-like data in CPROVER.
bool get_bool(const irep_idt &name) const
const irept & find(const irep_idt &name) const
void set(const irep_idt &name, const irep_idt &value)
irept & add(const irep_idt &name)
The type of an expression, extends irept.