Static Value-Flow Analysis
|
Exception class for handling errors in Abstract Execution. More...
#include <AEDetector.h>
Public Member Functions | |
AEException (const std::string &message) | |
Constructor initializes the exception with a message. | |
virtual const char * | what () const throw () |
Provides the error message. | |
Private Attributes | |
std::string | msg_ |
The error message. | |
Exception class for handling errors in Abstract Execution.
Definition at line 106 of file AEDetector.h.
|
inline |
Constructor initializes the exception with a message.
message | The error message. |
Definition at line 113 of file AEDetector.h.
Provides the error message.
Definition at line 120 of file AEDetector.h.
|
private |
The error message.
Definition at line 126 of file AEDetector.h.