Changing namespacet to take symbol_table_baset instead of symbol_tablet

Author: JohnDumbell

src/jsil/jsil_typecheck.h

@@ -14,9 +14,10 @@ Author: Michael Tautschnig, tautschn@amazon.com
 
 #include <unordered_set>
 
-#include <util/typecheck.h>
 #include <util/namespace.h>
 #include <util/std_code.h>
+#include <util/symbol_table_base.h>
+#include <util/typecheck.h>
 
 class symbol_exprt;
 class codet;
@@ -34,12 +35,12 @@ class jsil_typecheckt:public typecheckt
 {
 public:
   jsil_typecheckt(
-    symbol_tablet &_symbol_table,
-    message_handlert &_message_handler):
-    typecheckt(_message_handler),
-    symbol_table(_symbol_table),
-    ns(symbol_table),
-    proc_name()
+    symbol_table_baset &_symbol_table,
+    message_handlert &_message_handler)
+    : typecheckt(_message_handler),
+      symbol_table(_symbol_table),
+      ns(symbol_table),
+      proc_name()
   {
   }
 
@@ -49,7 +50,7 @@ class jsil_typecheckt:public typecheckt
   virtual void typecheck_expr(exprt &expr);
 
 protected:
-  symbol_tablet &symbol_table;
+  symbol_table_baset &symbol_table;
   const namespacet ns;
   // prefix to variables which is set in typecheck_declaration
   irep_idt proc_name;

src/linking/linking_class.h

@@ -28,13 +28,13 @@ class linkingt:public typecheckt
 {
 public:
   linkingt(
-    symbol_tablet &_main_symbol_table,
-    symbol_tablet &_src_symbol_table,
-    message_handlert &_message_handler):
-    typecheckt(_message_handler),
-    main_symbol_table(_main_symbol_table),
-    src_symbol_table(_src_symbol_table),
-    ns(_main_symbol_table)
+    symbol_table_baset &_main_symbol_table,
+    symbol_table_baset &_src_symbol_table,
+    message_handlert &_message_handler)
+    : typecheckt(_message_handler),
+      main_symbol_table(_main_symbol_table),
+      src_symbol_table(_src_symbol_table),
+      ns(_main_symbol_table)
   {
   }
 
@@ -167,8 +167,8 @@ class linkingt:public typecheckt
     const struct_typet &old_type,
     const struct_typet &new_type);
 
-  symbol_tablet &main_symbol_table;
-  symbol_tablet &src_symbol_table;
+  symbol_table_baset &main_symbol_table;
+  symbol_table_baset &src_symbol_table;
 
   namespacet ns;
 

src/util/namespace.h

@@ -26,6 +26,7 @@ class c_enum_typet;
 class union_tag_typet;
 class struct_tag_typet;
 class c_enum_tag_typet;
+class symbol_table_baset;
 
 /// Basic interface for a namespace. This is not used
 /// in practice, as the one being used is \ref namespacet
@@ -93,20 +94,20 @@ class namespacet:public namespace_baset
 {
 public:
   // constructors
-  explicit namespacet(const symbol_tablet &_symbol_table)
+  explicit namespacet(const symbol_table_baset &_symbol_table)
   { symbol_table1=&_symbol_table; symbol_table2=nullptr; }
 
   namespacet(
-    const symbol_tablet &_symbol_table1,
-    const symbol_tablet &_symbol_table2)
+    const symbol_table_baset &_symbol_table1,
+    const symbol_table_baset &_symbol_table2)
   {
     symbol_table1=&_symbol_table1;
     symbol_table2=&_symbol_table2;
   }
 
   namespacet(
-    const symbol_tablet *_symbol_table1,
-    const symbol_tablet *_symbol_table2)
+    const symbol_table_baset *_symbol_table1,
+    const symbol_table_baset *_symbol_table2)
   {
     symbol_table1=_symbol_table1;
     symbol_table2=_symbol_table2;
@@ -122,13 +123,13 @@ class namespacet:public namespace_baset
   std::size_t smallest_unused_suffix(const std::string &prefix) const override;
 
   /// Return first symbol table registered with the namespace.
-  const symbol_tablet &get_symbol_table() const
+  const symbol_table_baset &get_symbol_table() const
   {
     return *symbol_table1;
   }
 
 protected:
-  const symbol_tablet *symbol_table1, *symbol_table2;
+  const symbol_table_baset *symbol_table1, *symbol_table2;
 };
 
 /// A multi namespace is essentially a namespace,
@@ -143,8 +144,8 @@ class multi_namespacet:public namespacet
   {
   }
 
-  explicit multi_namespacet(
-    const symbol_tablet &symbol_table):namespacet(nullptr, nullptr)
+  explicit multi_namespacet(const symbol_table_baset &symbol_table)
+    : namespacet(nullptr, nullptr)
   {
     add(symbol_table);
   }
@@ -161,13 +162,13 @@ class multi_namespacet:public namespacet
   /// is working with.
   /// \param symbol_table: Reference to the symbol table to be added to this
   /// namespace.
-  void add(const symbol_tablet &symbol_table)
+  void add(const symbol_table_baset &symbol_table)
   {
     symbol_table_list.push_back(&symbol_table);
   }
 
 protected:
-  typedef std::vector<const symbol_tablet *> symbol_table_listt;
+  typedef std::vector<const symbol_table_baset *> symbol_table_listt;
   symbol_table_listt symbol_table_list;
 };