diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-10 12:57:38 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-01-10 12:57:38 -0800 |
commit | 82fa0b8a67d076287cc4c4105a42fcabc459fd18 (patch) | |
tree | b32f88c11a055f4c4a8f20c5d40f1ac2ba2ed742 /src/expr | |
parent | 7357de6df17449837e8da7defc9c8a52522c50de (diff) |
Removing throw specifiers for TypeRules. (#1501)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/type_checker.h | 12 | ||||
-rw-r--r-- | src/expr/type_checker_template.cpp | 8 |
2 files changed, 8 insertions, 12 deletions
diff --git a/src/expr/type_checker.h b/src/expr/type_checker.h index df8b6a8ca..f424cb44b 100644 --- a/src/expr/type_checker.h +++ b/src/expr/type_checker.h @@ -27,15 +27,13 @@ namespace expr { class TypeChecker { public: + static TypeNode computeType(NodeManager* nodeManager, + TNode n, + bool check = false); - static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check = false) - throw (TypeCheckingExceptionPrivate, AssertionException); + static bool computeIsConst(NodeManager* nodeManager, TNode n); - static bool computeIsConst(NodeManager* nodeManager, TNode n) - throw (AssertionException); - - static bool neverIsConst(NodeManager* nodeManager, TNode n) - throw (AssertionException); + static bool neverIsConst(NodeManager* nodeManager, TNode n); };/* class TypeChecker */ diff --git a/src/expr/type_checker_template.cpp b/src/expr/type_checker_template.cpp index 476510a2f..bb02528c7 100644 --- a/src/expr/type_checker_template.cpp +++ b/src/expr/type_checker_template.cpp @@ -28,7 +28,7 @@ namespace CVC4 { namespace expr { TypeNode TypeChecker::computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { +{ TypeNode typeNode; // Infer the type @@ -59,8 +59,7 @@ ${typerules} }/* TypeChecker::computeType */ bool TypeChecker::computeIsConst(NodeManager* nodeManager, TNode n) - throw (AssertionException) { - +{ Assert(n.getMetaKind() == kind::metakind::OPERATOR || n.getMetaKind() == kind::metakind::PARAMETERIZED || n.getMetaKind() == kind::metakind::NULLARY_OPERATOR); switch(n.getKind()) { @@ -76,8 +75,7 @@ ${construles} }/* TypeChecker::computeIsConst */ bool TypeChecker::neverIsConst(NodeManager* nodeManager, TNode n) - throw (AssertionException) { - +{ Assert(n.getMetaKind() == kind::metakind::OPERATOR || n.getMetaKind() == kind::metakind::PARAMETERIZED || n.getMetaKind() == kind::metakind::NULLARY_OPERATOR); switch(n.getKind()) { |