1 #ifndef ROSE_BinaryAnalysis_ModelChecker_Exception_H
2 #define ROSE_BinaryAnalysis_ModelChecker_Exception_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
6 #include <Rose/BinaryAnalysis/ModelChecker/Types.h>
8 #include <Rose/Exception.h>
11 namespace BinaryAnalysis {
12 namespace ModelChecker {
33 ParseError(
const boost::filesystem::path &fileName,
const std::string &mesg)
34 :
Exception(fileName.empty() ? mesg : fileName.string() +
": " + mesg) {}
Main namespace for the ROSE library.
Base class for model checker exceptions.
ParseError(const boost::filesystem::path &fileName, const std::string &mesg)
Construct an exception with an error messsage.
Exception(const std::string &s)
Construct an exception with an error message.
Base class for all ROSE exceptions.