cprover
|
C++ Language Module. More...
Go to the source code of this file.
Functions | |
static std::string | do_prefix (const std::string &s) |
static void | irep2name (const irept &irep, std::string &result) |
std::string | cpp_type2name (const typet &type) |
std::string | cpp_expr2name (const exprt &expr) |
C++ Language Module.
Definition in file cpp_type2name.cpp.
std::string cpp_expr2name | ( | const exprt & | expr | ) |
Definition at line 173 of file cpp_type2name.cpp.
References irep2name().
Referenced by cpp_typecheckt::class_template_identifier().
std::string cpp_type2name | ( | const typet & | type | ) |
Definition at line 91 of file cpp_type2name.cpp.
References cpp_type2name(), dstringt::empty(), irept::get(), irept::get_bool(), irept::id(), id2string(), irep2name(), is_reference(), is_rvalue_reference(), code_typet::parameters(), code_typet::return_type(), typet::subtype(), and to_code_type().
Referenced by cpp_typecheckt::class_template_identifier(), cpp_declarator_convertert::convert(), cpp_type2name(), cpp_typecheckt::function_identifier(), cpp_typecheckt::function_template_identifier(), cpp_typecheckt::operator_is_overloaded(), cpp_typecheck_resolvet::resolve_scope(), cpp_typecheckt::template_suffix(), cpp_languaget::type_to_name(), cpp_typecheckt::typecheck_compound_declarator(), and cpp_typecheckt::typecheck_expr_cpp_name().
|
static |
|
static |
Definition at line 28 of file cpp_type2name.cpp.
References do_prefix(), forall_irep, forall_named_irep, irept::get_comments(), irept::get_named_sub(), irept::get_sub(), irept::id(), irept::id_string(), is_reference(), and name2string().
Referenced by cpp_expr2name(), and cpp_type2name().