language API now requires symbol_table_baset

kroening · kroening · commit 967aad8d9258 · 2023-09-18T09:59:36.000-07:00
diff --git a/src/aiger/aiger_language.cpp b/src/aiger/aiger_language.cpp
@@ -106,7 +106,7 @@ Function: aiger_languaget::typecheck
 \*******************************************************************/
 
 bool aiger_languaget::typecheck(
-  symbol_tablet &symbol_table,
+  symbol_table_baset &symbol_table,
   const std::string &module)
 {
   return true;
@@ -124,8 +124,7 @@ Function: aiger_languaget::interfaces
 
 \*******************************************************************/
 
-bool aiger_languaget::interfaces(
-  symbol_tablet &symbol_table)
+bool aiger_languaget::interfaces(symbol_table_baset &symbol_table)
 {
   return false;
 }
diff --git a/src/aiger/aiger_language.h b/src/aiger/aiger_language.h
@@ -33,13 +33,10 @@ class aiger_languaget:public languaget
   void modules_provided(
     std::set<std::string> &module_set) override;
 
-  bool interfaces(
-    symbol_tablet &symbol_table) override;
+  bool interfaces(symbol_table_baset &) override;
+
+  bool typecheck(symbol_table_baset &, const std::string &module) override;
 
-  bool typecheck(
-    symbol_tablet &symbol_table,
-    const std::string &module) override;
-  
   void show_parse(std::ostream &out) override;
   
   ~aiger_languaget() override { }
@@ -58,7 +55,7 @@ class aiger_languaget:public languaget
     exprt &expr,
     const namespacet &ns) override;
 
-  bool generate_support_functions(symbol_tablet &) override
+  bool generate_support_functions(symbol_table_baset &) override
   {
     return false;
   }
diff --git a/src/smvlang/smv_language.cpp b/src/smvlang/smv_language.cpp
@@ -117,7 +117,7 @@ Function: smv_languaget::typecheck
 \*******************************************************************/
 
 bool smv_languaget::typecheck(
-  symbol_tablet &symbol_table,
+  symbol_table_baset &symbol_table,
   const std::string &module)
 {
   return smv_typecheck(smv_parse_tree, symbol_table, module,
diff --git a/src/smvlang/smv_language.h b/src/smvlang/smv_language.h
@@ -33,11 +33,10 @@ class smv_languaget:public languaget
 
   void modules_provided(
     std::set<std::string> &module_set) override;
-                 
-  bool typecheck(
-    symbol_tablet &symbol_table,
-    const std::string &module) override;
-  
+
+  bool typecheck(symbol_table_baset &symbol_table, const std::string &module)
+    override;
+
   void show_parse(std::ostream &out) override;
   
   ~smv_languaget() override { }
@@ -57,8 +56,8 @@ class smv_languaget:public languaget
     const std::string &module,
     exprt &expr,
     const namespacet &ns) override;
-                       
-  bool generate_support_functions(symbol_tablet &) override
+
+  bool generate_support_functions(symbol_table_baset &) override
   {
     return false;
   }
diff --git a/src/verilog/verilog_language.cpp b/src/verilog/verilog_language.cpp
@@ -155,7 +155,7 @@ Function: verilog_languaget::typecheck
 \*******************************************************************/
 
 bool verilog_languaget::typecheck(
-  symbol_tablet &symbol_table,
+  symbol_table_baset &symbol_table,
   const std::string &module)
 {
   if(module=="") return false;
@@ -183,7 +183,7 @@ Function: verilog_languaget::interfaces
 
 \*******************************************************************/
 
-bool verilog_languaget::interfaces(symbol_tablet &symbol_table)
+bool verilog_languaget::interfaces(symbol_table_baset &)
 {
   return false;
 }
diff --git a/src/verilog/verilog_language.h b/src/verilog/verilog_language.h
@@ -35,13 +35,11 @@ class verilog_languaget:public languaget
   void modules_provided(
     std::set<std::string> &module_set) override;
 
-  bool interfaces(
-    symbol_tablet &symbol_table) override;
-    
-  bool typecheck(
-    symbol_tablet &symbol_table,
-    const std::string &module) override;
-  
+  bool interfaces(symbol_table_baset &symbol_table) override;
+
+  bool typecheck(symbol_table_baset &symbol_table, const std::string &module)
+    override;
+
   void show_parse(std::ostream &out) override;
   
   ~verilog_languaget() override { }
@@ -60,7 +58,7 @@ class verilog_languaget:public languaget
     exprt &expr,
     const namespacet &ns) override;
 
-  bool generate_support_functions(symbol_tablet &) override
+  bool generate_support_functions(symbol_table_baset &) override
   {
     return false;
   }
diff --git a/src/vhdl/vhdl_language.cpp b/src/vhdl/vhdl_language.cpp
@@ -147,7 +147,7 @@ Function: vhdl_languaget::typecheck
 \*******************************************************************/
 
 bool vhdl_languaget::typecheck(
-  symbol_tablet &symbol_table,
+  symbol_table_baset &symbol_table,
   const std::string &module)
 {
   if(module=="") return false;
@@ -179,8 +179,7 @@ Function: vhdl_languaget::interfaces
 
 \*******************************************************************/
 
-bool vhdl_languaget::interfaces(
-  symbol_tablet &symbol_table)
+bool vhdl_languaget::interfaces(symbol_table_baset &symbol_table)
 {
   return false;
 }
diff --git a/src/vhdl/vhdl_language.h b/src/vhdl/vhdl_language.h
@@ -35,13 +35,10 @@ class vhdl_languaget:public languaget
   void modules_provided(
     std::set<std::string> &module_set) override;
 
-  bool interfaces(
-    symbol_tablet &symbol_table) override;
+  bool interfaces(symbol_table_baset &) override;
+
+  bool typecheck(symbol_table_baset &, const std::string &module) override;
 
-  bool typecheck(
-    symbol_tablet &symbol_table,
-    const std::string &module) override;
-  
   void show_parse(std::ostream &out) override;
   
   ~vhdl_languaget() override { }
@@ -60,7 +57,7 @@ class vhdl_languaget:public languaget
     exprt &expr,
     const namespacet &ns) override;
 
-  bool generate_support_functions(symbol_tablet &) override
+  bool generate_support_functions(symbol_table_baset &) override
   {
     return false;
   }

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ Function: aiger_languaget::typecheck`
`106`	`106`	`\*******************************************************************/`
`107`	`107`
`108`	`108`	`bool aiger_languaget::typecheck(`
`109`		`- symbol_tablet &symbol_table,`
	`109`	`+ symbol_table_baset &symbol_table,`
`110`	`110`	`const std::string &module)`
`111`	`111`	`{`
`112`	`112`	`return true;`
`@@ -124,8 +124,7 @@ Function: aiger_languaget::interfaces`
`124`	`124`
`125`	`125`	`\*******************************************************************/`
`126`	`126`
`127`		`-bool aiger_languaget::interfaces(`
`128`		`- symbol_tablet &symbol_table)`
	`127`	`+bool aiger_languaget::interfaces(symbol_table_baset &symbol_table)`
`129`	`128`	`{`
`130`	`129`	`return false;`
`131`	`130`	`}`
Original file line number	Diff line number	Diff line change
`@@ -117,7 +117,7 @@ Function: smv_languaget::typecheck`
`117`	`117`	`\*******************************************************************/`
`118`	`118`
`119`	`119`	`bool smv_languaget::typecheck(`
`120`		`- symbol_tablet &symbol_table,`
	`120`	`+ symbol_table_baset &symbol_table,`
`121`	`121`	`const std::string &module)`
`122`	`122`	`{`
`123`	`123`	`return smv_typecheck(smv_parse_tree, symbol_table, module,`
Original file line number	Diff line number	Diff line change
`@@ -155,7 +155,7 @@ Function: verilog_languaget::typecheck`
`155`	`155`	`\*******************************************************************/`
`156`	`156`
`157`	`157`	`bool verilog_languaget::typecheck(`
`158`		`- symbol_tablet &symbol_table,`
	`158`	`+ symbol_table_baset &symbol_table,`
`159`	`159`	`const std::string &module)`
`160`	`160`	`{`
`161`	`161`	`if(module=="") return false;`
`@@ -183,7 +183,7 @@ Function: verilog_languaget::interfaces`
`183`	`183`
`184`	`184`	`\*******************************************************************/`
`185`	`185`
`186`		`-bool verilog_languaget::interfaces(symbol_tablet &symbol_table)`
	`186`	`+bool verilog_languaget::interfaces(symbol_table_baset &)`
`187`	`187`	`{`
`188`	`188`	`return false;`
`189`	`189`	`}`
Original file line number	Diff line number	Diff line change
`@@ -147,7 +147,7 @@ Function: vhdl_languaget::typecheck`
`147`	`147`	`\*******************************************************************/`
`148`	`148`
`149`	`149`	`bool vhdl_languaget::typecheck(`
`150`		`- symbol_tablet &symbol_table,`
	`150`	`+ symbol_table_baset &symbol_table,`
`151`	`151`	`const std::string &module)`
`152`	`152`	`{`
`153`	`153`	`if(module=="") return false;`
`@@ -179,8 +179,7 @@ Function: vhdl_languaget::interfaces`
`179`	`179`
`180`	`180`	`\*******************************************************************/`
`181`	`181`
`182`		`-bool vhdl_languaget::interfaces(`
`183`		`- symbol_tablet &symbol_table)`
	`182`	`+bool vhdl_languaget::interfaces(symbol_table_baset &symbol_table)`
`184`	`183`	`{`
`185`	`184`	`return false;`
`186`	`185`	`}`