cprover
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)
 
std::string what () const override
 A human readable description of what went wrong. More...
 
- Public Member Functions inherited from cprover_exception_baset
virtual ~cprover_exception_baset ()=default
 

Private Attributes

std::string message
 

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 60 of file exception_utils.h.

Constructor & Destructor Documentation

◆ system_exceptiont()

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

Definition at line 37 of file exception_utils.cpp.

Member Function Documentation

◆ what()

std::string system_exceptiont::what ( ) const
overridevirtual

A human readable description of what went wrong.

For readability, implementors should not add a leading or trailing newline to this description.

Implements cprover_exception_baset.

Definition at line 42 of file exception_utils.cpp.

Member Data Documentation

◆ message

std::string system_exceptiont::message
private

Definition at line 67 of file exception_utils.h.


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