Rose/BinaryAnalysis/ModelChecker/Exception.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_Exception_H
#define ROSE_BinaryAnalysis_ModelChecker_Exception_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER
 
#include <Rose/BinaryAnalysis/ModelChecker/BasicTypes.h>
 
#include <Rose/Exception.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {
 
class Exception: public Rose::Exception {
public:
    explicit Exception(const std::string &s)
        : Rose::Exception(s) {}
 
    ~Exception() throw() {}
};
 
class ParseError: public Exception {
public:
    ParseError(const boost::filesystem::path &fileName, const std::string &mesg)
        : Exception(fileName.empty() ? mesg : fileName.string() + ": " + mesg) {}
 
    ~ParseError() throw() {}
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif