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

Description

Exception for parse errors when reading SMT solver output.

Definition at line 73 of file SmtSolver.h.

#include <SmtSolver.h>

Inheritance diagram for Rose::BinaryAnalysis::SmtSolver::ParseError:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::ParseError:
Collaboration graph
[legend]

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: