cprover
|
Go to the source code of this file.
Classes | |
class | cpp_namet |
class | cpp_namet::namet |
Functions | |
cpp_namet & | to_cpp_name (irept &cpp_name) |
const cpp_namet & | to_cpp_name (const irept &cpp_name) |
Definition at line 144 of file cpp_name.h.
References irept::id(), and PRECONDITION.
Referenced by cpp_typecheckt::check_member_initializers(), cpp_typecheckt::convert_initializer(), cpp_typecheckt::convert_template_declaration(), cpp_typecheckt::explicit_typecast_ambiguity(), cpp_typecheckt::full_member_initialization(), cpp_typecheck_resolvet::guess_template_args(), cpp_typecheckt::typecheck_class_template_member(), cpp_typecheckt::typecheck_compound_bases(), cpp_typecheckt::typecheck_compound_type(), cpp_typecheckt::typecheck_expr_cpp_name(), cpp_typecheckt::typecheck_expr_explicit_typecast(), cpp_typecheckt::typecheck_expr_member(), cpp_typecheckt::typecheck_expr_sizeof(), cpp_typecheckt::typecheck_function_template(), cpp_typecheckt::typecheck_member_initializer(), cpp_typecheckt::typecheck_side_effect_function_call(), and cpp_typecheckt::typecheck_type().
Definition at line 150 of file cpp_name.h.
References irept::id(), and PRECONDITION.