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/theory/arith | |
parent | ff9d2c84dae5eb21a7ef77f5931673fb23129730 (diff) |
Cleaning up throw specifiers on Exception and subclasses. (#1475)
Diffstat (limited to 'src/theory/arith')
-rw-r--r-- | src/theory/arith/delta_rational.cpp | 17 | ||||
-rw-r--r-- | src/theory/arith/delta_rational.h | 8 | ||||
-rw-r--r-- | src/theory/arith/theory_arith_private.cpp | 6 | ||||
-rw-r--r-- | src/theory/arith/theory_arith_private.h | 6 |
4 files changed, 20 insertions, 17 deletions
diff --git a/src/theory/arith/delta_rational.cpp b/src/theory/arith/delta_rational.cpp index 467f868a3..fba7fdaf6 100644 --- a/src/theory/arith/delta_rational.cpp +++ b/src/theory/arith/delta_rational.cpp @@ -72,16 +72,17 @@ void DeltaRational::seperatingDelta(Rational& res, const DeltaRational& a, const } } - -DeltaRationalException::DeltaRationalException(const char* op, const DeltaRational& a, const DeltaRational& b) throw (){ - std::stringstream ss; - ss << "Operation [" << op << "] between DeltaRational values "; - ss << a << " and " << b << " is not a DeltaRational."; - setMessage(ss.str()); +DeltaRationalException::DeltaRationalException(const char* op, + const DeltaRational& a, + const DeltaRational& b) +{ + std::stringstream ss; + ss << "Operation [" << op << "] between DeltaRational values "; + ss << a << " and " << b << " is not a DeltaRational."; + setMessage(ss.str()); } -DeltaRationalException::~DeltaRationalException() throw () { } - +DeltaRationalException::~DeltaRationalException() {} Integer DeltaRational::euclidianDivideQuotient(const DeltaRational& y) const throw(DeltaRationalException){ if(isIntegral() && y.isIntegral()){ diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h index b0ea8a9c1..7a1c18ea2 100644 --- a/src/theory/arith/delta_rational.h +++ b/src/theory/arith/delta_rational.h @@ -31,9 +31,11 @@ namespace CVC4 { class DeltaRational; class DeltaRationalException : public Exception { -public: - DeltaRationalException(const char* op, const DeltaRational& a, const DeltaRational& b) throw (); - virtual ~DeltaRationalException() throw (); + public: + DeltaRationalException(const char* op, + const DeltaRational& a, + const DeltaRational& b); + ~DeltaRationalException() override; }; diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp index f281bdfcc..f05f47595 100644 --- a/src/theory/arith/theory_arith_private.cpp +++ b/src/theory/arith/theory_arith_private.cpp @@ -311,13 +311,13 @@ void TheoryArithPrivate::setMasterEqualityEngine(eq::EqualityEngine* eq) { d_congruenceManager.setMasterEqualityEngine(eq); } -TheoryArithPrivate::ModelException::ModelException(TNode n, const char* msg) throw (){ +TheoryArithPrivate::ModelException::ModelException(TNode n, const char* msg) +{ stringstream ss; ss << "Cannot construct a model for " << n << " as " << endl << msg; setMessage(ss.str()); } -TheoryArithPrivate::ModelException::~ModelException() throw (){ } - +TheoryArithPrivate::ModelException::~ModelException() {} TheoryArithPrivate::Statistics::Statistics() : d_statAssertUpperConflicts("theory::arith::AssertUpperConflicts", 0) diff --git a/src/theory/arith/theory_arith_private.h b/src/theory/arith/theory_arith_private.h index ff60e8436..912bae5e6 100644 --- a/src/theory/arith/theory_arith_private.h +++ b/src/theory/arith/theory_arith_private.h @@ -396,9 +396,9 @@ private: bool replayLog(ApproximateSimplex* approx); class ModelException : public Exception { - public: - ModelException(TNode n, const char* msg) throw (); - virtual ~ModelException() throw (); + public: + ModelException(TNode n, const char* msg); + ~ModelException() override; }; /** |