12 #ifndef CPROVER_CPP_CPP_EXCEPTION_ID_H 13 #define CPROVER_CPP_CPP_EXCEPTION_ID_H 23 #endif // CPROVER_CPP_CPP_EXCEPTION_ID_H The type of an expression, extends irept.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
irept cpp_exception_list(const typet &, const namespacet &)
turns a type into a list of relevant exception IDs
Base class for tree-like data structures with sharing.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
irep_idt cpp_exception_id(const typet &, const namespacet &)
turns a type into an exception ID
Defines typet, type_with_subtypet and type_with_subtypest.