Static Value-Flow Analysis
Public Member Functions | Private Attributes | List of all members
SVF::AEException Class Reference

Exception class for handling errors in Abstract Execution. More...

#include <AEDetector.h>

Inheritance diagram for SVF::AEException:

Public Member Functions

 AEException (const std::string &message)
 Constructor initializes the exception with a message. More...
 
virtual const char * what () const throw ()
 Provides the error message. More...
 

Private Attributes

std::string msg_
 The error message. More...
 

Detailed Description

Exception class for handling errors in Abstract Execution.

Definition at line 106 of file AEDetector.h.

Constructor & Destructor Documentation

◆ AEException()

SVF::AEException::AEException ( const std::string message)
inline

Constructor initializes the exception with a message.

Parameters
messageThe error message.

Definition at line 113 of file AEDetector.h.

114  : msg_(message) {}
std::string msg_
The error message.
Definition: AEDetector.h:126

Member Function Documentation

◆ what()

virtual const char* SVF::AEException::what ( ) const
throw (
)
inlinevirtual

Provides the error message.

Returns
The error message as a C-string.

Definition at line 120 of file AEDetector.h.

121  {
122  return msg_.c_str();
123  }

Member Data Documentation

◆ msg_

std::string SVF::AEException::msg_
private

The error message.

Definition at line 126 of file AEDetector.h.


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