diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
commit | 2a1ac62e56d43893c59c4c2d91bcaca0dd7ce417 (patch) | |
tree | 5d2e6b493d8d366ab75163effaf13191dbf0bd71 /src/parser/symbol_table.h | |
parent | 06b391f721c8e9de4835e5a5bf2c60383ea7f8e9 (diff) |
additional work on parser hookup, configuration + build
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 */ |