diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-09 06:20:52 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-01-09 08:20:51 -0600 |
commit | e6c966990ee7d166c421b6ba8ec39ac2e05ee62a (patch) | |
tree | 4310e1345ed7b5a536dd545ddd772c26cd7c1e31 /src/expr/pickler.cpp | |
parent | 3c6398194b01372720964590b2b07d93590e511d (diff) |
Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)
Diffstat (limited to 'src/expr/pickler.cpp')
-rw-r--r-- | src/expr/pickler.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/expr/pickler.cpp b/src/expr/pickler.cpp index c4bb633bd..db1680c7e 100644 --- a/src/expr/pickler.cpp +++ b/src/expr/pickler.cpp @@ -58,10 +58,10 @@ public: } /* Helper functions for toPickle */ - void toCaseNode(TNode n) throw(AssertionException, PicklingException); - void toCaseVariable(TNode n) throw(AssertionException, PicklingException); + void toCaseNode(TNode n); + void toCaseVariable(TNode n); void toCaseConstant(TNode n); - void toCaseOperator(TNode n) throw(AssertionException, PicklingException); + void toCaseOperator(TNode n); void toCaseString(Kind k, const std::string& s); /* Helper functions for toPickle */ @@ -127,7 +127,7 @@ Pickler::~Pickler() { } void Pickler::toPickle(Expr e, Pickle& p) - throw(PicklingException) { +{ Assert(NodeManager::fromExprManager(e.getExprManager()) == d_private->d_nm); Assert(d_private->atDefaultState()); @@ -145,7 +145,7 @@ void Pickler::toPickle(Expr e, Pickle& p) } void PicklerPrivate::toCaseNode(TNode n) - throw(AssertionException, PicklingException) { +{ Debug("pickler") << "toCaseNode: " << n << std::endl; Kind k = n.getKind(); kind::MetaKind m = metaKindOf(k); @@ -166,7 +166,7 @@ void PicklerPrivate::toCaseNode(TNode n) } void PicklerPrivate::toCaseOperator(TNode n) - throw(AssertionException, PicklingException) { +{ Kind k = n.getKind(); kind::MetaKind m = metaKindOf(k); Assert(m == kind::metakind::PARAMETERIZED || m == kind::metakind::OPERATOR); @@ -180,7 +180,7 @@ void PicklerPrivate::toCaseOperator(TNode n) } void PicklerPrivate::toCaseVariable(TNode n) - throw(AssertionException, PicklingException) { +{ Kind k = n.getKind(); Assert(metaKindOf(k) == kind::metakind::VARIABLE); |