Public Member Functions | List of all members
Rose::BinaryAnalysis::SmtSolver::ParseError Struct Reference


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:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::ParseError:
Collaboration graph

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

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