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/Types.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