Made symbol table references in ast2ram const.

souffle-lang · Nov 25, 2020 · ef3c891 · ef3c891
1 parent 75ace7a
commit ef3c891
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/src/ast2ram/AstToRamTranslator.cpp b/src/ast2ram/AstToRamTranslator.cpp
@@ -115,7 +115,7 @@ void AstToRamTranslator::addRamSubroutine(std::string subroutineID, Own<ram::Sta
 RamDomain AstToRamTranslator::getConstantRamRepresentation(
         const TranslatorContext& context, const ast::Constant& constant) {
     if (auto strConstant = dynamic_cast<const ast::StringConstant*>(&constant)) {
-        return context.getSymbolTable().lookup(strConstant->getConstant());
+        return context.getSymbolTable().lookupExisting(strConstant->getConstant());
     } else if (isA<ast::NilConstant>(&constant)) {
         return 0;
     } else if (auto* numConstant = dynamic_cast<const ast::NumericConstant*>(&constant)) {

diff --git a/src/ast2ram/ValueTranslator.cpp b/src/ast2ram/ValueTranslator.cpp
@@ -72,7 +72,7 @@ Own<ram::Expression> ValueTranslator::visitNumericConstant(const ast::NumericCon
 }
 
 Own<ram::Expression> ValueTranslator::visitStringConstant(const ast::StringConstant& c) {
-    return mk<ram::SignedConstant>(context.getSymbolTable().lookup(c.getConstant()));
+    return mk<ram::SignedConstant>(context.getSymbolTable().lookupExisting(c.getConstant()));
 }
 
 Own<ram::Expression> ValueTranslator::visitNilConstant(const ast::NilConstant&) {

diff --git a/src/ast2ram/utility/TranslatorContext.cpp b/src/ast2ram/utility/TranslatorContext.cpp
@@ -29,7 +29,7 @@
 
 namespace souffle::ast2ram {
 
-TranslatorContext::TranslatorContext(SymbolTable& symbolTable, const ast::TranslationUnit& tu)
+TranslatorContext::TranslatorContext(const SymbolTable& symbolTable, const ast::TranslationUnit& tu)
         : symbolTable(symbolTable) {
     // Set up analyses
     auxArityAnalysis = tu.getAnalysis<ast::analysis::AuxiliaryArityAnalysis>();

diff --git a/src/ast2ram/utility/TranslatorContext.h b/src/ast2ram/utility/TranslatorContext.h
@@ -47,7 +47,7 @@ namespace souffle::ast2ram {
 
 class TranslatorContext {
 public:
-    TranslatorContext(SymbolTable& symbolTable, const ast::TranslationUnit& tu);
+    TranslatorContext(const SymbolTable& symbolTable, const ast::TranslationUnit& tu);
     ~TranslatorContext();
 
     /** Relation methods */
@@ -80,7 +80,7 @@ class TranslatorContext {
     size_t getAuxiliaryArity(const ast::Relation* relation) const;
     size_t getEvaluationArity(const ast::Atom* atom) const;
 
-    SymbolTable& getSymbolTable() const {
+    const SymbolTable& getSymbolTable() const {
         return symbolTable;
     }
 
@@ -93,7 +93,7 @@ class TranslatorContext {
     const ast::analysis::FunctorAnalysis* functorAnalysis;
     Own<ast::SipsMetric> sipsMetric;
 
-    SymbolTable& symbolTable;
+    const SymbolTable& symbolTable;
 };
 
 }  // namespace souffle::ast2ram