cprover
|
C++ Language Type Checking. More...
#include "cpp_exception_id.h"
Go to the source code of this file.
Functions | |
void | cpp_exception_list_rec (const typet &src, const namespacet &ns, const std::string &suffix, std::vector< irep_idt > &dest) |
turns a type into a list of relevant exception IDs More... | |
irept | cpp_exception_list (const typet &src, const namespacet &ns) |
turns a type into a list of relevant exception IDs More... | |
irep_idt | cpp_exception_id (const typet &src, const namespacet &ns) |
turns a type into an exception ID More... | |
C++ Language Type Checking.
Definition in file cpp_exception_id.cpp.
irep_idt cpp_exception_id | ( | const typet & | src, |
const namespacet & | ns | ||
) |
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 & | src, |
const namespacet & | ns | ||
) |
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().
void cpp_exception_list_rec | ( | const typet & | src, |
const namespacet & | ns, | ||
const std::string & | suffix, | ||
std::vector< irep_idt > & | dest | ||
) |
turns a type into a list of relevant exception IDs
Definition at line 15 of file cpp_exception_id.cpp.
References dstringt::empty(), irept::find(), namespace_baset::follow(), forall_irep, irept::get(), irept::get_bool(), irept::get_string(), irept::get_sub(), irept::id(), id2string(), and typet::subtype().
Referenced by cpp_exception_id(), and cpp_exception_list().