CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
cpp_exception_id.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C++ Language Type Checking
4
5Author: Daniel Kroening, kroening@cs.cmu.edu
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_CPP_CPP_EXCEPTION_ID_H
13#define CPROVER_CPP_CPP_EXCEPTION_ID_H
14
15#include <util/irep.h>
16
17class namespacet;
18class typet;
19
20// turns a type into an exception ID
21
22irep_idt cpp_exception_id(const typet &, const namespacet &);
23irept cpp_exception_list(const typet &, const namespacet &);
24
25#endif // CPROVER_CPP_CPP_EXCEPTION_ID_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38
irept
There are a large number of kinds of tree structured or tree-like data in CPROVER.
Definition irep.h:364
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
typet
The type of an expression, extends irept.
Definition type.h:29
cpp_exception_id
irep_idt cpp_exception_id(const typet &, const namespacet &)
turns a type into an exception ID
Definition cpp_exception_id.cpp:94
cpp_exception_list
irept cpp_exception_list(const typet &, const namespacet &)
turns a type into a list of relevant exception IDs
Definition cpp_exception_id.cpp:77