CBMC
system_exceptiont Class Reference

Thrown when some external system fails unexpectedly. More...

#include <exception_utils.h>

+ Inheritance diagram for system_exceptiont:
+ Collaboration diagram for system_exceptiont:

Public Member Functions

 system_exceptiont (std::string message)
 
- Public Member Functions inherited from cprover_exception_baset
virtual std::string what () const
 A human readable description of what went wrong. More...
 
virtual ~cprover_exception_baset ()=default
 
virtual std::string what () const
 A human readable description of what went wrong. More...
 
virtual ~cprover_exception_baset ()=default
 

Additional Inherited Members

- Protected Member Functions inherited from cprover_exception_baset
 cprover_exception_baset (std::string reason)
 This constructor is marked protected to ensure this class isn't used directly. More...
 
 cprover_exception_baset (std::string reason)
 This constructor is marked protected to ensure this class isn't used directly. More...
 
- Protected Attributes inherited from cprover_exception_baset
std::string reason
 The reason this exception was generated. More...
 

Detailed Description

Thrown when some external system fails unexpectedly.

Examples are IO exceptions (files not present, or we don't have the right permissions to interact with them), timeouts for external processes etc

Definition at line 71 of file exception_utils.h.

Constructor & Destructor Documentation

◆ system_exceptiont()

system_exceptiont::system_exceptiont ( std::string  message)
explicit

Definition at line 42 of file exception_utils.cpp.


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