cprover
bad_cast_exceptiont Class Reference

#include <base_exceptions.h>

Inheritance diagram for bad_cast_exceptiont:
[legend]
Collaboration diagram for bad_cast_exceptiont:
[legend]

Public Member Functions

template<typename... Ts>
 bad_cast_exceptiont (Ts &&...ts)
 
- Public Member Functions inherited from invariant_failedt
 invariant_failedt (const std::string &_file, const std::string &_function, int _line, const std::string &_backtrace, const std::string &_reason)
 

Additional Inherited Members

- Public Attributes inherited from invariant_failedt
const std::string file
 
const std::string function
 
const int line
 
const std::string backtrace
 
const std::string reason
 

Detailed Description

Definition at line 17 of file base_exceptions.h.

Constructor & Destructor Documentation

◆ bad_cast_exceptiont()

template<typename... Ts>
bad_cast_exceptiont::bad_cast_exceptiont ( Ts &&...  ts)
inlineexplicit

Definition at line 25 of file base_exceptions.h.


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