cprover
cpp_exception_id.cpp File Reference

C++ Language Type Checking. More...

#include "cpp_exception_id.h"
Include dependency graph for cpp_exception_id.cpp:

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...
 

Detailed Description

C++ Language Type Checking.

Definition in file cpp_exception_id.cpp.

Function Documentation

§ cpp_exception_id()

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().

§ cpp_exception_list()

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().

§ cpp_exception_list_rec()

void cpp_exception_list_rec ( const typet src,
const namespacet ns,
const std::string &  suffix,
std::vector< irep_idt > &  dest 
)