cpp_exception_id.h File Reference

C++ Language Type Checking. More...

#include <util/namespace.h>
#include <util/type.h>

Include dependency graph for cpp_exception_id.h:

This graph shows which files directly or indirectly include this file:

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

Detailed Description

C++ Language Type Checking.

Definition in file cpp_exception_id.h.

Function Documentation

cpp_exception_id()

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

cpp_exception_list()

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