__ESBMC_exception_detail::__ESBMC_handled_exception Struct Reference

Public Attributes
__SIZE_TYPE__	typeid_value
void *	object

Member Data Documentation

object

void* __ESBMC_exception_detail::__ESBMC_handled_exception::object

typeid_value

__SIZE_TYPE__ __ESBMC_exception_detail::__ESBMC_handled_exception::typeid_value

---

The documentation for this struct was generated from the following file:

• src/c2goto/library/cpp/exception.cpp