cprover
analysis_exceptiont Class Reference

Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error) More...

#include <exception_utils.h>

+ Inheritance diagram for analysis_exceptiont:
+ Collaboration diagram for analysis_exceptiont:

Public Member Functions

 analysis_exceptiont (std::string reason)
 
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 reason
 The reason this exception was generated. More...
 

Detailed Description

Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error)

Definition at line 156 of file exception_utils.h.

Constructor & Destructor Documentation

◆ analysis_exceptiont()

analysis_exceptiont::analysis_exceptiont ( std::string  reason)
explicit

Definition at line 88 of file exception_utils.cpp.

Member Function Documentation

◆ what()

std::string analysis_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 93 of file exception_utils.cpp.

Member Data Documentation

◆ reason

std::string analysis_exceptiont::reason
private

The reason this exception was generated.

Definition at line 164 of file exception_utils.h.


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