CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
nullptr_exceptiont Class Reference

#include <base_exceptions.h>

+ Inheritance diagram for nullptr_exceptiont:
[フレーム]
[legend]
+ Collaboration diagram for nullptr_exceptiont:
[フレーム]
[legend]

Public Member Functions

template<typename... Ts>
  nullptr_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 29 of file base_exceptions.h.

Constructor & Destructor Documentation

◆  nullptr_exceptiont()

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

Definition at line 33 of file base_exceptions.h.

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

AltStyle によって変換されたページ (->オリジナル) /