1 #ifndef ROSE_BinaryAnalysis_ModelChecker_Exception_H
2 #define ROSE_BinaryAnalysis_ModelChecker_Exception_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_MODEL_CHECKER
6 #include <Rose/BinaryAnalysis/ModelChecker/Types.h>
8 #include <Rose/Exception.h>
11 namespace BinaryAnalysis {
12 namespace ModelChecker {
18 explicit Exception(
const std::string &s)
19 :
Rose::Exception(s) {}
21 ~Exception() throw() {}
30 class ParseError:
public Exception {
33 ParseError(
const boost::filesystem::path &fileName,
const std::string &mesg)
34 : Exception(fileName.empty() ? mesg : fileName.string() +
": " + mesg) {}
36 ~ParseError() throw() {}
Main namespace for the ROSE library.
Base class for all ROSE exceptions.