|
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 108 of file AEDetector.h.
|
inline |
Constructor initializes the exception with a message.
| message | The error message. |
Definition at line 115 of file AEDetector.h.
Provides the error message.
Definition at line 122 of file AEDetector.h.
|
private |
The error message.
Definition at line 128 of file AEDetector.h.