ROSE  0.9.10.44
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 70 of file BinarySmtSolver.h.

#include <BinarySmtSolver.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)
 

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