Description
Exception for parse errors when reading SMT solver output.
Definition at line 79 of file SmtSolver.h.
#include <Rose/BinaryAnalysis/SmtSolver.h>
Inheritance diagram for Rose::BinaryAnalysis::SmtSolver::ParseError:
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::ParseError:
Public Member Functions | |
| ParseError (const std::pair< size_t, size_t > &loc, const std::string &mesg) | |
 Public Member Functions inherited from Rose::BinaryAnalysis::SmtSolver::Exception | |
| Exception (const std::string &mesg) | |
| Public Member Functions inherited from Rose::Exception | |
| Exception (const std::string &s) | |
| Construct an exception with an error message. | |
Constructor & Destructor Documentation
◆ ParseError()
|
inline |
Definition at line 80 of file SmtSolver.h.
◆ ~ParseError()
|
inline | |||||||||||||
Definition at line 83 of file SmtSolver.h.
The documentation for this struct was generated from the following file:
