diff options
Diffstat (limited to 'src/util/exception.h')
| -rw-r--r-- | src/util/exception.h | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/src/util/exception.h b/src/util/exception.h index 164cda8b5..d239f48de 100644 --- a/src/util/exception.h +++ b/src/util/exception.h @@ -31,7 +31,7 @@ public: Exception(const char* msg) : d_msg(msg) {} // Destructor virtual ~Exception() {} - // NON-VIRTUAL METHODs for setting and printing the error message + // NON-VIRTUAL METHOD for setting and printing the error message void setMessage(const std::string& msg) { d_msg = msg; } // Printing: feel free to redefine toString(). When inherited, // it's recommended that this method print the type of exception @@ -41,20 +41,10 @@ public: friend std::ostream& operator<<(std::ostream& os, const Exception& e); };/* class Exception */ - -class CVC4_PUBLIC IllegalArgumentException : public Exception { -public: - IllegalArgumentException() : Exception("Illegal argument to method or function") {} - IllegalArgumentException(const std::string& msg) : Exception(msg) {} - IllegalArgumentException(const char* msg) : Exception(msg) {} -};/* class IllegalArgumentException */ - - inline std::ostream& operator<<(std::ostream& os, const Exception& e) { return os << e.toString(); } - }/* CVC4 namespace */ #endif /* __CVC4__EXCEPTION_H */ |