ROSE  0.11.145.0
Rose/BinaryAnalysis/ModelChecker/Exception.h
1 #ifndef ROSE_BinaryAnalysis_ModelChecker_Exception_H
2 #define ROSE_BinaryAnalysis_ModelChecker_Exception_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_MODEL_CHECKER
5 
6 #include <Rose/BinaryAnalysis/ModelChecker/Types.h>
7 
8 #include <Rose/Exception.h>
9 
10 namespace Rose {
11 namespace BinaryAnalysis {
12 namespace ModelChecker {
13 
15 class Exception: public Rose::Exception {
16 public:
18  explicit Exception(const std::string &s)
19  : Rose::Exception(s) {}
20 
21  ~Exception() throw() {}
22 };
23 
30 class ParseError: public Exception {
31 public:
33  ParseError(const boost::filesystem::path &fileName, const std::string &mesg)
34  : Exception(fileName.empty() ? mesg : fileName.string() + ": " + mesg) {}
35 
36  ~ParseError() throw() {}
37 };
38 
39 } // namespace
40 } // namespace
41 } // namespace
42 
43 #endif
44 #endif
Main namespace for the ROSE library.
Base class for all ROSE exceptions.
Definition: Rose/Exception.h:9