bad_cast_exceptiont Class Reference
#include <base_exceptions.h>
Inheritance diagram for bad_cast_exceptiont: Collaboration diagram for bad_cast_exceptiont:Public Member Functions | |
| template<typename... Ts> | |
| bad_cast_exceptiont (Ts &&...ts) | |
| Public Member Functions inherited from invariant_failedt | |
| virtual | ~invariant_failedt ()=default |
| virtual std::string | what () const noexcept |
| invariant_failedt (const std::string &_file, const std::string &_function, int _line, const std::string &_backtrace, const std::string &_condition, const std::string &_reason) | |
| virtual | ~invariant_failedt ()=default |
| virtual std::string | what () const noexcept |
| invariant_failedt (const std::string &_file, const std::string &_function, int _line, const std::string &_backtrace, const std::string &_condition, const std::string &_reason) | |
Detailed Description
Definition at line 17 of file base_exceptions.h.
Constructor & Destructor Documentation
◆ bad_cast_exceptiont()
template<typename... Ts>
|
inlineexplicit |
Definition at line 25 of file base_exceptions.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/util/base_exceptions.h
