cpp_exception_id.cpp File Reference

#include "cpp_exception_id.h"
#include <util/c_types.h>
#include <util/invariant.h>
#include <util/namespace.h>
#include <util/std_types.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 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.

cpp_exception_list_rec()

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