base_name | cpp_declarator_convertert | protected |
check_array_types(typet &type, bool force_constant) | cpp_declarator_convertert | protected |
combine_types(const source_locationt &source_location, const typet &decl_type, symbolt &symbol) | cpp_declarator_convertert | protected |
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_convertert | inline |
convert_new_symbol(const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator) | cpp_declarator_convertert | protected |
cpp_declarator_convertert(class cpp_typecheckt &_cpp_typecheck) | cpp_declarator_convertert | |
cpp_typecheck | cpp_declarator_convertert | |
enforce_rules(const symbolt &symbol) | cpp_declarator_convertert | protected |
final_identifier | cpp_declarator_convertert | protected |
final_type | cpp_declarator_convertert | protected |
get_final_identifier() | cpp_declarator_convertert | protected |
get_pretty_name() | cpp_declarator_convertert | protected |
handle_initializer(symbolt &symbol, cpp_declaratort &declarator) | cpp_declarator_convertert | protected |
is_code | cpp_declarator_convertert | protected |
is_code_type(const typet &type) const | cpp_declarator_convertert | inlineprotected |
is_friend | cpp_declarator_convertert | |
is_template | cpp_declarator_convertert | |
is_template_parameter | cpp_declarator_convertert | |
is_typedef | cpp_declarator_convertert | |
linkage_spec | cpp_declarator_convertert | |
main_function_rules(const symbolt &symbol) | cpp_declarator_convertert | protected |
operator_overloading_rules(const symbolt &symbol) | cpp_declarator_convertert | protected |
scope | cpp_declarator_convertert | protected |