diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-09 22:05:02 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-09 22:05:02 -0800 |
commit | 2e5cc613d280fab1be89d8360250cbc3a1635ac9 (patch) | |
tree | ced7d813eec67a32fd3f1b4a1174f5ff00ab1767 /src/expr/expr_template.h | |
parent | ff9d2c84dae5eb21a7ef77f5931673fb23129730 (diff) |
Cleaning up throw specifiers on Exception and subclasses. (#1475)
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 34 |
1 files changed, 13 insertions, 21 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index ead50c1ab..9656781a8 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -83,44 +83,40 @@ namespace expr { * Exception thrown in the case of type-checking errors. */ class CVC4_PUBLIC TypeCheckingException : public Exception { - + private: friend class SmtEngine; friend class smt::SmtEnginePrivate; -private: - /** The expression responsible for the error */ Expr* d_expr; -protected: - - TypeCheckingException() throw() : Exception() {} + protected: + TypeCheckingException() : Exception() {} TypeCheckingException(ExprManager* em, - const TypeCheckingExceptionPrivate* exc) throw(); + const TypeCheckingExceptionPrivate* exc); -public: - - TypeCheckingException(const Expr& expr, std::string message) throw(); + public: + TypeCheckingException(const Expr& expr, std::string message); /** Copy constructor */ - TypeCheckingException(const TypeCheckingException& t) throw(); + TypeCheckingException(const TypeCheckingException& t); /** Destructor */ - ~TypeCheckingException() throw(); + ~TypeCheckingException() override; /** * Get the Expr that caused the type-checking to fail. * * @return the expr */ - Expr getExpression() const throw(); + Expr getExpression() const; /** * Returns the message corresponding to the type-checking failure. * We prefer toStream() to toString() because that keeps the expr-depth * and expr-language settings present in the stream. */ - void toStream(std::ostream& out) const throw(); + void toStream(std::ostream& out) const override; friend class ExprManager; };/* class TypeCheckingException */ @@ -129,13 +125,9 @@ public: * Exception thrown in case of failure to export */ class CVC4_PUBLIC ExportUnsupportedException : public Exception { -public: - ExportUnsupportedException() throw(): - Exception("export unsupported") { - } - ExportUnsupportedException(const char* msg) throw(): - Exception(msg) { - } + public: + ExportUnsupportedException() : Exception("export unsupported") {} + ExportUnsupportedException(const char* msg) : Exception(msg) {} };/* class DatatypeExportUnsupportedException */ std::ostream& operator<<(std::ostream& out, |