12 #ifndef CPROVER_CPP_CPP_DECLARATOR_CONVERTER_H 13 #define CPROVER_CPP_CPP_DECLARATOR_CONVERTER_H 86 return type.
id()==ID_code ||
87 (type.
id()==ID_template && type.
subtype().
id()==ID_code);
92 const typet &decl_type,
96 #endif // CPROVER_CPP_CPP_DECLARATOR_CONVERTER_H The type of an expression, extends irept.
void main_function_rules(const symbolt &symbol)
void get_final_identifier()
void check_array_types(typet &type, bool force_constant)
const cpp_storage_spect & storage_spec() const
class cpp_typecheckt & cpp_typecheck
bool is_code_type(const typet &type) const
typet & type()
Return the type of the expression.
C++ Language Type Checking.
irep_idt get_pretty_name()
const cpp_member_spect & member_spec() const
const irep_idt & id() const
symbolt & convert_new_symbol(const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator)
void enforce_rules(const symbolt &symbol)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
C++ Language Type Checking.
cpp_declarator_convertert(class cpp_typecheckt &_cpp_typecheck)
C++ Language Type Checking.
bool is_template_parameter
symbolt & convert(const cpp_declarationt &declaration, cpp_declaratort &declarator)
irep_idt final_identifier
void operator_overloading_rules(const symbolt &symbol)
symbolt & convert(const typet &type, const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator)
const typet & subtype() const
void combine_types(const source_locationt &source_location, const typet &decl_type, symbolt &symbol)
void handle_initializer(symbolt &symbol, cpp_declaratort &declarator)