diff options
Diffstat (limited to 'src/parser/symbol_table.h')
| -rw-r--r-- | src/parser/symbol_table.h | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h index 3339ab67a..9135343f5 100644 --- a/src/parser/symbol_table.h +++ b/src/parser/symbol_table.h @@ -7,11 +7,6 @@ ** See the file COPYING in the top-level source directory for licensing ** information. ** - ** Extra state of the parser shared by the lexer and parser. - ** - ** The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University **/ #include <string> @@ -21,17 +16,19 @@ #include "expr/expr.h" namespace CVC4 { +namespace parser { class SymbolTable { public: // FIXME: No definitions for Type yet // void defineType(const std::string&, const Type&); - void defineVar(const std::string, const void*); - void defineVarList(const std::list<std::string>*, const void*); - void defineVarList(const std::vector<std::string>*, const void*); + void defineVar(const std::string, const void*) throw(); + void defineVarList(const std::list<std::string>*, const void*) throw(); + void defineVarList(const std::vector<std::string>*, const void*) throw(); // Type& lookupType(const std::string&); - Expr& lookupVar(const std::string*); + Expr& lookupVar(const std::string*) throw(); }; -} +}/* CVC4::parser namespace */ +}/* CVC4 namespace */ |