cprover
|
C++ Language Type Checking. More...
#include <cassert>
#include "cpp_declarator.h"
#include "cpp_storage_spec.h"
#include "cpp_member_spec.h"
#include "cpp_template_type.h"
#include "cpp_template_args.h"
Go to the source code of this file.
Classes | |
class | cpp_declarationt |
Functions | |
cpp_declarationt & | to_cpp_declaration (irept &irep) |
const cpp_declarationt & | to_cpp_declaration (const irept &irep) |
C++ Language Type Checking.
Definition in file cpp_declaration.h.
|
inline |
Definition at line 148 of file cpp_declaration.h.
References irept::id().
Referenced by cpp_typecheck_resolvet::apply_template_args(), cpp_typecheckt::convert(), cpp_typecheckt::convert_class_template_specialization(), cpp_typecheck_resolvet::disambiguate_template_classes(), cpp_typecheck_resolvet::guess_function_template_args(), cpp_typecheckt::instantiate_template(), cpp_convert_typet::read_function_type(), cpp_typecheck_resolvet::resolve(), cpp_typecheckt::typecheck_class_template(), cpp_typecheckt::typecheck_compound_body(), cpp_typecheckt::typecheck_decl(), cpp_typecheckt::typecheck_function_template(), cpp_typecheckt::typecheck_template_args(), and cpp_typecheckt::typecheck_try_catch().
|
inline |
Definition at line 154 of file cpp_declaration.h.
References irept::id().