| 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.