cpp_exception_id.h File Reference

C++ Language Type Checking. More...

#include <util/irep.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 &	src,
		const namespacet &	ns
	)

turns a type into an exception ID

Definition at line 94 of file cpp_exception_id.cpp.

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 77 of file cpp_exception_id.cpp.