diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-08 18:38:20 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-01-08 20:38:20 -0600 |
commit | 215c41d35390927409aac3827798f89d82f6b4bb (patch) | |
tree | ad9fa7096d544b0b4350ee40fd6d5f76868d68fc /src/expr/symbol_table.cpp | |
parent | 97324ee367bb4b270b948d2a7686862cbc7937b9 (diff) |
Remove throw specifiers from symbol table. (#1490)
Diffstat (limited to 'src/expr/symbol_table.cpp')
-rw-r--r-- | src/expr/symbol_table.cpp | 57 |
1 files changed, 34 insertions, 23 deletions
diff --git a/src/expr/symbol_table.cpp b/src/expr/symbol_table.cpp index fd8b2d7e9..08326bc15 100644 --- a/src/expr/symbol_table.cpp +++ b/src/expr/symbol_table.cpp @@ -615,63 +615,74 @@ SymbolTable::SymbolTable() : d_implementation(new SymbolTable::Implementation()) {} SymbolTable::~SymbolTable() {} - -bool SymbolTable::bind(const string& name, Expr obj, bool levelZero, - bool doOverload) throw() { +bool SymbolTable::bind(const string& name, + Expr obj, + bool levelZero, + bool doOverload) +{ return d_implementation->bind(name, obj, levelZero, doOverload); } -bool SymbolTable::bindDefinedFunction(const string& name, Expr obj, - bool levelZero, bool doOverload) throw() { +bool SymbolTable::bindDefinedFunction(const string& name, + Expr obj, + bool levelZero, + bool doOverload) +{ return d_implementation->bindDefinedFunction(name, obj, levelZero, doOverload); } -void SymbolTable::bindType(const string& name, Type t, bool levelZero) throw() { +void SymbolTable::bindType(const string& name, Type t, bool levelZero) +{ d_implementation->bindType(name, t, levelZero); } -void SymbolTable::bindType(const string& name, const vector<Type>& params, - Type t, bool levelZero) throw() { +void SymbolTable::bindType(const string& name, + const vector<Type>& params, + Type t, + bool levelZero) +{ d_implementation->bindType(name, params, t, levelZero); } -bool SymbolTable::isBound(const string& name) const throw() { +bool SymbolTable::isBound(const string& name) const +{ return d_implementation->isBound(name); } -bool SymbolTable::isBoundDefinedFunction(const string& name) const throw() { +bool SymbolTable::isBoundDefinedFunction(const string& name) const +{ return d_implementation->isBoundDefinedFunction(name); } -bool SymbolTable::isBoundDefinedFunction(Expr func) const throw() { +bool SymbolTable::isBoundDefinedFunction(Expr func) const +{ return d_implementation->isBoundDefinedFunction(func); } -bool SymbolTable::isBoundType(const string& name) const throw() { +bool SymbolTable::isBoundType(const string& name) const +{ return d_implementation->isBoundType(name); } -Expr SymbolTable::lookup(const string& name) const throw() { +Expr SymbolTable::lookup(const string& name) const +{ return d_implementation->lookup(name); } -Type SymbolTable::lookupType(const string& name) const throw() { +Type SymbolTable::lookupType(const string& name) const +{ return d_implementation->lookupType(name); } Type SymbolTable::lookupType(const string& name, - const vector<Type>& params) const throw() { + const vector<Type>& params) const +{ return d_implementation->lookupType(name, params); } size_t SymbolTable::lookupArity(const string& name) { return d_implementation->lookupArity(name); } -void SymbolTable::popScope() throw(ScopeException) { - d_implementation->popScope(); -} - -void SymbolTable::pushScope() throw() { d_implementation->pushScope(); } -size_t SymbolTable::getLevel() const throw() { - return d_implementation->getLevel(); -} +void SymbolTable::popScope() { d_implementation->popScope(); } +void SymbolTable::pushScope() { d_implementation->pushScope(); } +size_t SymbolTable::getLevel() const { return d_implementation->getLevel(); } void SymbolTable::reset() { d_implementation->reset(); } } // namespace CVC4 |