cprover
|
Go to the source code of this file.
Functions | |
bool | is_reference (const typet &type) |
TO_BE_DOCUMENTED. More... | |
bool | is_rvalue_reference (const typet &type) |
TO_BE_DOCUMENTED. More... | |
bool is_reference | ( | const typet & | type | ) |
TO_BE_DOCUMENTED.
Definition at line 105 of file std_types.cpp.
References irept::get_bool(), and irept::id().
Referenced by add_generic_type_information(), cpp_typecheckt::add_implicit_dereference(), cpp_typecheckt::cast_away_constness(), cpp_typecheckt::const_typecast(), cpp_typecheckt::convert_initializer(), cpp_declarator_convertert::convert_new_symbol(), cpp_typecheckt::convert_parameter(), expr2cppt::convert_rec(), cpp_typecheckt::cpp_constructor(), cpp_typecheckt::cpp_destructor(), cpp_typecheckt::cpp_is_pod(), cpp_type2name(), cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheckt::dtor(), cpp_typecheckt::dynamic_typecast(), cpp_typecheckt::find_assignop(), cpp_typecheckt::find_cpctor(), cpp_typecheck_resolvet::guess_template_args(), cpp_typecheckt::implicit_conversion_sequence(), irep2name(), cpp_typecheck_fargst::match(), cpp_typecheckt::overloadable(), pretty_java_type(), cpp_typecheckt::reference_binding(), cpp_typecheckt::reference_compatible(), cpp_typecheckt::reference_initializer(), cpp_typecheckt::reference_related(), cpp_typecheckt::reinterpret_typecast(), cpp_typecheckt::standard_conversion_pointer(), cpp_typecheckt::standard_conversion_pointer_to_member(), cpp_typecheckt::standard_conversion_qualification(), cpp_typecheckt::standard_conversion_sequence(), cpp_typecheckt::typecheck_expr_address_of(), cpp_typecheckt::typecheck_function_call_arguments(), cpp_typecheckt::typecheck_member_initializer(), cpp_typecheckt::typecheck_method_application(), cpp_typecheckt::typecheck_side_effect_assignment(), cpp_typecheckt::typecheck_try_catch(), and cpp_typecheckt::user_defined_conversion_sequence().
bool is_rvalue_reference | ( | const typet & | type | ) |
TO_BE_DOCUMENTED.
Definition at line 111 of file std_types.cpp.
References irept::get_bool(), and irept::id().
Referenced by expr2cppt::convert_rec(), cpp_type2name(), and cpp_typecheck_resolvet::guess_template_args().