CBMC
cpp_declarator_convertert Member List

This is the complete list of members for cpp_declarator_convertert, including all inherited members.

base_namecpp_declarator_convertertprotected
check_array_types(typet &type, bool force_constant)cpp_declarator_convertertprotected
combine_types(const source_locationt &source_location, const typet &decl_type, symbolt &symbol)cpp_declarator_convertertprotected
convert(const typet &type, const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator)cpp_declarator_convertert
convert(const cpp_declarationt &declaration, cpp_declaratort &declarator)cpp_declarator_convertertinline
convert_new_symbol(const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator)cpp_declarator_convertertprotected
cpp_declarator_convertert(class cpp_typecheckt &_cpp_typecheck)cpp_declarator_convertert
cpp_typecheckcpp_declarator_convertert
enforce_rules(const symbolt &symbol)cpp_declarator_convertertprotected
final_identifiercpp_declarator_convertertprotected
final_typecpp_declarator_convertertprotected
get_final_identifier()cpp_declarator_convertertprotected
get_pretty_name()cpp_declarator_convertertprotected
handle_initializer(symbolt &symbol, cpp_declaratort &declarator)cpp_declarator_convertertprotected
is_codecpp_declarator_convertertprotected
is_code_type(const typet &type) constcpp_declarator_convertertinlineprotected
is_friendcpp_declarator_convertert
is_templatecpp_declarator_convertert
is_template_parametercpp_declarator_convertert
is_typedefcpp_declarator_convertert
linkage_speccpp_declarator_convertert
main_function_rules(const symbolt &symbol)cpp_declarator_convertertprotected
operator_overloading_rules(const symbolt &symbol)cpp_declarator_convertertprotected
scopecpp_declarator_convertertprotected