Move `SymbolManager` and `SymbolTable` to parser (#8910)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 27 Jun 2022 22:28:27 +0000 (15:28 -0700)
committerGitHub <noreply@github.com>
Mon, 27 Jun 2022 22:28:27 +0000 (22:28 +0000)
commit55d024accae4abf992c9585961bd0765d9eef2ab
treed35cb58d7af5c6d7852e63e77551a6ea4a4f9097
parentad425c0bc9931c09f615cd55585aa6f78206a847
Move `SymbolManager` and `SymbolTable` to parser (#8910)

This moves `SymbolManager` and `SymbolTable` to the parser. To do so, it
modifies headers in the `context` package to be public to the parser
(changes `cvc5_private.h` to `cvc5parser_public.h`), because they are
shared between the parser and the main library.
30 files changed:
src/CMakeLists.txt
src/context/cdhashmap.h
src/context/cdhashset.h
src/context/cdinsert_hashmap.h
src/context/cdlist.h
src/context/cdo.h
src/context/context.h
src/context/context_mm.h
src/expr/CMakeLists.txt
src/expr/symbol_manager.cpp [deleted file]
src/expr/symbol_manager.h [deleted file]
src/expr/symbol_table.cpp [deleted file]
src/expr/symbol_table.h [deleted file]
src/main/command_executor.cpp
src/main/command_executor.h
src/main/interactive_shell.cpp
src/main/interactive_shell.h
src/parser/CMakeLists.txt
src/parser/api/cpp/symbol_manager.cpp [new file with mode: 0644]
src/parser/api/cpp/symbol_manager.h [new file with mode: 0644]
src/parser/parser.h
src/parser/parser_builder.h
src/parser/symbol_table.cpp [new file with mode: 0644]
src/parser/symbol_table.h [new file with mode: 0644]
src/smt/command.cpp
src/smt/command.h
test/unit/main/interactive_shell_black.cpp
test/unit/node/symbol_table_black.cpp
test/unit/parser/parser_black.cpp
test/unit/parser/parser_builder_black.cpp