Static Value-Flow Analysis
Loading...
Searching...
No Matches
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.
 
virtual const charwhat () const throw ()
 Provides the error message.
 

Private Attributes

std::string msg_
 The error message.
 

Detailed Description

Exception class for handling errors in Abstract Execution.

Definition at line 107 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 114 of file AEDetector.h.

115 : msg_(message) {}
std::string msg_
The error message.
Definition AEDetector.h:127
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

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 121 of file AEDetector.h.

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

Member Data Documentation

◆ msg_

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

The error message.

Definition at line 127 of file AEDetector.h.


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