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.h | |
parent | 3c6398194b01372720964590b2b07d93590e511d (diff) |
Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)
Diffstat (limited to 'src/expr/pickler.h')
-rw-r--r-- | src/expr/pickler.h | 36 |
1 files changed, 15 insertions, 21 deletions
diff --git a/src/expr/pickler.h b/src/expr/pickler.h index f9a3d07bd..652ca40c8 100644 --- a/src/expr/pickler.h +++ b/src/expr/pickler.h @@ -64,14 +64,8 @@ class CVC4_PUBLIC Pickler { friend class PicklerPrivate; protected: - virtual uint64_t variableToMap(uint64_t x) const - throw(PicklingException) { - return x; - } - virtual uint64_t variableFromMap(uint64_t x) const { - return x; - } - + virtual uint64_t variableToMap(uint64_t x) const { return x; } + virtual uint64_t variableFromMap(uint64_t x) const { return x; } public: Pickler(ExprManager* em); virtual ~Pickler(); @@ -85,7 +79,7 @@ public: * * @return the pickle, which should be dispose()'d when you're done with it */ - void toPickle(Expr e, Pickle& p) throw(PicklingException); + void toPickle(Expr e, Pickle& p); /** * Constructs a node from a Pickle. @@ -111,21 +105,21 @@ public: d_fromMap(from) { } - virtual ~MapPickler() throw() {} - protected: - - virtual uint64_t variableToMap(uint64_t x) const - throw(PicklingException) { - VarMap::const_iterator i = d_toMap.find(x); - if(i != d_toMap.end()) { - return i->second; - } else { - throw PicklingException(); - } + uint64_t variableToMap(uint64_t x) const override + { + VarMap::const_iterator i = d_toMap.find(x); + if (i != d_toMap.end()) + { + return i->second; + } + else + { + throw PicklingException(); + } } - virtual uint64_t variableFromMap(uint64_t x) const; + uint64_t variableFromMap(uint64_t x) const override; };/* class MapPickler */ }/* CVC4::expr::pickle namespace */ |