cprover
|
C++ Language Type Checking. More...
Go to the source code of this file.
Functions | |
irep_idt | cpp_exception_id (const typet &, const namespacet &) |
turns a type into an exception ID More... | |
irept | cpp_exception_list (const typet &, const namespacet &) |
turns a type into a list of relevant exception IDs More... | |
C++ Language Type Checking.
Definition in file cpp_exception_id.h.
irep_idt cpp_exception_id | ( | const typet & | , |
const namespacet & | |||
) |
turns a type into an exception ID
Definition at line 88 of file cpp_exception_id.cpp.
References cpp_exception_list_rec().
Referenced by cpp_typecheckt::typecheck_try_catch().
irept cpp_exception_list | ( | const typet & | , |
const namespacet & | |||
) |
turns a type into a list of relevant exception IDs
Definition at line 71 of file cpp_exception_id.cpp.
References cpp_exception_list_rec(), and irept::get_sub().
Referenced by cpp_typecheckt::typecheck_expr_throw().